连通空间
定义拓扑空间X称为是连通的。当且仅当以下叙述之一成立：X不能表示为两个不相交的非空开集的并集。∀A⊆X，A≠X或∅，A∩(X-A)≠∅。一个拓扑空间被称为是不连通的，若它不是连通的。连通性是拓扑空间的一个拓扑不变性质，即两个拓扑空间之间若存在一个同胚映射，其中一个空间是连通的，则另一个空间也是连通的。一些数学家承认空集(按照它独有的拓扑)是连通空间，不过也有数学家不承认这一点。连通单元每个空间都能表成它的连通单元的不相交并集。连通单元必然是闭的，在够好的空间（如流形、代数簇）上也同时是开的，但并非总是如此。其它连通性定义道路连通，弧连通R²的这个子空间是道路连通的，因为在这个空间的任何两点之间可绘制一个道路。道路连通空间是连通空间，反之不一定。道路连通的豪斯多夫空间必为弧连通空间。局部连通拓扑空间X称为局部连通的，当且仅当以下叙述之一成立：空间中的任一点都存在连通的邻域（即该邻域是X的连通...
强连通分量
参见Tarjan算法参考Aspvall,Bengt;Plass,MichaelF.;Tarjan,RobertE.,Alinear-timealgorithmfortestingthetruthofcertainquantifiedbooleanformulas,InformationProcessingLetters,1979,8(3):121–123,doi:10.1016/0020-0190(79)90002-4.ThomasH.Cormen,CharlesE.Leiserson,RonaldL.Rivest,andCliffordStein.IntroductiontoAlgorithms,SecondEdition.MITPressandMcGraw-Hill,2001.ISBN0-262-03293-7.Section22.5,pp.552–557.
