Tarjan 强连通分量 及 双联通分量(求割点,割边)

众所周知,Tarjan的三大算法分别为

(1)         有向图的强联通分量

(2)         无向图的双联通分量(求割点,桥)

(3)         最近公共祖先

今天主要给未来的自己讲解一下前两个应用,让未来的自己不会向现在的自己一样又忘了Tarjan怎么写。熟悉DFS的话,理解起来会简单很多。

(1)         有向图的强联通分量

首先解释Tarjan中几个比较重要的值

DFN[i] : 节点i被访问到的次序

LOW[i]: 节点i的子孙节点能够追溯到的次序最早的祖先节点

Stack[i]: 存储强连通分量

VIS[i]  : VIS[i] = 1 则节点在栈中,否则不在

DFN[i] == 0 时,很明显,就是该点没有被访问过

DFN[i]==LOW[i], 切换成中文,意思就是节点i被访问到的次序,是他的子孙节点中能够追溯到的最早次序,换句话说,i和i的子孙节点(并非所有子孙节点,而是所有进栈的子孙节点)构成了一个强连通分量。

接下来就是重头戏了。让我们开始DFS。

(1) Tarjan开始,对于节点u

有DFN[u] = LOW[u] = ++deep

因为第u个点第一次被访问到的时候还没有访问其子节点

把u加入栈中(将来用于回溯)并且打上VIS标记

(2) 对于u的每一条边,所访问到的v节点

如果v节点没有被访问过,那就直接回到第一步

回溯结束后(对于没有子节点的节点,可以见得它的LOW 就等于它的 DFN)

LOW[u] = min(LOW[u],LOW[v])

因为LOW[u] 要取到u的所有子节点中最小的LOW[v]值

如果v节点已经在栈中了,

直接LOW[u] = min(LOW[u],LOW[v])

同理,此时已构成环

如果v节点被访问到,且v节点不在栈中了

证明v已经出栈,不可与u点构成强联通分量

(3) DFN[i]==LOW[i]

当我们回溯到底i个点发现它满足上述条件的话,证明该点和子孙节点能够构成强联通分量。且i是最早入栈的(LOW的定义),这时候只需要退栈到栈顶不是i点就OK了。

附上一份代码,

模板Tarjan  POJ 2186

写一次就明白了

const int maxn = 150000;

struct Edge

{

int from,to,next;

}edge[maxn];

int head[maxn],DFN[maxn],low[maxn];

int Stack[maxn],vis[maxn],color[maxn],deg[maxn];

int deep,top,k,tol;

void init()

{

k = tol = top = deep = 0;

CLR(head,-1);

CLR(DFN,0);

CLR(low,0);

CLR(color,0);

CLR(Stack,0);

CLR(vis,0);

CLR(deg,0);

}

void addedge(int u,int v)

{

edge[tol].from = u;

edge[tol].to = v;

edge[tol].next = head[u];

head[u] = tol++;

}

void tarjan(int u)

{

DFN[u] = low[u] = ++deep;

vis[u] = 1;

Stack[++top] = u;

for(int i = head[u]; ~i; i = edge[i].next){

int v = edge[i].to;

if(!DFN[v]){

tarjan(v);

low[u] = min(low[v],low[u]);

}

else if(vis[v]){

low[u] = min(low[v],low[u]);

}

}

if(DFN[u] == low[u]){

color[u] = ++k;

vis[u] = 0;

while(Stack[top]!=u){

color[Stack[top]] = k;

vis[Stack[top]] = 0;

top--;

}

top--;

}

}

求割边:当LOW[V]>DFN[U]时,证明v点和它的子孙节点无法回溯到u,v间为桥

求割点:当LOW[V]>=DFN[U]时,证明v点和它的子孙节点无法回溯到u的祖先(可以回溯到u).u点为割点

根节点如果有多个子节点,则为割点

