对于S与T,显然，vnS:T 所以：S;T<n 另一方面：可以证明：S4T=Φ 否则，设 ,∈S4T 那么，由 y,∈S有Vy1∈E(G) 由 ,∈T有vny,∈E(G) Vi+l Vn-l 这样在G中有H圈，与假设矛盾！ 140.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 14 对于S与T, 显然， 另一方面：可以证明： n v ST  U S T I   所以： ST n U  否则，设 i v ST  I 那么，由 +1 ( ) i i v S v EG   有 v1 由 ( ) i i v T v EG   有 vn v vn n-1 v1 v2 v3 vi vi+1 P 这样在G中有H圈，与假设矛盾！