性质 对于任意的点双连通图,若一点在某个“点奇环”上,则该图中每一个点都必然在某一个“点奇环”上(不一定是同一个);同理,边双连通图和“边奇环”也有相似的关系。
证明 在此证明关于点双连通图的结论,边双联通图同理。由于有一个点在奇环上,可以知道该奇环上的任意一个点到该奇环上的另一个点必然有两条路径,其中一条经过奇数个点,另一条经过偶数个点。对于该环外的任意一点 t t t,和该环上的任意两点 u u u和 v v v,必然有 t − u t-u t−u和 t − v t-v t−v的点不重复路径,于是这两条路径与大环的一部分构成一个奇环,因此 t t t必然在奇环上。
注: 点奇环的定义是,从一个点出发,经过奇数个点(算上起点)后回到自己(不算终点),且不经过重复的点,则路径上所有的点构成一个点奇环。边奇环则指经过奇数条边。