一些tarjan有关环的问题

Posted on   Capterlliar  阅读(201)  评论(0编辑  收藏  举报

割点:删去这个点后整张图不再联通。

割边:删去这条边后整张图不再联通。

一棵树中删去任意一条边或一个点,整张图不再联通,因此树上的每个点和每条边都是割点(边)。

环里的点互相可以到达,如果只看连通性的话,可以把它们视作一点。如果将所有环缩成一个点,那么这张图会变成一棵树。

tarjan有关环的算法(这个人发明的算法太多了orz)可以在O(n)的时间复杂度里找出图里的所有环。由于图常常不连通,所以它一般是这么用的:

     for(int i=1;i<=n;i++){
            if(!dfn[i])
                tarjan(i);
        }

这里面数组的名字都挺好听的x

时间戳dfn:一个点第一次被到达时给的编号。

追溯值low:一个点能到达的最小编号。

如果一个点的追溯值小于它的时间戳,那么说明它是环的一部分;

现在想象一个递归,遍历完一个环,正在回溯。环中每个点low[now]<dfn[now],当退到一个点,low[now]==dfn[now],说明即将退出环。

如果有两部分,从一边到另一边一定要经过一个点,也就是dfn[now]<=low[to],那么这个点是割点;如果这个点是根,那么它要有两个子树才是割点。

如果只有一条边连接,dfn[now]<low[to],这条边是割边。

---------------------------分割线----------------------------------

现在来实现。对于有向图,按上面模拟即可。

无向图它有一条连向父亲的边,很麻烦。如果直接掠过连向父亲的边,会无法处理有重边的情况。所以将边成对存储,每次判断是否遍历了和它为一对的边。

无向图割点和割边:推荐读物(?)

推荐读物2

编辑推荐:
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
· Linux系列:如何用heaptrack跟踪.NET程序的非托管内存泄露
阅读排行:
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· AI 智能体引爆开源社区「GitHub 热点速览」
· 三行代码完成国际化适配,妙~啊~
· .NET Core 中如何实现缓存的预热?
点击右上角即可分享
微信分享提示