有符号有向图 (或简称 sidigraph) 由一对 S = ( D , σ ) 组成,其中 D = ( V , A ) 为基础有向图,σ : A →{ 1 , − 1 } 是有符号函数。带有 +1 ( − 1) 符号的弧称为 S 的正 (负) 弧。一般而言,S 的弧称为有符号弧。sidigraph 的符号定义为其弧符号的乘积。如果 sidigraph 的符号为正 (负),则称其为正 (负)。如果 sidigraph 的所有弧均为正 (负),则称其为全正 (全负)。如果 sidigraph 的每个环均为正,则称其为环平衡的,否则为非环平衡的。在本文中,我们假设环平衡(非环平衡)环为正(负)环,并用 C + n(C − n)表示,其中 n 是顶点数。对于有向图,我们用 uv 表示从顶点 u 到顶点 v 的弧。顶点集 { vi | i = 1 , 2 , ... , n } 和有符号弧集 { vivi + 1 | i = 1 , 2 , ... , n − 1 } 组成有向路径 P n 。顶点集 { vi | i = 1 , 2 , ... , n } 和有符号弧集 { vivi + 1 | i = 1 , 2 , ... , n − 1 } 组成有向路径 P n 。 , n − 1 } ∪{ vnv 1 } 组成一个有向圈 C n 。如果 sidigraph 的底层图是连通的,则该 sidigraph 是连通的。如果连通的 sidigraph 包含唯一的单个有向圈,则它是单环 sidigraph。如果连通的 sidigraph 恰好包含两个单个有向圈,则它是双环 sidigraph。我们考虑具有 n ( n ≥ 4) 个顶点的双环有符号有向图类 S n ,它的两个有符号有向偶圈是顶点不相交的。对于 sidigraph S = ( D , σ ),如果它有一条从 u 到 v 的有向路径和一条从 v 到 u 的有向路径,其中 ∀ u , v ∈V ,那么它是强连通的。S 的最大强连通子图称为 sidigraph S 的强组件。