tarjan在图论中还是挺重要的.这里就简要的梳理一下tarjan的知识点.

tarjan算法与无向图连通性.

首先说一下图中割点和桥的定义.

桥:也称割边,定义类似,在无向图中,若去掉某条边,导致整张图不连通,则该边为割边.

割点:在无向图中,若去掉某个点,导致整张图不连通,则该点为割点.

其他的什么基础知识就不多说了,这里给出桥和割点的判定法则.

割边:dfn[x]<low[y].

感性的理解下,low[y]说明y向下走,没办法通过非树边到达x及以上的点.代码中的小细节就是tarjan时记录过来的边,防止重边对答案的影响.

割边:dfn[N],low[N],bridge[N],num;
inline void tarjan(int x,int in_edge)
{
dfn[x]=low[x]=++num;
for(int i=link[x];i;i=a[i].next)
{
int y=a[i].y;
if(!dfn[y])
{
tarjan(y,i);
low[x]=min(low[x],low[y]);
if(low[y]>dfn[x]) bridge[i]=bridge[i^1]=true;
}
else if(i!=(in_edge^1)) low[x]=min(low[x],dfn[y]);
}
}

割点:

1.若x不是搜索树的根结点,则满足dfn[x]<=low[y].(感性的理解,y只能到达x,无法与x以上的点取得联系)

2.若x是搜索树的1根结点,则满足至少存在两个以上节点才行.(根只有一个儿子显然不行.)

割点:num,dfn[N],low[N],vis[N];
inline void tarjan(int x)
{
dfn[x]=low[x]=++num;
int flag=0;
for(int i=link[x];i;i=a[i].next)
{
int y=a[i].y;
if(!dfn[y])
{
tarjan(y);
low[x]=min(low[x],low[y]);
if(low[y]>=dfn[x])
{
flag++;
if(x!=root||flag>=2) vis[x]=1;
}
}
else low[x]=min(low[x],dfn[y]);
}
}

之后是无向图的双连通分量.

点双联通图:若一个图中不存在割点,则称该图是点双联通图.

点双联通分量:无向图中的极大点双连通图.

边双联通图:若一个图中不存在桥,则称该图是边双联通图.

边双连通分量:无向图中的极大边双联通图.

先讨论边双的情况(因为简单).

判定:一个图是边双连通图的充要条件,图中任意一条边都至少存在一个简单环中.

很显然吧,若不在环中,则该边连接的两个点就断开了,则存在割边,不符合定义.

给出边双联通分量,即缩点的代码:

inline void tarjan(int x,int in_edge)
{
dfn[x]=low[x]=++num;
for(int i=link[x];i;i=a[i].next)
{
int y=a[i].y;
if(!dfn[y])
{
tarjan(y,i);
if(low[y]>dfn[x]) bridge[i]=bridge[i^1]=true;
}
else if(i!=(in_edge^1)) low[x]=min(low[x],dfn[y]);
}
}
inline void dfs(int x)
{
c[x]=dcc;
for(int i=link[x];i;i=a[i].next)
{
int y=a[i].y;
if(c[y]||bridge[i]) continue;
dfs(y);
}
}
main函数内:
for(int i=1;i<=n;++i) if(!c[i]) dcc++,dfs(i);
for(int i=2;i<=tot;++i)
{
int x=a[i^1].y,y=a[i].y;
if(c[x]!=c[y]) add_c(c[x],c[y]);
}

点双连通分量的判定(至少满足一个):

1.图的顶点数不超过2.

2.图中任意两个节点都同时包含在至少一个简单环中.

证明略过.....(还是太菜了..)

点双的代码:

inline void tarjan(int x)
{
dfn[x]=low[x]=++num;
stack[++top]=x;
if(x==root&&link[x]==0)
{
dcc[++cnt].push_back(x);
return;
}
int flag=0;
for(int i=link[x];i;i=a[i].next)
{
int y=a[i].y;
if(!dfn[y])
{
tarjan(y);
low[x]=min(low[x],low[y]);
if(low[y]>=dfn[x])
{
++flag;
if(x!=root||flag>=2) vis[x]=1;
cnt++;
int z=0;
while(z!=y)
{
z=stack[top--];
dcc[cnt].push_back(z);
}
dcc[cnt].push_back(x);
}
}
}
}
main函数内:
num=cnt;
for(int i=1;i<=n;++i) if(vis[i]) new_id[i]=++num;
tc=1;
for(int i=1;i<=cnt;++i)
{
for(int j=0;j<dcc[i].size();++j)
{
int x=dcc[i][j];
if(vis[x])
{
add_c(i,new_id[x]);
add_c(new_id[x],i);
}
else c[x]=i;
}
}

放一道边双缩点的题(码量很大啊...)

364. 网络

