无向图tarjan求割边割点、最近公共祖先总结

割点:删除这个点之后整个图变成不连通的两个部分的点

割点集合:在一个无向图中删除该集合中的所有点,能使原图变成互不相连的连通块的点的集合

点连通度:最小割点集合点数

割边(桥):类似于割点,删除一条边后会使一个连通图变得不完全连通

割边集合:所有割边的集合

边连通度:最小割边集合边数

 

与有割边割点的图对应,有一种无向图,它的边连通度(或点连通度)大于1,那么我们称它为双连通分量,即删掉任意点(或边),图仍然是连通的

 

用tarjan算法求割点

原理:在一棵DFS树中

根root是割顶当且仅当它至少有两个儿子

其他点v是割顶当且仅当它有一个儿子u,从u或者u的后代出发没有指向v祖先(不含v)的B边,则删除v以后u和v的父亲不连通,故为割顶

  1. 基本算法同tarjan经典算法

  2. 每遍历一个新的(颜色为白色)u的儿子v都记录个数

  3. low[u]值更新后进行以下判断(前提v未被遍历过):

  1. u为树根,且儿子个数大于1

  2. u不为树根,但low[v]>=dfn[u](说明v及其子节点都不能达到u以上的父亲节点)

满足以上任意条件u便为割点,记录在数组里,tarjan完成后再输出(中途输出会重复)

 

用tarjan算法求割边(桥)

原理

发现T边(u,v)时若发现v和它的后代不存在一条连接u或其祖先的B边,则删除(u,v)后u和v不连通,因此(u,v)为桥

桥的判定算法

发现T边(u, v)时若low[v]>=dfn[u],则(u,v)为桥

  1. 基本算法同tarjan经典算法

  2. 形参加上father,作用为记录u的父亲节点,避免在遍历v时遇到重边重新更新low[u]

  3. 在“v已被遍历”的位置加上判断 如果v点等于father,那么就不执行更新low[u]值

  4. Tarjan算法结束后,遍历所有节点u及其子节点v,如果low[u]==low[v],那么这条边就为割边

 

求点双连通分支(去掉割点之后所得的双连通分量)

  1. tarjan求割点

  2. 每找到一个割点,将它上面的所有点弹出栈,所得的点集就是双连通分量

 

求边双连通分支

  1. tarjan找桥边

  2. 删除桥边(1、2两步同时完成)

  3. 剩余各部分则为双连通分量

 

有桥的连通图,加边变成双连通图

  1. tarjan找桥边并删除桥边

  2. 将点双连通分量收缩成为一个顶点

  3. 加回桥边,统计度为1的顶点个数

  4. 根据规律,需要加入的桥边最少为(n+1)/2条

 

最近公共祖先LCA

原理:在一棵树中,父亲结点与儿子结点的最近公共祖先为父亲结点

  1. 建立并查集

  2. DFS先序遍历一棵树

  3. 在每个结点上,进行以下操作:

  1. 涂黑该结点

  2. 如果有关于该结点a的询问,搜索另一询问的结点b,如果b也被涂黑,那么它们的公共祖先为b所在并查集的祖先,输出结果

 

拓展:求一棵树中两个结点的距离

  1. 建立dis[]数组,记录从树根到i点的距离dis[i]

  2. 则a与b的距离为

d=dis[a]-dis[LCA]+dis[b]-dis[LCA]=dis[a]+dis[b]-2*dis[LCA]

 

 

 

Poj 1144

描述

一个电话线公司(简称TLC)正在建立一个新的电话线缆网络。他们连接了若干个地点分别从1到N编号。没有两个地点有相同的号码。这些线是双向的并且能使两个地点保持通讯。每个地点的线都终结于电话交换机。每个地点都有一个电话交换机。从每个地点都能通过线缆到达其他任意的地点,然而它并不需要直接连接,它可以通过若干个交换机来到达目的地。有时候某个地点供电出问题时,交换机就会停止工作。TLC的工作人员意识到,除非这个地点是不可达的,否则这种情况就会发生,它还会导致一些其它的地点不能互相通讯。在这种情况下我们会称这个地点(错误发生的地方)为critical。现在工作人员想要写一个程序找到所有critical地点的数量。帮帮他们。

