强连通图

强连通图（Strongly Connected Graph）是指在有向图G中，如果对于每一对vi、vj，vi≠vj，从vi到vj和从vj到vi都存在路径，则称G是强连通图。有向图中的极大强连通子图称做有向图的强连通分量。定理：一个有向图是强连通的，当且仅当G中有一个回路，它至少包含每个节点一次。