强连通分量（Strongly Connected Component），又称强连通分支，是图论中描述有向图顶点间双向可达性的核心概念。定义为有向图中满足任意两顶点均双向可达的极大子图，其最大特性是子图内不存在可扩展顶点而不破坏强连通性 。
该概念的算法实现主要包含Kosaraju、Tarjan两种经典方法。Kosaraju算法通过正反图两次深度优先遍历，利用拓扑序列特性确定分量；Tarjan算法基于深度优先搜索中的访问时间戳和回溯机制识别分量边界；在实际测试中，Tarjan算法的运行效率比Kosaraju算法高30%左右。Gabow算法则通过双栈结构优化Tarjan的标记过程。近期研究提出了基于顶点粒k步搜索和粗糙集的KGRSCC算法，以及基于顶点k步启发式搜索和粗糙集的KHRSCC算法等新的串行算法 。
算法理论基础形成于20世纪图论研究，Kosaraju算法和Tarjan算法（1972）则通过不同数据结构改进时间复杂度，逐步完善了强连通分量的计算体系。研究探讨了利用粗糙集等粒计算方法进行强连通分量挖掘 。
想要了解更多“强连通分量”的信息，请点击：强连通分量百科
