图论学习笔记（二） 欧拉图和哈密尔顿图

前言：参考教材：《集合论与图论》第三版 屈婉玲，刘捍贫，刘田

第八章 欧拉图和哈密尔顿图

8.1 欧拉图

欧拉通路/回路：通过图中所有边恰好一次的并且行遍所有顶点的通路/回路

欧拉图/半欧拉图：具有欧拉回路/不具有欧拉回路但具有欧拉通路的图

Theorem：（无向欧拉图的判定）如果G是无向连通图，则以下三个命题等价：（1）G是欧拉图（2）G中所有顶点的度数均为偶数（3）G是若干个边不重的圈的并

Theorem：（有向欧拉图的判定）如果D是有向连通图，则以下三个命题等价：（1）D是欧拉图（2）任意v∈V(D)，d+(v)=d-(v)（3）D 为若干个边不重的有向初级回路的并

Theorem：（无向半欧拉图的判定）无向连通图G是半欧拉图当且仅当G中恰好有两个奇度顶点

Theorem：（有向半欧拉图的判定）有向连通图D是半欧拉图当且仅当D中恰好有两个奇度顶点，且一个出度比入度大1，一个入度比出度大1

Proof：对边数进行归纳，把图中的所有圈连接起来

Algorithm：