第1节 连通性强连通、割点和桥(一)

文章目录

  • 无向图割点、桥、双连通分量
    • Tarjan算法求割点和桥(割边)
    • 代码:
    • 边双连通分量 和 点双连通分量
    • 代码
    • 边双连通分量 和 点双连通分量 的缩点
  • 有向图的弱连通与强连通
    • 强连通分量
    • Kosaraju算法
    • Tarjan算法
    • 代码:

无向图割点、桥、双连通分量

• 给定无向联通图G=(V,E) • 对于一个点x,若从图中删除x及所有与x相连的边,图不再联通,x是G的割点
• 对于一条边e,从图中删去e,图不再联通,e的x的割边
• 一个图如果不存在割点,则它是一个点双连通图,一个图的极大点双连通子图是他的点双连
通分量。
• 一个图如果不存在割边,则它是一个边双连通图,一个图的极大边双连通子图是他的边双连
通分量。

Tarjan算法求割点和桥(割边)

时间戳dfn :第n个搜到这个点
返祖边:搜索树上一个点连向其祖先节点的边
横插边:搜索树上一个点连向它另一条支链上的点的边----在无向图中不存在
追溯值low:当前点及其子树的返祖边能连到的dfn值最小的点
如果<u,v>是搜索树的边:low[u]=min(low[u],low[v])
在这里插入图片描述
在这里插入图片描述
• u点是割点,v是u搜索树上的一个儿子:dfn[u] <= low[v] ——v的子树中没有返祖边能跨越u点;有多个儿子的根节点
比如图中的点10和点7

• 边是桥,搜索树上v是u的儿子:dfn[u]<low[v]——v的子树中没有返祖边能跨越<u,v>这条边

代码:

