首页 > 其他分享 >P4784 城市 题解 / 最小斯坦纳树

P4784 城市 题解 / 最小斯坦纳树

时间:2024-07-31 15:21:06浏览次数:17  
标签:int 题解 P4784 最小 斯坦纳 read 节点 first

P4784 城市 题解

题目大意

给定 \(n\) 个节点,\(m\) 条带边权边,和 \(k\) 重要节点。选择一些边,使得这些边能让这 \(k\) 个节点连通,代价为选出的边权和。求最小代价。(\(k\leq5\))

Solve

前置芝士:斯坦纳树

定义

将指定点集合(部分点)中的所有点连通,且边权总和最小的生成树称为最小斯坦纳树

求解

注意到 \(k\) 的范围很小,一般考虑状压 dp。

令 \(f(i,s)\)(其中 \(s\) 为二进制数)表示以 \(i\) 号节点为生成树的根,与重要节点的连通性为 \(s\) 时的最小代价。考虑状态转移。

  • 不换根,\(f(i,s)=\min\limits_{t\subseteq s}\{f(i,t)+f(i,\complement_st\}\)。
  • 换根(即再生成树中加入新节点 \(j\) 并以其为根,要求 \(i,j\) 相邻),\(f(i,s)=\min\limits_{j\in adj(j)}{f(j,s)+w(i,j)}\)。

发现换根的状态转移式与最短路的三角形不等式很相似,故可利用最短路算法进行状态转移。

对于不换根的状态转移,子集枚举即可。

关于卡常

由于内存连续访问问题,开数组时建议把状态放第一维,实测会快一些。

Code

#include<bits/stdc++.h>
using namespace std;
#define int long long
inline int read()
{
	short f=1;
	int x=0;
	char c=getchar();
	while(c<'0'||c>'9')	{if(c=='-')	f=-1;c=getchar();}
	while(c>='0'&&c<='9')	x=(x<<1)+(x<<3)+(c^48),c=getchar();
	return x*f;
}
const int N=1e5+10,K=5,inf=1e18;
int n,k,m,f[1<<K][N];
typedef pair<int,int> PII;
vector<PII>e[N];
priority_queue<PII,vector<PII>,greater<PII>>q;
inline void dij(int s)//对于状态 s 跑最短路
{
	while(!q.empty())
	{
		int u=q.top().second,d=q.top().first;q.pop();
		if(d>f[s][u])	continue;
		for(PII i:e[u])
			if(f[s][i.first]>d+i.second)
				q.push({f[s][i.first]=d+i.second,i.first});
	}
}
signed main()
{
	n=read();k=read();m=read();
	for(int s=0;s<(1<<k);s=-~s)
		for(int i=1;i<=n;i=-~i)	f[s][i]=inf;
	for(int i=0;i<k;i=-~i)	f[1<<i][read()]=0;//初始状态,重要节点与自己联通的代价为0
	for(int i=1,u,v,w;i<=m;i=-~i)
		u=read(),v=read(),w=read(),
		e[u].push_back({v,w}),e[v].push_back({u,w});
	for(int s=0;s<(1<<k);s=-~s)
	{
		for(int t=s;t;t=(t-1)&s)//子集枚举
			for(int i=1;i<=n;i=-~i)
				f[s][i]=min(f[s][i],f[t][i]+f[s^t][i]);//异或即为补集
		for(int i=1;i<=n;i=-~i)
			if(f[s][i]!=inf)	q.push({f[s][i],i});//将 可以使得连通性为s 的点放入队列,跑多源最短路
		dij(s);
	}
	return printf("%lld",*min_element(f[(1<<k)-1]+1,f[(1<<k)-1]+n+1)/*找最小值*/),0;
}

标签:int,题解,P4784,最小,斯坦纳,read,节点,first
From: https://www.cnblogs.com/sorato/p/18334710

相关文章

  • P3501 [POI2010] ANT-Antisymmetry 反对称 题解(字符串哈希+二分)
    原题题意若一个由010101组成的字符串将000和......
  • ARC180 部分简要题解
    C设\(f_{i,j}\)为考虑前\(i\)个数,当前选出来的子序列和为\(j\)且强制最后一个选出来的数不为\(j\)的方案;设\(g_{i,j}\)为考虑前\(i\)个数,当前选出来的子序列和为\(j\)且强制最后一个选出来的数必为\(j\)的方案。注意到一个合法方案可以唯一与一个最后一个选出......
  • P10814 【模板】离线二维数点 题解
    题目传送门思路一眼主席树板子题,但是一看数据范围\(n,m\le2\times10^6\),似了。在线做法应该是似完了,考虑离线做法。我们知道树状数组是可以做二维偏序的,大家应该都知道一个经典问题:对于一个序列,多次询问下标\(\lea\)且数值\(\leb\)的数的个数。回到这道题,相比上面......
  • P2163 [SHOI2007] 园丁的烦恼 题解
    题目传送门题目大意:在一个平面直角坐标系上,给定\(n\)个点的坐标\((x,y)\),\(m\)次询问,每次询问一个矩形范围内的点的数量,此矩形用\(\{a,b,c,d\}\)来描述,其中\((a,b)\)为左下角,\((c,d)\)为右上角。思路:不难将题目转化为:给定一个长度为\(n\)的序列,序列中的每个元......
  • CF1997(edu168)题解 A-F
    A.StrongPassword注意到最大效果是在两个相同字符之间插入一个不同的,贡献为3。否则在一开始插入一个和首位不同的,贡献为2。#include<bits/stdc++.h>usingnamespacestd;typedeflonglongll;voidsolve(){strings;cin>>s;boolok=0;for(inti......
  • 【题解】2024牛客多校第5场
    E安https://ac.nowcoder.com/acm/contest/81600/E分析简单博弈/思维题。当ai>bi时,当前骑士一定存活。当ai<bi时,当前骑士一定死亡。为了使得自己存活的骑士尽可能多,若存在ai=bi的情况,一定会选择令该骑士去攻击对方,并且双方均会轮流优先选择此类骑士。......
  • 07-30 题解
    07-30题解A朴素的想法$dp(i,j,k)$表示考虑到第\(i\)位,前\(i\)位的和为\(j\),第\(i\)位的值为\(k\)然后咋转移?重新定义移动小球的方式:从自己右边的邻居拿过来正数个球拿过来负数个球(即往右边的邻居放正数个球)在第2种操作中,我们拿走的球会被后面放过来......
  • Luogu P1983 车站分级 题解 [ 绿 ] [ 拓扑排序 ] [ 图论建模 ] [ 虚点 ]
    车站分级:很好的拓扑排序题,细节有点多。图论建模首先观察对于一条线路,我们可以从中直接得到什么信息:假设这条线路的开头为\(st\),结尾为\(ed\),那么在\([st,ed]\)的车站中,没有被选入线路的点一定比选入线路的点的级数至少少\(1\)。对于这一点条件,我们就可以建模了。......
  • CF538H Summer Dichotomy 题解
    Description有\(T\)名学生,你要从中选出至少\(t\)人,并将选出的人分成两组,可以有某一组是空的。有\(n\)名老师,每名老师要被分配到两个小组之一,对于第\(i\)名老师,要求所在的小组中的学生人数\(\in[l_i,r_i]\)。此外,有\(m\)对老师不能在同一个小组中。你需要判断能否......
  • SP8099 TABLE - Crash´s number table 题解
    题目传送门前置知识一般的积性函数|数论分块|莫比乌斯反演解法令\(n\lem\)。考虑莫比乌斯反演,推式子,有\(\begin{aligned}&\sum\limits_{i=1}^{n}\sum\limits_{j=1}^{n}\operatorname{lcm}(i,j)\\&=\sum\limits_{i=1}^{n}\sum\limits_{j=1}^{n}\frac{ij}{\gcd(i,j)......