const int maxn = 1500;
struct Edge
{
int from,to,next;
int cut;
}edge[maxn];
int head[maxn],low[maxn],DFN[maxn];
int n,deep,tol,ans;
int cut_point[maxn]; void init()
{
ans = tol = deep = 0;
CLR(head,-1);
CLR(cut_point,0
CLR(DFN,0);
CLR(low,0);
} void addedge(int u,int v)
{
edge[tol].from = u;
edge[tol].to = v;
edge[tol].next = head[u];
head[u] = tol++;
} void tarjan(int u, int fa) { //u在DFS树中的父节点是fa
low[u] = DFN[u] = ++deep;
int child = 0; //子节点数目
for(int i = head[u]; ~i; i = edge[i].next) {
int v = edge[i].to;
if( fa == v ) continue;
if(!DFN[v]) {
child++;
tarjan(v, u);
low[u] = min(low[u], low[v]);
if(low[v] >= DFN[u]) {
if(low[v] > DFN[u]) edge[i].cut = 1;
cut_point[u] = 1;
}
}
else low[u] = min(low[u], DFN[v]);
}
if(fa < 0 && child == 1) cut_point[u] = 0;
} int search_cut_point()
{
tarjan(1,-1);
for(int i=1;i<=n;i++)
if(cut_point[i])
ans++;
}

Tarjan 强连通分量 及 双联通分量(求割点,割边)的更多相关文章

  1. 『Tarjan算法 无向图的双联通分量』

    无向图的双连通分量 定义:若一张无向连通图不存在割点,则称它为"点双连通图".若一张无向连通图不存在割边,则称它为"边双连通图". 无向图图的极大点双连通子图被 ...

  2. 无向图边双联通分量 tarjan 模板

    #include <bits/stdc++.h> using namespace std; const int MAXN = 100005; const int MAXM = 500005 ...

  3. 洛谷P2860 [USACO06JAN]冗余路径Redundant Paths(tarjan求边双联通分量)

    题目描述 In order to get from one of the F (1 <= F <= 5,000) grazing fields (which are numbered 1. ...

  4. POJ 2942 Knights of the Round Table 补图+tarjan求点双联通分量+二分图染色+debug

    题面还好,就不描述了 重点说题解: 由于仇恨关系不好处理,所以可以搞补图存不仇恨关系, 如果一个桌子上面的人能坐到一起,显然他们满足能构成一个环 所以跑点双联通分量 求点双联通分量我用的是向栈中pus ...

  5. POJ2942 Knights of the Round Table【Tarjan点双联通分量】【二分图染色】【补图】

    LINK 题目大意 有一群人,其中有一些人之间有矛盾,现在要求选出一些人形成一个环,这个环要满足如下条件: 1.人数大于1 2.总人数是奇数 3.有矛盾的人不能相邻 问有多少人不能和任何人形成任何的环 ...

  6. 图连通性【tarjan点双连通分量、边双联通分量】【无向图】

    根据 李煜东大牛:图连通性若干拓展问题探讨 ppt学习. 有割点不一定有割边,有割边不一定有割点. 理解low[u]的定义很重要. 1.无向图求割点.点双联通分量: 如果对一条边(x,y),如果low ...

  7. [J]computer network tarjan边双联通分量+树的直径

    https://odzkskevi.qnssl.com/b660f16d70db1969261cd8b11235ec99?v=1537580031 [2012-2013 ACM Central Reg ...

  8. poj 3177&&3352 求边双联通分量,先求桥,然后求分量( 临界表代码)

    /*这道题是没有重边的,求加几条边构成双联通,求边联通分量,先求出桥然后缩点,成一个棵树 找叶子节点的个数*/ #include<stdio.h>//用容器写在3177这个题上会超内存,但 ...

  9. hdu 3352 求边双联通分量模板题(容器)

    /*这道题是没有重边的,求加几条边构成双联通,求边联通分量,先求出桥然后缩点,成一个棵树 找叶子节点的个数*/ #include<stdio.h> #include<string.h ...

随机推荐

  1. Python中文语料批量预处理手记

    手记实用系列文章: 1 结巴分词和自然语言处理HanLP处理手记 2 Python中文语料批量预处理手记 3 自然语言处理手记 4 Python中调用自然语言处理工具HanLP手记 5 Python中 ...

  2. spring-boot 1.X集成swagger

    1.引入POM依赖 <properties> <swagger-annotations.version>1.5.13</swagger-annotations.versi ...

  3. 转 sshfs把远程主机的文件系统映射到本地的目录中

    windows之外的世界比想像中要大得多呢,几乎天天都在用ssh,却到今天才知道有sshfs这个好东西,前几天还在为ZendStudio可以远程编辑文件欣喜,惭愧啊,终于有比vi scp://host ...

  4. google全球地址

    IP Addresses of Google Global Cache www.kookle.co.nr Bulgaria 93.123.23.1 93.123.23.2 93.123.23.3 93 ...

  5. GuavaCache学习笔记二:Java四大引用类型回顾

    前言 上一篇已经讲了,如何自己实现一个LRU算法.但是那种只是最基本的实现了LRU的剔除策略,并不能在生产中去使用.因为Guava Cache中使用的是SoftReference去做的value实现, ...

  6. [svc]sort-uniq

    uniq - report or omit repeated lines sort -r -t uniq -r -c uniq的作用: 去除相邻重复行 [root@n1 data]# cat ip.t ...

  7. golang slice

    golang 在for range一个slice时,会读出其cap长度.在for的过程中,即使动态append该slice,最终for也会在第一次读取的cap长度处停止. package main i ...

  8. 《转》vue更新到2.0之后vue-resource不在更新,axios的使用

    vue更新到2.0之后,作者就宣告不再对vue-resource更新,而是推荐的axios,前一段时间用了一下,现在说一下它的基本用法. 首先就是引入axios,如果你使用es6,只需要安装axios ...

  9. JVM 内部原理(六)— Java 字节码基础之一

    JVM 内部原理(六)- Java 字节码基础之一 介绍 版本:Java SE 7 为什么需要了解 Java 字节码? 无论你是一名 Java 开发者.架构师.CxO 还是智能手机的普通用户,Java ...

  10. Gsoap编译

    gSOAP编译工具提供了一个SOAP/XML 关于C/C++ 语言的实现,从而让C/C++语言开发web服务或客户端程序的工作变得轻松了很多.gSOAP支持大多数平台,包括嵌入式系统和小系统. 你首先 ...