HDU 5418 Victor and World (状压DP+FLoyd)*

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=5418

#include<bits/stdc++.h>
using namespace std;

#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define read(x,y) scanf("%d%d",&x,&y)
#define ll long long

#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define root l,r,rt
const int  maxn =1e5+5;
const int mod=1<<29;
const int ub=1e6;
ll powmod(ll x,ll y){ll t; for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod; return t;}
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}
/*
题目大意：给定一个图，要求从1点出发遍历所有点再回到1点的最小代价。

这道题刚开始图论不好的我强行想复杂了，并且也是错的，
正确的做法是还是先求所有点覆盖完后的最小代价（以任一点结尾均可），
但需要floyd预处理下边权，把任意两点之间的最短路处理出来即可，
这样在状压扩展状态时候就可以大胆的扩展到没走过的点了。
具体的最优性我也简单的想了下：假设走到了状态i，
现在按照题意，要么直接往外扩展走没走过的点，
要么再经过已经走过的状态走到j点（外扩），
反正最终的结果都是往外阔一个点，这样不妨就是类比于
从当前点直接走到j点的最短路径加上去即可（局部最优）
*/

int g[20][20];
int n,m,x,y,z;
int dp[1<<17][20];

int main()
{
    int t;scanf("%d",&t);
    while(t--)
    {
        scanf("%d%d",&n,&m);
        ///memset(g,-1,sizeof(g));
        for(int i=0;i<n;i++) for(int j=0;j<n;j++) g[i][j]=((i==j)?0:mod);
        for(int i=0;i<m;i++)
        {
            scanf("%d%d%d",&x,&y,&z);
            x--,y--;  if(z<g[x][y])  g[x][y]=g[y][x]=z;///保留最短的边权
        }
        for(int k=0;k<n;k++)
            for(int i=0;i<n;i++)
                for(int j=0;j<n;j++)
                    g[i][j]=min(g[i][k]+g[k][j],g[i][j]);///floyd预处理图
        for(int i=0;i<(1<<n);i++) for(int j=0;j<n;j++) dp[i][j]=mod;
        dp[1][0]=0;
        for(int i=0;i<(1<<n);i++)
        {
            for(int j=0;j<n;j++)
            {
                if(dp[i][j]==mod) continue;
                for(int k=0;k<n;k++)
                {
                    if(k==j||(i&(1<<k))) continue;///状态中已经包含就继续
                    if(dp[i|(1<<k)][k]>dp[i][j]+g[j][k])
                        dp[i|(1<<k)][k]=dp[i][j]+g[j][k];
                }
            }
        }
        int ans=mod;for(int i=0;i<n;i++) ans=min(ans,dp[(1<<n)-1][i]+g[i][0]);
        printf("%d\n",ans);
    }
    return 0;
}