输入

输入文件包括若组测试数据。每一组是一个网络,每一组测试数据的第一行是地点的总数量N<100.每个接下来最多N行包括一个数字表示一个地点和与它相连接的地点的数字。这些最多N行完全描述了整个网络,比如,网络中每个直接连接的两个地点被至少一行包括。一行内的所有数字都要用空格隔开。每组数据需要用单独的一个0结束。最后的块只有一行即N=0。

输出

输出除了最后一个组其他每一个组的critical地点的数量,每个块用一行输出。

样例输入:

5

5 1 2 3 4

0

6

2 1 3

5 4 6 2

0

0

样例输出

1

2

提示:

你需要确定每行的结束。为了方便判断,每行的结束都没有多余的空白

读入是难点,其余就是找割点的部分

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int first[120],go[10000],nxt[10000],arcnum=1;
int dfn[120],low[120],idx;
int stack[100000],top,ans[120];
void addarc(int a,int b){nxt[arcnum]=first[a];first[a]=arcnum;go[arcnum++]=b;
}void tarjan(int u){low[u]=dfn[u]=++idx;
//  stack[++top]=u;int son=0;for(int p=first[u];p!=0;p=nxt[p]){int v=go[p];if(dfn[v]==0){tarjan(v); son++;low[u]=min(low[u],low[v]);if((u==1&&son>1)||(u!=1&&low[v]>=dfn[u])) ans[u]++;//一定使用这种方法记录u是否为割点 //       printf("u=%d son=%d ans=%d low[v]=%d dfn[u]=%d\n",u,son,ans,low[v],dfn[u]);}else low[u]=min(low[u],dfn[v]);}}int main()
{
//  freopen("in.txt","r",stdin);int n,a,b;char c;while(scanf("%d",&n)!=EOF&&n!=0){memset(first,0,sizeof(first));memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));memset(ans,0,sizeof(ans));arcnum=1; top=0;while(scanf("%d",&a)&&a!=0){do{scanf("%d",&b);if(a==b) continue;//一定不考虑自环 addarc(a,b);addarc(b,a);c=getchar();}while(c!='\n');}tarjan(1);int sum=0;for(int i=1;i<=n;i++)if(ans[i])sum++;printf("%d\n",sum);}return 0;
}

POJ1523

描述
考虑一下下图所示的两个网络。假设在这些网络中数据只能在两个直接连接的节点中传输。在左图网络中一个单独节点3的错误就会阻止一些其它可用节点的互相通信。节点1和2可以保持通信,4和5也是如此,但是其他的配对就无法再保持通信了。

因此3节点就是这个网络中的SinglePoint of Failure(SPF)。严格来讲,如果一个任意的不可用节点会阻止原有全通网络中至少一对可用节点保持通信,那么这就是一个SPF。注意在右图的网络中并没有这种节点。因此这个网络就没有SPF。至少有两台机器需要错误才能导致这个网络中有可用的节点对无法通信。

输入

输入会包括若干网络的描述。一个网络描述会包括若干对的整数,每行一对整数来描述节点的连接情况,先后顺序是无关的,如:1 2和2 1描述了相同的连接。所有的节点编码会从1到1000.一个单独的0行来结束连接节点的列表。一个空的网络描述结束输入。输入文档中空白的行要被忽略。

输出

对于每个输入的网络中,你需要输出存在的SPF节点的列表在文档中。

文档中第一个网络需要用“Network #1”来定义,第二个则是” Network #2”等等(如样例)。每个SPF节点,输出一行,方式如下方例子所示,列出节点的编号和当这个节点失效时完全连通的子网络的个数。如果网络中没有SPF节点,输出“NO SPF nodes“即可。

样例输入:

1 2

5 4

3 1

3 2

3 4

3 5

0

1 2

2 3

3 4

4 5

5 1

0

1 2

2 3

3 4

4 6

6 3

2 5

5 1

0

0

样例输出

Network #1

SPFnode 3 leaves 2 subnets

Network #2

NoSPF nodes

Network #3

SPFnode 2 leaves 2 subnets

SPFnode 3 leaves 2 subnets

读入是难点,接下来是找割点,删除割点并且DFS找点双连通分量

 

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
int first[1200],go[10000],nxt[10000],arcnum=1;
int dfn[1200],low[1200],exist[1200],rt,idx,ans[1200];
int cut,vis[1200];
void addarc(int a,int b){nxt[arcnum]=first[a];first[a]=arcnum;go[arcnum++]=b;
}
void tarjan(int u){low[u]=dfn[u]=++idx;int son=0,v;for(int p=first[u];p!=0;p=nxt[p]){v=go[p];if(dfn[v]==0){tarjan(v); son++;low[u]=min(low[u],low[v]);if((u==rt&&son>1)||(u!=rt&&low[v]>=dfn[u])) ans[u]=1;}else low[u]=min(low[u],dfn[v]);}
}
void dfs(int u){//DFS找相连子网络 if(vis[u]) return;vis[u]=1;for(int p=first[u];p!=0;p=nxt[p])if(go[p]!=cut)dfs(go[p]);
}int main()
{
//  freopen("in.txt","r",stdin);int a,b,k=0,cnt;while(scanf("%d",&a)){if(a==0) break;k++;memset(first,0,sizeof(first));memset(dfn,0,sizeof(dfn));memset(low,0,sizeof(low));memset(exist,0,sizeof(exist));memset(ans,0,sizeof(ans));arcnum=1; idx=0; cnt=0;do{scanf("%d",&b);exist[a]=exist[b]=1;if(a==b) continue;//忽略自环 addarc(a,b);addarc(b,a);}while(scanf("%d",&a)&&a!=0);rt=b;tarjan(rt);if(k>1) printf("\n");printf("Network #%d\n",k);for(cut=1;cut<=1000;cut++)if(exist[cut]&&ans[cut]){int sum=0;memset(vis,0,sizeof(vis));for(int i=1;i<=1000;i++)if(exist[i]&&!vis[i]&&!ans[i])//一定不能遍历割点本身 dfs(i),sum++;printf("  SPF node %d leaves %d subnets\n",cut,sum);cnt++;}if(cnt==0) printf("  No SPF nodes\n");}return 0;
}



POJ3177

描述

为了从F(1≤F≤5000)个牧场(从1到F进行编号)中的一个到达另一个牧场,Bessie和他的牛只能穿过烂苹果林。这些牛现在都累了,不想老走这个特殊的小路而是想要建一些新的小路,这样它们就有至少两种选择在任意牧场之间穿梭。在任意的两个牧场之间,它们现在至少有一条路径而他们想要至少有2条路径。

现在给出建好的R(F-1≤R≤10000)条路,每条都连接了两个不同的牧场,确定新修道路的最小数量(每个也是连接两个牧场)使得任意两个牧场之间都能有两条路连通。道路都是不同的,不会有相同的小路,即使他们在沿路的中间会碰到相同的牧场。

这里可能已经有一对牧场有超过一条小路的,并且你可能也会修一条新的另外的小路来连接相同的牧场。

输入

第一行:两个空格隔开的整数:F和R

第二到第R+1行:每行包括两个空格隔开的整数,表示一些小路端点所在的牧场。

输出

第一行:一个单独的整数,表述新修小道的数量

样例输入

7 7

1 2

2 3

3 4

2 5

4 5

5 6

5 7

样例输出

2

提示

例子的解释:

一个形象化的小路:

1  2   3
   +---+---+ 
       |  |
       |  |
 6 +---+---+ 4
      / 5
     /
    /
 7 +

建一个从1到6和从4到7的新路可以满足条件。

   1   2   3

   +---+---+  

   :   |   |

   :   |   |

 6 +---+---+ 4

      / 5  :

     /     :

    /      :

 7 + - - - - 

检查一些路径:

1 – 2: 1 –> 2 and 1 –> 6 –> 5 –> 2 
1 – 4: 1 –> 2 –> 3 –> 4 and 1 –> 6 –> 5 –> 4 
3 – 7: 3 –> 4 –> 7 and 3 –> 2 –> 5 –> 7

可以看出每对牧场都是由两条路连接的

有可能加一些别的下路也能解决这个问题(比如6到7加一条道)。然而加两条已经是最小了。

POJ3352

描述:

夏天的建造时间到了。这一年,遥远热带小岛上的街道的管理员要修复并且升级岛上街道,这些街道连接了小岛上不同的景点。

这些街道很有意思。由于这个小岛的奇怪传统,这些街道需要被规划的没有任何十字路口,但是可以用桥和隧道来连通。在这种情况下,每条路就会在特定的景点之间连接,这样旅客就不会迷路了。

不幸的是,每条路都需要修理和升级,当建筑公司在一条特定的道路上工作时,这条道路是无法使用的。这就会导致一个问题,即使这个公司一次只修一条路,仍然有两个景点是无法访问的,。

所以,这个岛上的道路部门就决定召唤你的咨询服务来帮助他们解决这个问题。最后决定在景点之间建设新的道路。如果一条道路在建设中,这些新的道路能使任意两个景点之间仍然有路能够到达。你的任务就是找到这个新修道路的最小数量。

输入

第一行的输入包括两个正整数n和r,其中3≤n≤1000是景点的数量,2≤r≤1000是道路的数量。景点则是从1到n进行标号。每个接下来的r行会包括两个整数,v和w,中间空格隔开,表示一个街道连接了标号为v和w的景点。注意街道是双向的,并且任意一对景点之间会有至多一条路直接连接它们。当然,你也要保证在现在的这个配置下,任意两个景点是连通的。

输出

一行,包括一个整数,给出我们需要添加的街道的最小数量

输入样例

Sample Input 1

10 12

1 2

1 3

1 4

2 5

2 6

5 6

3 7

3 8

7 8

4 9

4 10

9 10

Sample Input 2

3 3

1 2

2 3

1 3

输出样例

Output for Sample Input 1

2

Output for Sample Input 2

0

 

两道题完全相同,都是求有桥连通图变为双连通图所需要最少的边的个数

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int MAXN=5000+20;
const int MAXM=10000+20;
int first[MAXN],go[MAXM],nxt[MAXM],arcnum=1;
int low[MAXN],dfn[MAXN],dex,cnt[MAXN],map[MAXN][MAXN],sum;
void addarc(int a,int b){nxt[arcnum]=first[a];first[a]=arcnum;go[arcnum++]=b;
}void tarjan(int u,int father){low[u]=dfn[u]=++dex;for(int p=first[u];p!=0;p=nxt[p]){int v=go[p];if(!dfn[v]){tarjan(v,u);low[u]=min(low[u],low[v]);}else if(v!=father) low[u]=min(low[u],dfn[v]);//如果引出v,而v是u的父亲,那么就不能更新low[u] }
}int main()
{int n,m,a,b;while(scanf("%d%d",&n,&m)!=EOF){for(int i=1;i<=m;i++){scanf("%d%d",&a,&b);if(a==b) continue;if(map[min(a,b)][max(a,b)]) continue;map[min(a,b)][max(a,b)]=1;addarc(a,b);addarc(b,a);}tarjan(1,-1);for(int u=1;u<=n;u++)for(int p=first[u];p!=0;p=nxt[p]){int v=go[p];if(low[u]!=low[v])cnt[low[u]]++;//计算度数 }for(int i=1;i<=n;i++)if(cnt[i]==1)sum++;//统计度为1的点的个数 printf("%d",(sum+1)/2);}return 0;
}

Tarjan算法求无向图割边割点、最近公共祖先的总结相关推荐

  1. tarjan算法求无向图的割点和桥

    tarjan算法求无向图的割点与桥 一篇tarjan算法求割点与桥的完整的解释,写的真的好认真 以下代码来自kuangbin的模板 4.5 图的割点.桥和双连通分支的基本概念 [点连通度与边连通度] ...

  2. C++算法篇:DFS超详细解析(2)--- tarjan算法求无向图割边

    <<<上一篇 系列文章目录 ①:无向图基本概念 ②:tarjan算法求无向图割边 前言 第一次写算法,讲得肯不透彻,有误还请指教awa 文章目录 系列文章目录 一.回顾 二.tarj ...

  3. SPF Tarjan算法求无向图割点(关节点)入门题

    SPF 题目抽象,给出一个连通图的一些边,求关节点.以及每个关节点分出的连通分量的个数 邻接矩阵只要16ms,而邻接表却要32ms,  花费了大量的时间在加边上. //   time  16ms 1 ...

  4. Tarjan算法求割点与割边(python3实现)

    from typing import List, Tuple''' Trajan算法求无向图的桥 '''class Tarjan:# 求无向连通图的桥@staticmethoddef getCutti ...

  5. tarjan算法与无向图的连通性(割点,桥,双连通分量,缩点)

    基本概念 给定无向连通图G = (V, E) 割点: 对于x∈V,从图中删去节点x以及所有与x关联的边之后,G分裂为两个或两个以上不相连的子图,则称x为割点 割边(桥) 若对于e∈E,从图中删去边e之 ...

  6. 0x66.图论 - Tarjan算法与无向图连通性

    目录 一.无向图的割点与桥 割点 桥/割边 时间戳 搜索树 追溯值 二.割边判定法则 三.割点判定法则 1.luogu P3388 [模板]割点(割顶) 2.luogu P3469 [POI2008] ...

  7. 算法提高课-图论-有向图的强连通分量-AcWing 1174. 受欢迎的牛:tarjan算法求强连通分量、tarjan算法板子、强连通图

    文章目录 题目解答 题目来源 题目解答 来源:acwing 分析: 强连通图:给定一张有向图.若对于图中任意两个结点x,y,既存在从x到y的路径,也存在从y到x的路径,则称该有向图是"强连通 ...

  8. 【经典算法题】二叉树的最近公共祖先

    [经典算法题]二叉树的最近公共祖先 Leetcode 0235 二叉搜索树的最近公共祖先 题目描述:Leetcode 0235 二叉搜索树的最近公共祖先 分析 本题的考点:LCA(最近公共祖先). 关 ...

  9. tarjan算法求割点割边

    在上一节我们已经知道tarjan算法可以求联通图,在这里我们也运用tarjan的思想求割点与割边,首先我们先来说说割点,那么什么事割点呢,先来看一张图(a),图片来自网络 在(a)图中,我们将A点以及 ...

最新文章

  1. 智能化时代的到来,智能机器人会抢走我们的工作和收入吗?
  2. 高通android新建项目
  3. python 实例方法调用时可以忽略第一个参数_盘点Python中易忽略的函数
  4. 李开复:谷歌产品经理眼中的产品经理
  5. Idea启动报错 Error:java: System Java Compiler was not found in classpath
  6. 线程创建方式3-实现 callable接口(Java)
  7. 代码编辑器[0] - Vim/gVim[1] - Vim 的快捷键操作
  8. java web 编程技术 答案_《javaweb编程技术》课后习题答案.docx
  9. 信息安全中最容易被忽略的软资产管理
  10. 二次拟合r方_r的平方为什么是R方?
  11. 使用keytool工具常用证书转换
  12. HTTP协议基本格式
  13. SAS统计初学1-卡方检验
  14. STM32 AT24C64 Hal库写入错误
  15. 美国国家航空航天局NASA的软件项目开源啦~
  16. 计算机电源管理最高续航,高效电源管理 vivo TWS Neo最大支持27小时续航
  17. dell微型计算机换内存条,视频:小巧灵活 戴尔OptiPlex 7060微型机解析
  18. 《系统化思维导论》杂谈
  19. java计算身体质量指数
  20. python实现面部特效_用Python获取摄像头并实时控制人脸的实现示例

热门文章

  1. 无线黑名单实现(将终端踢下线同时禁止终端再次连接)
  2. 最佳适配算法和最差适配算法_你是怎么开始的? 看看最佳和最差的Web设计工具...
  3. S32K系列S32K144学习笔记——CAN驱动配置
  4. IOS技术分享| anyRTC 互动白板场景实现
  5. 国内常用开源镜像网站汇总
  6. 《JavaScript高级程序设计 (第3版)》学习笔记14:chapter_5 - 5 Function类型
  7. 7-3 装睡 (10分)
  8. 3M与惠普公司合作开发标识模板,支持大众保持社交距离
  9. 脚踏AI,搜狗起跳 | 一点财经
  10. python画彩色_用python画彩色的小猪佩奇