SNOI2013竟然出了一道很有难度的状压DP.实在是出人意料.
而且网上似乎并没有题解.我就来写一篇好了.
HYF菊苣似乎写过这道题的题解.
这道题大意就是:给出一个无向图.求一个权值最小的包含所有点的双联通子图.
定义一些状态:
f[i]:集合状态为i.且使在i中的点双联通的最小权值.
h[i][j][0]:一个端点是j.另一个端点在点集i中的边的最小权值.
h[i][j][1]:一个端点是j.另一个端点在点集i中的边的次小权值.
g[i][j][k].集合状态为i.且使在i中的点构成一条链.两端点分别是j和k的最小权值.
容易发现.一个双联通图.必然是由一个双联通的子图和一条链构成的.那么就可以枚举这条链进行转移.
要注意的是:一个点是一个权值为0的双联通图.同时也是一条权值为0的链.
在转移的时候.如果这条链是一个点.转移方程是:
f[i] = min(f[i], f[t] + g[s][u][u] + h[t][u][0] + h[t][u][1]);
如果这条链的两端点不同.转移方程是:
f[i] = min(f[i], f[t] + g[s][u][v] + h[t][u][0] + h[t][v][0]);
先预处理出h和m数组就好了.
关于h数组的处理.直接暴力枚举就可以了.
关于g数组的处理.也是一个状压DP.枚举当前点集i能转移出的状态更新就好了.
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include