概念。图论中，强连通图指每一个顶点皆可以经由该图上的边抵达其他的每一个点的有向图。意即对于此图上每一个点对(V,V)，皆存在路径V→V以及V→V。强连通元件则是指一张有向图G的极大强连通子图G'。如果将每一个强连通元件缩成一个点，则原图G将会变成一张有向无环图。一张图被称为有向无环图若且唯若此图不具有点集合数量大于一的强连通分量，因为有向环即是一个强连通元件，而且任何的强连通元件皆具有至少一个有向环。Kosaraju算法、Tarjan算法、皆为寻找有向图强连通元件的有效算法。但是由于在Tarjan算法和