tarjan知识点梳理的更多相关文章

  1. Javascript重要知识点梳理

    Javascript重要知识点梳理 一.Javascript流程控制 js中常用的数据类型 var关键字的使用 if – else if – else switch while for 二.Javas ...

  2. Memcache知识点梳理

    Memcache知识点梳理 Memcached概念:    Memcached是一个免费开源的,高性能的,具有分布式对象的缓存系统,它可以用来保存一些经常存取的对象或数据,保存的数据像一张巨大的HAS ...

  3. [独孤九剑]Oracle知识点梳理(十)%type与%rowtype及常用函数

    本系列链接导航: [独孤九剑]Oracle知识点梳理(一)表空间.用户 [独孤九剑]Oracle知识点梳理(二)数据库的连接 [独孤九剑]Oracle知识点梳理(三)导入.导出 [独孤九剑]Oracl ...

  4. [独孤九剑]Oracle知识点梳理(九)数据库常用对象之package

    本系列链接导航: [独孤九剑]Oracle知识点梳理(一)表空间.用户 [独孤九剑]Oracle知识点梳理(二)数据库的连接 [独孤九剑]Oracle知识点梳理(三)导入.导出 [独孤九剑]Oracl ...

  5. [独孤九剑]Oracle知识点梳理(八)常见Exception

    本系列链接导航: [独孤九剑]Oracle知识点梳理(一)表空间.用户 [独孤九剑]Oracle知识点梳理(二)数据库的连接 [独孤九剑]Oracle知识点梳理(三)导入.导出 [独孤九剑]Oracl ...

  6. [独孤九剑]Oracle知识点梳理(七)数据库常用对象之Cursor

    本系列链接导航: [独孤九剑]Oracle知识点梳理(一)表空间.用户 [独孤九剑]Oracle知识点梳理(二)数据库的连接 [独孤九剑]Oracle知识点梳理(三)导入.导出 [独孤九剑]Oracl ...

  7. [独孤九剑]Oracle知识点梳理(六)数据库常用对象之Procedure、function、Sequence

    本系列链接导航: [独孤九剑]Oracle知识点梳理(一)表空间.用户 [独孤九剑]Oracle知识点梳理(二)数据库的连接 [独孤九剑]Oracle知识点梳理(三)导入.导出 [独孤九剑]Oracl ...

  8. [独孤九剑]Oracle知识点梳理(五)数据库常用对象之Table、View

    本系列链接导航: [独孤九剑]Oracle知识点梳理(一)表空间.用户 [独孤九剑]Oracle知识点梳理(二)数据库的连接 [独孤九剑]Oracle知识点梳理(三)导入.导出 [独孤九剑]Oracl ...

  9. [独孤九剑]Oracle知识点梳理(四)SQL语句之DML和DDL

    本系列链接导航: [独孤九剑]Oracle知识点梳理(一)表空间.用户 [独孤九剑]Oracle知识点梳理(二)数据库的连接 [独孤九剑]Oracle知识点梳理(三)导入.导出 [独孤九剑]Oracl ...

随机推荐

  1. 图论---最小生成树----普利姆(Prim)算法

    普利姆(Prim)算法 1. 最小生成树(又名:最小权重生成树) 概念:将给出的所有点连接起来(即从一个点可到任意一个点),且连接路径之和最小的图叫最小生成树.最小生成树属于一种树形结构(树形结构是一 ...

  2. C++吃金币小游戏

    上图: 游戏规则:按A,D键向左和向右移动小棍子,$表示金币,0表示炸弹,吃到金币+10分,吃到炸弹就GAME OVER. 大体思路和打字游戏相同,都是使用数组,refresh和run函数进行,做了一 ...

  3. k8s garbage collector分析(2)-处理逻辑分析

    garbage collector介绍 Kubernetes garbage collector即垃圾收集器,存在于kube-controller-manger中,它负责回收kubernetes中的资 ...

  4. 大前端快闪:package.json文件知多少?

    最近在公司某项目参与了一些前端工作,作为后端抠脚大汉,改点前端细节磕磕绊绊,改点大前端.工程化.HTTP交互倒也还能做到柳暗花明. 于是打算用后端程序猿的视角记录一些{大前端}的知识快闪,也算是帮助读 ...

  5. Ubuntu怎么开启/关闭防火墙

    在Ubuntu中,使用sudo ufw status命令查看当前防火墙状态. 不活动,是关闭状态. 在Ubuntu中,使用sudo ufw enable命令来开启防火墙. 在Ubuntu中,使用sud ...

  6. 看完小白也会使用,Android投屏神器scrcpy详细教程

    楔子 做为一个软件测试工程师,在使用手机测试的时候,缺陷附件想附上截图.视频,需要从手机把图片.视频发送到拷贝或发送到电脑,非常麻烦. 所以想到使用投屏软件,把手机的屏幕投屏到电脑,便可以直接在电脑上 ...

  7. Modern PHP interface 接口

    The right way /dev/hell Code Response.php 接口 demo: modern-php/├── data│   └── stream.txt└── interfac ...

  8. [gdoi2018 day1]小学生图论题【分治NTT】

    正题 题目大意 一张随机的\(n\)个点的竞赛图,给出它的\(m\)条相互无交简单路径,求这张竞赛图的期望强联通分量个数. \(1\leq n,m\leq 10^5\) 解题思路 先考虑\(m=0\) ...

  9. P5137-polynomial【倍增】

    正题 题目链接:https://www.luogu.com.cn/problem/P5137 题目大意 \(T\)组数据给出\(n,a,b,p\)求 \[\left(\sum_{0=1}^na^ib^ ...

  10. 踩坑经验总结之go web开源库第一次编译构建

    前言:记录一个go新手第一次构建复杂开源库的经历.go虽然是新手,但是编程上还是有多年的经验,除了c/c++,用过IDEA能进行简单的java编程.甚至scala编程.所以最开始还是有点信心的.所以也 ...