定义
最小生成树是指给定一个带权连通图 G,如果里面有一个子图 G’ 中的边权和加起来最小并且使得所有的点都能两两相通。
性质
从上述的定义可以看出,最小生成树有以下性质:
-
如果图 G 中有 n 个点的话,G’中的边数为 n-1 且 G’ 中不含有环。
-
最小生成树可能是一个,也可能是多个。
还有一些复杂的性质感兴趣的可以自行百度。
kruskal 算法
前置知识:并查集。
kruskal 算法的基本思想就是贪心,该算法的流程也很简单。
首先我们需要将所有的边进行排序,然后枚举每一条边,如果当前的边链接的两个点早已经间接或直接相连,我们就直接跳过,不连这条边,如果连满了 n-1 条边就直接退出循环,然后我们所选的边就构成了一棵最小生成树。
在判断当前边的两点是否已经相连的办法可以用并查集来判断,也是比较方便的做法。
根据其定义可以想到,我们要贪心的话,就得先加入边权小的边,假设只有两个点,那他的最小生成树就是两点之间边权最小的边构成,当到了三个点之后,就是从前面已经链接的所有边中覆盖的点与第三个点相连的边中挑一条边权最小的边来连,因为如果要是想要把第三个点连进去,就必须要与之前的联通图中的任意一点连一条边,经过这样不断的扩大,最终会以最小的代价连进所有点。在算法流程中,其当前连接的边是必定有一个点是在联通图中,必有一个点未连进联通图中,而当前边又是剩下的边中边权最小的,所以一定是原图中一棵最小生成树的边。
以上不理解也没关系反正是我胡扯的背板子就好了
P3366 【模板】最小生成树
code:
#include
#define int long long
#define N 1000100
using namespace std;
int n,m,f[N],num,ans;
struct sb{int x,y,w;}e[N];
inline int cmp(sb a,sb b){return a.w>n>>m;
for(int i=1;i>e[i].x>>e[i].y>>e[i].w;
sort(e+1,e+m+1,cmp);
for(int i=1;i
1487:【例 2】北极通讯网络
题目说的有点绕,但仔细读完就会发现意思是让你找一棵最小生成树,其中有 k 个点是不必连入的,也就是等同于让你连 n-k 条边。
code:
#include
#define int long long
#define N 1000100
using namespace std;
double ans;
int n,k,fa[N],num,m;
struct sb{int x,y;}e1[N];
struct SB{int u,v;double w;}e[N>n>>k;
for(int i=1;i>e1[i].x>>e1[i].y;
for(int i=1;i
1488:新的开始
题目中如果要是是只有一个固定的发电站的话,那就是纯板子了,但是这个也不难,我们考虑一下如果只连边的话,这个电网里面是没有电的,所以我们需要开一个点 n+1 来存放发电站,然后把题目中的在当前点建发电站转化成当前点直接和发电站连边,也就是从 n+1 向每一个点连一条边边权为 v,这样就相当于连 n 条边。
code:
#include
#define int long long
#define N 1000100
using namespace std;
int n,m,fa[N],mp[500][500],val[N],num,ans;
struct sb{int u,v,w;}e[N];
inline int cmp(sb a,sb b){return a.w>n;
for(int i=1;i>val[i],e[++m].u=n+1,e[m].v=i,e[m].w=val[i];
for(int i=1;i>mp[i][j],e[++m].u=i,e[m].v=j,e[m].w=mp[i][j];
sort(e+1,e+m+1,cmp);
for(int i=1;i
prim 算法
由于 prim 本人不是很熟练此部分参考 https://www.cnblogs.com/bcoier/p/10293059.html
我看到里面有 kruskal 的流程图所以也粘过来了
这个算法的流程本质也是贪心,首先需要我们选定任意一个节点作为根节点,然后往下开始扩展,在每一次扩展的过程中都选用待选边(链接 u,v)中权值最小的边进行扩展,然后将除此边外与 v 相连的所有边都放入待选边,如果此时加入的边与 v 相连的点中有的点实际上是已经有待定边相连了,就更新最短路,也就是取个 min,让选取的边权和尽可能的小。
可以看看上面博客的图:
P3366 【模板】最小生成树
没错就是上面那道,结合注释和图理解一下 prim 的流程。
#include
#define INF 0x3f3f3f3f
#define int long long
#define N 1000100
using namespace std;
int n,m,head[N],dis[N],cnt,num,now=1,ans,vis[N];
//dis表示从已经在连通块里的点到当前点的最短距离,vis标记是否在连通图内,now是当前节点
struct sb{int u,v,w,next;}e[N];
inline void add(int u,int v,int w)//链式前向星存图
{
e[++cnt].u=u;
e[cnt].v=v;
e[cnt].w=w;
e[cnt].next=head[u];
head[u]=cnt;
}
signed main()
{
cin>>n>>m;
for(int i=1;i>u>>v>>w;
add(u,v,w);
add(v,u,w);
}
for(int i=2;idis[i])//找最小的不在连通图的dis
now=i,minn=dis[i];//存值
ans+=minn;//加入当前边
for(int i=head[now];i;i=e[i].next)//枚举每一个与之相连的边
if(dis[e[i].v]>e[i].w&&!vis[e[i].v])//更新dis,除在连通图的点之外
dis[e[i].v]=e[i].w;
num++;//加边数+1
if(num==n-1||minn==INF)break;//如果到n-1条边了或者minn没值了
}
if(num==n-1)cout
由于 prim 不如 kruskal 好写所以我只写了一个模板。
关于他俩谁快的问题,稠密图 prim 快一点,稀疏图 kruskal 快一点。
严格次小生成树
本来这个是不打算写的了,但是想了想还是来一发吧。
屠龙宝刀点击就送
看完题目发现要求的不是最小生成树,而是一个新名词:严格次小生成树,也就是边权和严格第二小的生成树。
首先题目说的是严格次小,也就是说,如果换了一条边,但是边权和没变,这种是不算严格次小生成树的。
(mst) 表示当前最小生成树的边权和, (Mst) 表示严格次小生成树的边权和,(maxUV) 表示 u 到 v 的路径上的最大边权,(MaxUV) 表示从 u 到 v 的路径上的次大的边权。
所以我们得到两种情况:
-
当前要加入的边 (ene maxUV),那么得到一个 (Mst) 的侯选值 (mst-maxUV+e)
-
当前要加入的边 (e = maxUV),那么得到一个 (Mst) 的侯选值 (mst-MaxUV+e)
然后问题就转化为了如何求 (maxUV) 和 (MaxUV)。
我们可以很容易想到暴力会 T 飞,所以我们选用倍增来解决,具体就是维护两个倍增数组 (max1[i][j]) 存放 i 点向上跳 (2^{j}) 步以后到的点之间的最大边权,(max2[i][j]) 存放 i 点向上跳 (2^{j}) 步以后到的点之间的次大边权,具体看下面代码的注释。
梳理一下流程:
-
先跑一边最小生成树
-
预处理出倍增数组 (max1),(max2)。
-
倍增处理当前要加入的边 e 的起始点在最小生成树上的最大边权。
最后对所有的待选值取个 min 即可。
code:
#include
#define int long long
#define INF (1ll=0;i--)
if(dep[f[x][i]]>=dep[y])x=f[x][i];
if(x==y)return x;
for(int i=18;i>=0;i--)
if(f[x][i]!=f[y][i])x=f[x][i],y=f[y][i];
return f[x][0];
}
inline int qmax(int x,int y,int z)//求x到y的边权最大值,z是要加进去的边权
{
int minn=-INF;//先设个最小值后面取min(设不设都行其实
for(int i=18;i>=0;i--)//倍增往上跳
{
if(dep[f[x][i]]>=dep[y])//如果跳的时候不会超过就更新
{
if(z!=max1[x][i])minn=max(minn,max1[x][i]);//情况1最大边权不等于z
else minn=max(minn,max2[x][i]);//情况二 最大边权等于z
x=f[x][i];//更新点的编号
}
}
return minn;//返回查到的需要替换的边权
}
signed main()
{
n=read(),m=read();
for(int i=1;i
服务器托管,北京服务器托管,服务器租用 http://www.fwqtg.net
机房租用,北京机房租用,IDC机房托管, http://www.e1idc.net