Kosaraju模板

角度洗

已于 2022-07-06 16:45:48 修改

阅读量165

点赞数 1

分类专栏：程序设计思维文章标签：深度优先算法图论

于 2022-07-03 12:18:30 首次发布

本文链接：https://blog.csdn.net/ykn37/article/details/125583151

版权

程序设计思维专栏收录该内容

55 篇文章 5 订阅

订阅专栏

Kosaraju

这是个用来求连通分量的算法

$[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-4psPXfsS-1656821811763)(C:\Users\YYYYYKN\AppData\Roaming\Typora\typora-user-images\image-20220611210325166.png)]$

使用两次dfs，第一次dfs在原图中进行遍历，可以确定dfs后序序列，从尾到头遍历就是dfs逆后序序列。第二次dfs按照逆后序序列在反图中进行遍历，这个时候能用dfs遍历到的就是强连通分量了。

int n;//点的个数
int vis[100000000] = {0};//记录点有没有被遍历过的数组
vector<vector<int>> yuantu,fantu;
int liantongfenliang[100000000];//初始化为-1，记录每个点所属的连通分量的序号
int liantongxuhao = 0;//记录连通分量的序号
int houxu[10000000] = {0};//dfs后序序列
int dfsn1 = 0;//为向dfs后序序列添加元素而设置的下标
void dfs1(int x)
{
     vis[x] = 1;
     for(int i = 0;i < yuantu[x].size();i ++)
          if(vis[yuantu[x][i]] == 0)
               dfs1(yuantu[x][i]);

     houxu[dfsn1 ++] = x;//这里是++dfsn还是dfsn++要看是点的下标从0还是-1开始
}

void dfs2(int x)
{
     liantongfenliang[x] = liantongxuhao;
     for(int i = 0;i < fantu[x].size();i ++)
          if(liantongfenliang[fantu[x][i]] == -1)
               dfs1(fantu[x][i]);
}

void kosaraju()
{
     for(int i = 1;i<=n;i ++)
          liantongxuhao = -1;
     //第一遍dfs
     for(int i = 1;i <= n;i ++)
     {
          if(vis[i] == 0)
               dfs1(i);
     }
          
     //第二遍dfs
     for(int i = n;i >= 1;i --)
     {
          if(liantongfenliang[houxu[i]] == -1)
          {
               liantongxuhao ++;//这样的话连通分量是从1开始的
               dfs2(houxu[i]);
          }
     }
}

接下来可以利用原图的点的那些边和那些点现在所属的连通分量来缩点，构建一个有向无环图

缩点后的去除重复边操作

$[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ff8XdLio-1656821811766)(C:\Users\YYYYYKN\AppData\Roaming\Typora\typora-user-images\image-20220502212122117.png)]$

STL中unique的函数的功能,是去除相邻的重复元素(只保留一个)，把重复的放到序列后面，返回的是不重复序列的最后一个数

这里复习一下vector的erase()

$[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-V38obg1w-1656821811769)(C:\Users\YYYYYKN\AppData\Roaming\Typora\typora-user-images\image-20220502212405759.png)]$