题面
传送门：https://www.luogu.org/problemnew/show/P3959
Solution
这道题的是一道很巧妙的状压DP题。
首先，看到数据范围，应该状压DP没错了。
根据我们之前状压方程的设计经验，我们很快就能设计出这样的方程：
设f[i][j]表示用到第i个元素，当前连接状态为j的开销的min
但是我们很快就会发现，这个方程没法转移，因为随着连接方案的不同，新插入的点的K值会不同。
怎么办呢？
这时候我们可以重新设计一个巧妙的的状态。
重新阅读题目，我们可以发现题目中的K值可以理解为距离初始点的“层数”，下面这幅图可以简单的表示出来：
那么，我们可以考虑这样子设状态：
设f[i][j]表示到第i层，总共取了的点的状态为j。
这样的话，转移就可以取出来了：
f[i][j]=MIN(f[i-1][k]+trans[k][j]*(i-1)) (k为j的子集，即有可能转移到j的状态) (trans[k][j]表示从状态k转移到状态j的最小花费的路程)
trans需要暴力预处理出来。
怎么枚举子集呢？
如果2^n枚举就会T掉，因为我们枚举到了非子集的情况。
这里就引出了枚举子集的小技巧
对于状态x，它的子集为：p=x,p!=0,p=(p-1)&x (至于怎么证明，这里就不给出了，在草稿上推一推就会发现里面的精妙了)
答案就是min(f[i][2^n-1])，初始化f[1][2^(i-1)]=0 (i∈[1,n])
就酱，这道题就被我们切掉啦φ(>ω<*)
Code
//Luogu P3959 宝藏
//Sep,5th,2018
//状压DP+枚举子集小技巧
#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
long long read()
{
long long x=0,f=1; char c=getchar();
while(!isdigit(c)){if(c=='-') f=-1;c=getchar();}
while(isdigit(c)){x=x*10+c-'0';c=getchar();}
return x*f;
}
const int N=12+2;
const int M=1<<N;
int n,m,dis[N][N],trans[M][M],POW[N];
long long f[N][M];
int main()
{
n=read(),m=read();
memset(dis,0x3f,sizeof dis);
for(int i=1;i<=m;i++)
{
int s=read(),t=read(),v=read();
if(dis[s][t]>v)
dis[s][t]=dis[t][s]=v;
} m=(1<<n);
POW[0]=1;
for(int i=1;i<=n;i++)
POW[i]=POW[i-1]*2;
for(int i=0;i<m;i++)
for(int j=i;j!=0;j=(j-1)&i)
{
bool OK=true;
int temp=i^j;
for(int k=n-1;k>=0;k--)
if(temp>=POW[k])
{
int tmin=0x3f3f3f3f;
for(int o=1;o<=n;o++)
if((POW[o-1]&j)==POW[o-1])
tmin=min(tmin,dis[o][k+1]);
if(tmin==0x3f3f3f3f)
{
OK=false;
break;
}
trans[j][i]+=tmin;
temp-=POW[k];
}
if(OK==false)
trans[j][i]=0x3f3f3f3f;
} /*cerr<<endl<<endl;
for(int i=0;i<m;i++)
for(int j=0;j<m;j++)
if(trans[i][j]!=0x3f3f3f3f and trans[i][j]!=0)
cerr<<i<<" "<<j<<" "<<trans[i][j]<<endl;*/ memset(f,0x3f,sizeof f);
for(int i=1;i<=n;i++)
f[1][POW[i-1]]=0;
for(int i=2;i<=n;i++)
for(int j=0;j<m;j++)
for(int k=j;k!=0;k=(k-1)&j)
if(trans[k][j]!=0x3f3f3f3f)
f[i][j]=min(f[i][j],f[i-1][k]+(i-1)*trans[k][j]); long long ans=0x3f3f3f3f3f3f3f3fll;
for(int i=1;i<=n;i++)
ans=min(ans,f[i][m-1]);
printf("%lld",ans);
return 0;
}