Luogu P3959 [NOIP 2017 提高组] 宝藏 题解
不难发现最后的路径一定会构成一棵树。由于每条路的贡献与与其深度有关,故考虑设计与深度有关的状态。由于数据范围很小,考虑状态压缩 DP,每次扩展一层。
设状态 表示目前扩展到第 层,所有节点的状态为 。若第 位为 ,则表示节点 已经被打通;若第 位为 ,则表示节点 未被打通。记状态 转移到状态 经过的边权之和为 ,不难得到如下转移方程:
接下来,考虑预处理出两个数组 与 ,表示状态 转移到状态 经过的边权之和为 与可行性。再预处理一个数组 ,表示状态 可以扩展的所有点(包括原有点)的状态集合。若第 位为 ,则表示节点 可以被扩展;若第 位为 ,则表示节点 不可以被扩展。
并不难预处理,只需要枚举已有节点的每一条边,能扩展到的标记为 即可。有了 后,我们发现 也不难预处理。当且仅当 是 的子集且 是 的子集时,。判断子集可以用位运算来实现,若 ,则 是 的子集。
接下来,考虑求出满足 的 。考虑枚举状态 中未扩展的点,枚举从 中的点到这一个点的边,取边权最小值为贡献。最后,将每一个未扩展的点的贡献加和,即为 。预处理之后,转移也比较显然。
时间复杂度为 ,其中 是枚举子集的时间复杂度。
#include <bits/stdc++.h>
using namespace std;
int n,m,u,v,d,h[30000],ex[5000],cst[5000][5000],f[20][5000],ans=1e9;
vector<int>to[20],dis[20];
bool pos[5000][5000];
int main()
{
scanf("%d%d",&n,&m);
for(int i=1;i<=m;i++)
{
scanf("%d%d%d",&u,&v,&d);
to[u].push_back(v),dis[u].push_back(d);
to[v].push_back(u),dis[v].push_back(d);
}
for(int i=0;i<=(1<<n)-1;i++)
{
ex[i]=i;
for(int j=0;j<n;j++)
if(i&(1<<j))
{
int s=to[j+1].size();
for(int k=0;k<s;k++)ex[i]|=(1<<(to[j+1][k]-1));
}
}
for(int i=0;i<=(1<<n)-1;i++)
for(int j=0;j<=(1<<n)-1;j++)
if((j|ex[i])==ex[i]&&(i|j)==j&&i!=j)
{
pos[i][j]=1;
for(int k=0;k<n;k++)
if(!(i&(1<<k))&&(j&(1<<k)))
{
int mi=1e9,s=to[k+1].size();
for(int l=0;l<s;l++)
if((i&(1<<(to[k+1][l]-1))))mi=min(mi,dis[k+1][l]);
cst[i][j]+=mi;
}
}
for(int i=0;i<=n;i++)
for(int j=0;j<=(1<<n)-1;j++)
f[i][j]=1e9;
for(int i=1;i<=n;i++)
f[0][(1<<(i-1))]=0;
for(int i=1;i<=n;i++)
for(int j=0;j<=(1<<n)-1;j++)
for(int k=0;k<=(1<<n)-1;k++)
if(pos[k][j]&&f[i-1][k]!=1e9)f[i][j]=min(f[i][j],f[i-1][k]+cst[k][j]*i);
for(int i=0;i<=n;i++)ans=min(ans,f[i][(1<<n)-1]);
printf("%d\n",ans);
return 0;
}
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 地球OL攻略 —— 某应届生求职总结
· 周边上新:园子的第一款马克杯温暖上架
· Open-Sora 2.0 重磅开源!
· 提示词工程——AI应用必不可少的技术
· .NET周刊【3月第1期 2025-03-02】