連通分量有限無向簡單圖中，由存在路徑所定義的頂點等價類恰為連通分量。atlas-connected-component · canonical_mko連通分量前置節點圖walk與simple path等價關係有限簡單無向圖