LightOJ1086 Jogging Trails（欧拉回路+中国邮递员问题+SPFA）

题目求从某点出发回到该点经过所有边至少一次的最短行程。

• 这个问题我在《图论算法理论、实现及应用》中看过，是一个经典的问题——中国邮递员问题（CPP, chinese postman problem）也称为中国邮路问题，是我国数学家管梅谷教授于1962年首次提出的，引起了世界不少数学家的关注。例如1973年匈牙利数学家Edmonds和Johnsom对中国邮路问题提出了一种有效算法。
• 解决的方法就是通过添加边，使其成为欧拉回路。

而这一题的问题就可以转化给这个无向图加最短的边使其所有点的度位偶数（为什么不说欧拉回路，因为题目没说图一定连通。。

这道题在LightOJ分类是DP。。我想大概就是15个点二进制压缩的状压DP。也就是把各点度为偶数奇数分别看作二进制各位0和1，然后每次可以通过在任意两个奇度或偶度点加一条边来转移。。

不过显然这是不行的，这样的状态不满足DP的无后效性，状态是点转移是边那就可以是个有向有环图——有向有环图——于是我就想到最短路，显然可以用最短路做，不过时间复杂度不好说。。具体来说：

• 偶度点记0奇度记1压缩成的二进制就是要求最短路的图中的顶点，这样顶点最多2¹⁵个；
• 而如果两个顶点有且仅有i和j这两位的二进制不同且原图中i到j有路径，那么这两个顶点间有一条边且权为原图中i到j中最短的那条路径；
• 最短路的起点就是原图度序列压缩表示的顶点，终点就是0。

如此构图，跑个SPFA，然后就AC了。

 #include<cstdio>
 #include<cstring>
 #include<queue>
 using namespace std;
 #define INF (1<<30)
 int n,map[][];
 int d[<<];
 bool vis[<<];
 int SPFA(int vs){
     for(int i=; i<(<<); ++i){
         d[i]=INF; vis[i]=;
     }
     d[vs]=; vis[vs]=;
     queue<int> que;
     que.push(vs);
     while(!que.empty()){
         int u=que.front(); que.pop();
         for(int i=; i<n; ++i){
             for(int j=i+; j<n; ++j){
                 if(map[i][j]==-) continue;
                 int v=u; v^=(<<i); v^=(<<j);
                 if(d[v]>d[u]+map[i][j]){
                     d[v]=d[u]+map[i][j];
                     if(!vis[v]){
                         vis[v]=;
                         que.push(v);
                     }
                 }
             }
         }
         vis[u]=;
     }
     return d[];
 }
 int main(){
     int t,m,a,b,c;
     scanf("%d",&t);
     for(int cse=; cse<=t; ++cse){
         scanf("%d%d",&n,&m);
         memset(map,-,sizeof(map));
         int deg[]={},res=;
         while(m--){
             scanf("%d%d%d",&a,&b,&c);
             --a; --b;
             ++deg[a]; ++deg[b]; res+=c;
             if(map[a][b]==- || map[a][b]>c) map[a][b]=map[b][a]=c;
         }
         int vs=;
         for(int i=; i<n; ++i){
             if(deg[i]&) vs|=(<<i);
         }
         res+=SPFA(vs);
         printf("Case %d: %d\n",cse,res);
     }
     return ;
 }