定义
欧拉回路:从图上一个点u出发不重复地经过每一条边后,再次回到点u的一条路径。
欧拉路径:从图上一个点u出发不重复地经过每一条边的一条路径(不必回到点u)。
欧拉图即存在欧拉回路的图,半欧拉图即存在欧拉路径的图。
而要求每个点只走一次的模型是哈密顿环。
定理
(1)无向图欧拉回路的判定:图G为连通图,所有顶点的度为偶数。
(2)无向图欧拉路径的判定:图G为连通图,除有2个顶点度为奇数外,其他顶点度都为偶数。
(3)有向图欧拉回路的判定:图G的基图联通(忽略有向图所有边的方向),所有顶点的入度等于出度。
(4)有向图欧拉路径的判定:图G的基图联通,存在顶点u的入度比出度小1,v入度比出度大一,其余所有顶点的入度等于出度。(此时u即路径的起点,v即终点)
其他定理
(5)无向图为(半)欧拉图时,只需用1笔画成;无向图为非(半)欧拉图时,即奇点(度为奇数的点)数k>2&