void tarjan(int x)//求割点 
{dfn[x]=low[x]=++cnt;int flag=0;for(int i=head[x];i;i=edge[i].next){int v=edge[i].v;if(!dfn[v]){tarjan(v);low[x]=min(low[x],low[v]);if(low[v]>=dfn[x]){flag++;if(x!=root||flag>1)book[x]=1;//flag>!说明根有两个以上的儿子 }}else low[x]=min(low[x],dfn[v]);} 
}

求割边:if(low[v] > dfn[x])

边双连通分量 和 点双连通分量

• 把桥删了每个连通块都是一个边双联通分量——标记出桥之后dfs一遍即可
• 点双连通分量要复杂一些——一个割点可能属于多个双联通分量

点双连通分量性质:
任意两点间至少存在两条点不重复的路径等价于图中删去任意一个点都不会改变图的连通性,即BCC中无割点
若BCC间有公共点,则公共点为原图的割点
无向连通图中割点一定属于至少两个BCC,非割点只属于一个BC

点双连通分量求法::
• 维护一个栈
• 第一次访问某个节点时,将其入栈
• 当割点判断法则中dfn[x]<=low[y]成立时,不断从栈中弹出节点,直到y被弹出,这些被弹出的点和x一起构成一个点双连通分量

代码

#include<cstdio>
#include<cctype>
#include<vector>
using namespace std;
struct edge
{int to,pre;
}edges[1000001];
int head[1000001],dfn[1000001],dfs_clock,tot;
int num;//BCC数量 
int stack[1000001],top;//栈 
vector<int>bcc[1000001];
int tarjan(int u,int fa)
{int lowu=dfn[u]=++dfs_clock;for(int i=head[u];i;i=edges[i].pre)if(!dfn[edges[i].to]){stack[++top]=edges[i].to;//搜索到的点入栈 int lowv=tarjan(edges[i].to,u);lowu=min(lowu,lowv);if(lowv>=dfn[u])//是割点或根 {num++;while(stack[top]!=edges[i].to)//将点出栈直到目标点 bcc[num].push_back(stack[top--]);bcc[num].push_back(stack[top--]);//目标点出栈 bcc[num].push_back(u);//不要忘了将当前点存入bcc }}else if(edges[i].to!=fa)lowu=min(lowu,dfn[edges[i].to]);return lowu;
}
void add(int x,int y)//邻接表存边 
{edges[++tot].to=y;edges[tot].pre=head[x];head[x]=tot;
}
int main()
{int n,m;scanf("%d%d",&n,&m);for(int i=1;i<=m;i++){int x,y;scanf("%d%d",&x,&y);add(x,y),add(y,x);}for(int i=1;i<=n;i++)//遍历n个点tarjan if(!dfn[i]){stack[top=1]=i;tarjan(i,i);}for(int i=1;i<=num;i++){printf("BCC#%d: ",i);for(int j=0;j<bcc[i].size();j++)printf("%d ",bcc[i][j]);printf("\n");}return 0;
}

边双连通分量 和 点双连通分量 的缩点

• 每个边双连通分量缩成一个点,再用原来的桥把他们连起来
• 点双联通分量因为一个割点可能包含在多个点双连通分量里面,所以我们将每个割点保留割点与其所在的点双连通分量连边即可。

有向图的弱连通与强连通

• 在有向图G=(V,E)中,如果对于任意两点u,v,存在一条从u到v或者从v到u的路径——弱联通
• 在有向图G=(V,E)中,如果对于任意两点u,v都互相可达——强联通

强连通分量

• 有向图强连通分量:在有向图G中,如果两个顶点vi,vj间(vi>vj)有一条从vi到vj的有向路
径,同时还有一条从vj到vi的有向路径,则称两个顶点强连通(strongly connected)。 • 如果有向图G的每两个顶点都强连通,称G是一个强连通图。
• 有向图的极大强连通子图,称为强连通分量(strongly connected components)。
在这里插入图片描述

Kosaraju算法

• 对原图进行一次dfs(任意起点)
• 在第一次形成的森林的每一颗树里,以第一次搜索出栈时间的逆序对反图进行dfs,这次搜索A能到达的点和A都在一个强连通分量里面
在这里插入图片描述

Tarjan算法

• Dfn[n]时间戳
• Low[n]他和他的子树里返祖边和横叉边能连到还没出栈的dfn最小的点
• 在dfs的时候维护一个栈第一次访问到某个点就将其加入到栈中,当一个点x的dfn[x] == low[x] 时,他就是这个强连通分量里面在搜索树中最高的点,将栈里点出栈直到x也出栈为止,这些点组成一个强连通分量。

代码:

void tarjan(int x)
{dfn[x]=low[x]=++cnt;stack[++top]=x;vis[x]=1;//x是否在栈里 for(int i=head[x];i;i=edge[i].next){int v=edge[i].v;if(!dfn[v]){tarjan(v);low[x]=min(low[x],low[y]);}else if(vis[v])low[x]=min(low[x],dfn[v]);if(dfn[x]==low[x])//是否是强连通分量最高的点 {ans++;//新强连通的标号 do{int cur=stack[top--];//栈顶的点 vis[cur]=false;num[cur]=ans;}while(x!=cur);}}} 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/318507.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

暗黑破坏神(背包)(内部模拟)

不开longlong见祖宗&#xff01;&#xff01;&#xff01; scanf要打成lld&#xff01;&#xff01;&#xff01;&#xff01; 解析 分层背包的类板子题&#xff0c;更新dp过程中记录路径&#xff0c;最后递归输出即可 然而—— 一开始被卡成了27分&#xff01;&#xff01;…

UOJ#454-[UER #8]打雪仗【通信题】

正题 题目链接:https://uoj.ac/problem/454 题目大意 AliceAliceAlice有一个长度为2n2n2n的010101串&#xff0c;BobBobBob有nnn个在[1,2n][1,2n][1,2n]位置的下标表示它想要得到010101串中这些位置的值&#xff0c;现在两个人可以向对方传输不超过mmm个0/10/10/1字符&#xf…

第1节 连通性强连通、割点和桥 例题

NC15707 可达性 题目&#xff1a; 给出一个 0 ≤ N ≤ 105 点数、0 ≤ M ≤ 105 边数的有向图&#xff0c; 输出一个尽可能小的点集&#xff0c;使得从这些点出发能够到达任意一点&#xff0c;如果有多个这样的集合&#xff0c; 输出这些集合升序排序后字典序最小的。 题解:…

最大乘积(记忆化搜索)

题目描述 给一段数列&#xff0c;用k个乘号分开&#xff0c;求所得最大值 n<10! 解析 这样就不用写高精啦 枚举第一个乘号的位置递归记忆化搜索即可 问题&#xff01; 一开始边界条件写了一个这个&#xff1a; if(n-st<k) return -2e15;这样使这样的情况强制非法 但…

Loj#6503-「雅礼集训 2018 Day4」Magic【分治NTT】

正题 题目链接:https://loj.ac/p/6503 题目大意 nnn张卡mmm种&#xff0c;第iii种卡有aia_iai​张&#xff0c;求所有排列中有kkk对相邻且相同的卡牌。 1≤n≤105,0≤k≤105,1≤m≤20000,∑i1main1\leq n\leq 10^5,0\leq k\leq 10^5,1\leq m\leq 20000,\sum_{i1}^ma_in1≤n≤1…

连通性(相关练习)

文章目录NC20603 [ZJOI2007]最大半连通子图题目&#xff1a;题解&#xff1a;代码&#xff1a;NC50403 嗅探器题目&#xff1a;题解&#xff1a;代码&#xff1a;NC51269 Network of Schools题目&#xff1a;题解&#xff1a;代码&#xff1a;NC106972 Cow Ski Area题目&#x…

ASP.NET Core WebAPI中使用JWT Bearer认证和授权

为什么是 JWT BearerASP.NET Core 在 Microsoft.AspNetCore.Authentication 下实现了一系列认证, 包含 Cookie, JwtBearer, OAuth, OpenIdConnect 等,Cookie 认证是一种比较常用本地认证方式, 它由浏览器自动保存并在发送请求时自动附加到请求头中, 更适用于 MVC 等纯网页系统的…

判断溢出(ybtoj-字符串)

文章目录题目描述输入格式输出格式样例输入样例输出数据范围解析注意代码题目描述 我们将给你一些数和一个数据类型&#xff0c;你需要判断&#xff0c;如果将这些数连续相乘起来&#xff0c;将会在第几个数出现溢出的情况。 输入格式 多组数据。 第一行只有一个整数&#x…

2021“MINIEYE杯”中国大学生算法设计超级联赛(8)(1002,1004,1006,1009)

前言 依旧是白嫖账号&#xff0c;只打了一些题/kk 正题 1002 Buying Snacks 题目大意 nnn个物品&#xff0c;每个可以买一次也可以不买&#xff0c;如果买需要选择1/21/21/2块钱的&#xff0c;然后也可以相邻两个一起买并且减少一块的花销&#xff0c;求恰好用掉mmm块钱的方案…

分羊(区间dp:分治与决策单调性优化)

文章目录题目描述样例输入样例输出解析代码题目描述 给你一个数列&#xff0c;分成m段&#xff0c;每段的价值为相同数对的对数 求最小价值和 样例输入 10 2 1 2 1 2 1 2 1 2 1 2 样例输出 8 解析 容易想到区间dp 定义dp[i][j]:把前i个数分成j段的最小价值 那么枚举最后一段…

网络流专题(最大流与费用流)(一)

流量网络 • 想要将一些水从S运到T&#xff0c;必须经过一些水站&#xff0c;链接水站的是管道&#xff0c;每条管道都有它的最大能容纳的水量&#xff0c;求最多S到T能流多少流量。 基本概念 • 这是一个典型的网络流模型。我们先了解网络流的有关定义和概念。 • 若有向图G(…

eShopOnContainers 看微服务 ①:总体概览

一、简介eShopOnContainers是一个简化版的基于.NET Core和Docker等技术开发的面向微服务架构的参考应用。该参考应用是一个简化版的在线商城/电子商务微服务参考示例应用。其包含基于浏览器的Web应用、基于Xamarin的Android、IOS、Windows/UWP 移动应用&#xff0c;以及服务端应…

【模板】文艺平衡树

题目链接 题目描述 您需要写一种数据结构&#xff08;可参考题目标题&#xff09;&#xff0c;来维护一个有序数列。 其中需要提供以下操作&#xff1a;翻转一个区间&#xff0c;例如原有序序列是 543215\ 4\ 3\ 2\ 15 4 3 2 1&#xff0c;翻转区间是 [2,4][2,4][2,4] 的话&a…

P4022-[CTSC2012]熟悉的文章【广义SAM,dp,单调队列】

正题 题目链接:https://www.luogu.com.cn/problem/P4022 题目大意 给出mmm个模板串。 然后nnn次询问给出一个串SSS要求找到一个最大的LLL使得能够将SSS超过90%90\%90%的部分拿出来分后每个串都是某个模板串的子串且长度不小于LLL。 所有输入文件长度不超过 110000011000001…

猜数(二分、线段树)

题目描述 对于一个长度为n的数列给出m个描述 每一个描述给出一个区间[a,b]的最小值的x 求从第几个描述开始矛盾 解析 本题关键是一个关于矛盾的充要条件&#xff1a; 如果存在一个最小值x&#xff0c;其所在的区间的交集&#xff08;就是它真正可以存在的区间&#xff09;是…

网络流专题(最大流与费用流)例题总结

文章目录NC 106056 poj1459 Power Network题目大意&#xff1a;题解&#xff1a;NC213817 [网络流24题]最小路径覆盖问题题目&#xff1a;题解&#xff1a;例2&#xff1a;NC213818 [网络流24题]魔术球问题题目&#xff1a;题解&#xff1a;方法2&#xff1a;NC 213820 [网络流…

FHQ Treap

FHQ Treap 主要通过 merge⁡\operatorname{merge}merge 和 spilt⁡\operatorname{spilt}spilt 两个核心操作和其他辅助函数来实现。 本文用 lcxlc_xlcx​ 表示 xxx 的左儿子&#xff0c;rcxrc_xrcx​ 表示 xxx 的右儿子&#xff0c;datxdat_xdatx​ 表示 xxx 的随机优先级 me…

从.Net框架Bug的提交到修复代码成功合并到.NET CoreFX主线

从发现.NET Framework中SmtpClient的Bug并拿出解决方案&#xff0c;然后给微软开发者社区提交Bug开始&#xff0c;总共耗时一个多月&#xff0c;对Bug修复的代码最终被采纳&#xff0c;现已合并到.NET Core Libraries (CoreFX)主线中。修复记录https://github.com/dotnet/coref…

P2469-[SDOI2010]星际竞速【费用流】

正题 题目链接:https://www.luogu.com.cn/problem/P2469 题目大意 给出nnn个点mmm条边的一张无向图&#xff0c;你每次可以选择一条s−>ts->ts−>t的路径花费AsA_sAs​的代价出发&#xff0c;而且只能从编号小的点到编号大的点走&#xff0c;求最小花费使得所有点被…

周期长度和(KMP)

文章目录题目描述解析问题总结代码题目描述 解析 我们可以看到 如果A是B的周期 那么B一定可以写成&#xff1a; A1A2A1 的形式 注意到&#xff1a;A1就是KMP中的公共前后缀 要使A最大&#xff0c;要使A1最短 也就是求最短公共前后缀 这怎么求呢&#xff1f; 我们注意到&#x…