强连通分量

✍ dations ◷ 2025-08-16 22:25:27 #强连通分量

强连通分量（英语：Strongly connected component）是图论中的概念。图论中，强连通图指每一个顶点皆可以经由该图上的边抵达其他的每一个点的有向图。意即对于此图上每一个点对(V_a,V_b)，皆存在路径V_a→V_b以及V_b→V_a。强连通分量则是指一张有向图G的极大强连通子图G'。如果将每一个强连通分量缩成一个点，则原图G将会变成一张有向无环图。一张图被称为有向无环图当且仅当此图不具有点集合数量大于一的强连通分量，因为有向环即是一个强连通分量，而且任何的强连通分量皆具有至少一个有向环。

Kosaraju算法、Tarjan算法、Gabow算法（英语：Gabow's algorithm）皆为寻找有向图强连通分量的有效算法。但是由于在Tarjan算法和Gabow算法的过程中，只需要进行一次的深度优先搜索，因而相对Kosaraju算法较有效率。

另一类常用的算法是基于连通性查询的分支算法实现。在串行的情况下算法的复杂度为O( log )，但是却可以达到很好的并行性。Blelloch等人证明了此算法在最坏情况下依然有很高的并行度（算法的span（英语：Analysis of parallel algorithms）仅为 log₂ 次查询）。

寻找强连通分量的算法，也可以用来解2-SAT（英语：2-satisfiability）（2-satisfiability）问题。Aspvall，Plass & Tarjan (1979)

根据Robbins理论（英语：Robbins' theorem），当一个无向图为双连接图时，也会形成强连通。

相关

J01A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01（抗菌药）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The WHO Collaboratin
正回馈正反馈（英语：positive feedback），是反馈的一种。是指一系统的输出影响到输入，使得输出变动后会影响到输入，造成输出变动持续加大的情形；同理，如果输出变动持续减少，就称为负反馈。简
荷兰战役德军决定性胜利2,332人死亡 7,000人受伤荷兰战役（荷兰语：Slag om Nederland）是黄色方案（德语：Fall Gelb）的一部分，德军在1940年5月10日采取入侵低地三国和法国的军事行动。荷兰的主
刘天华刘天华（1895年2月4日－1932年6月8日），原名刘寿椿，江苏江阴南沙镇马桥村殷家埭（今属苏州市张家港市）人，中国近代作曲家、演奏家及音乐教育家。清末秀才刘宝珊之子，诗人刘半农之弟，音乐家
戴维·赖斯·艾奇逊大卫·赖斯·艾奇逊（David Rice Atchison，1807年8月11日－1886年1月26日），美国政治家，在1849年3月4日一般被认为在第11任总统詹姆斯·诺克斯·波尔克（James Knox Polk）卸任后，代理了一
拉米雷斯 (加利福尼亚州)拉米雷斯（英语：Ramirez）是位于美国加利福尼亚州尤巴县的一个非建制地区。该地的面积和人口皆未知。拉米雷斯的座标为39°16′03″N 121°32′20″W / 39.26750°N 121.53889°W
派特·巴克派特·巴克（英语：Pat Barker, 1943年5月8日－）是一位英国作家和小说家。1943年出生于英国提斯河畔索纳比，1965年毕业于伦敦政治经济学院。她赢得了许多奖项，主题以记忆，创伤，生存和复
韩翃韩翃（？－？），字君平，唐朝南阳人，诗人，大历十才子之一。天宝十三载（754年）进士。肃宗宝应元年（762年）淄青节度使侯希逸聘为其幕中从事。后又佐李希烈、李勉等节度使幕。建中初年（780年），德宗亲
民众之家坐标：50°50′29″N 4°21′10″E / 50.84128°N 4.352675°E / 50.84128; 4.352675民众之家（法语：Maison du Peuple ，德语：Volkshuis）原位于布鲁塞尔，为比利时建筑师维克多·奥塔
罗伯特·吉斯卡尔罗伯特·吉斯卡尔（英语：Robert Guiscard，约1015年－1085年7月17日），又称狡诈者罗伯特（“吉斯卡尔”在法文意指狡诈的“Tricky”），是一位诺曼人冒险家，因征服南意大利而著名。他从法国的诺曼底来到意大利，跟随较早来闯荡的欧特维尔族人在那不勒斯攻城掠地。他和弟弟鲁杰罗从家族基地的普利亚（Apulia）向外扩张，接连攻下卡拉布里亚、巴里和大半的西西里岛，几乎统一意大利南部。他先后担任普利亚伯爵和卡拉布里亚伯爵（英语：List of Counts of Apulia and Calab