离散数学 p313 所有顶点都是偶度数的连通图有欧拉回路 证明

假设有连通图的每一个节点都是偶度数，却没有欧拉回路。选择其中边数最小的一个。显然G的顶点数大于1，否则只有一个偶度数顶点的图显然是有欧拉回路的。

       我们先证明G一定有最少一个回路。假如v是G中一个固定的顶点，则由于G是连通的而且有多于一个的顶点，所以一定有一条边在v与其它顶点之间。这是长度为1的简单路径。因此简单路径存在。令π₀是G中一条尽可能长的简单路径，其顶点队列为：v_{1 ,}v₂,v_s.既然v_s 有偶度数且只在其中出现一次，我们可以利用其其他边来构造一条比π₀长的路径，这与π₀最长矛盾。所以命题得证。

       既然G必有环，选择G中最长的环。既然其没有欧拉回路，所以π没有通过所有顶点。将G中 删掉所有π中的边（不删顶点），得到的图记为G₁。然后π是一个回路，删掉π的边之后会让每个顶点度数仍然为偶数。选择G₁中最大的连通部分记作G₂。因为G₂有比G更少的边，所以（因为G被选择的方式），G₂一定会有欧拉回路π¹。（书中原文为欧拉道路应该有误不然下一段中和π连接不一定构造得出一个回路，应为欧拉回路。因为如果G₂没有欧拉回路则G₂是边数最少的，顶点都是偶度数却没有欧拉回路的连通图，但是G₂比G变数少，则G不是边数最少的，所以题设出错，不合题意。）

       如果π¹通过G中所有的顶点，则π和π¹当然有相同的边。不然的话，G中一定会有一条边e连接π和π¹中的顶点分别记为v，v₁。否则的话，我们不能连接π中的顶点与G中不在π中的点即G不连通。既然e不在π¹中，他一定是在G₁生成时被删除，所以在π里。然后v₁也在π的顶点队列中。所以在任何情况下π和π¹都有一个相同的顶点v₁。所以我们可以通过用v₁连接π和π¹构造一个回路比π长。

                      

参考《Discrete Mathematical Structures》高等教育出版社