左孝凌离散数学课件7.4.pptxVIP

7.4 欧拉图与汉密尔顿图 1 欧拉图定义7-4.1 ：给定无孤立结点图G，若存在一条路，经过图中每边一次且仅一次，该条路称为欧拉路；若存在一条回路，经过图中每边一次且仅一次，该回路称为欧拉回路。具有欧拉回路的图称作欧拉图。7.4 欧拉图与汉密尔顿图2 定理7-4.1 无向图G具有一条欧拉路，当且仅当G是连通的，且有零个或两个奇数度结点。证明1) 先证必要性: G有欧拉路 ? G连通 且（有0个 或 2个奇数度结点） 设G的欧拉路是点边序列v0e1v1e2… ekvk，其中结点可能重复，但边不重复。因欧拉路经过（所有边?）所有结点，所以图G是连通的。 对于任一非端点结点vi，在欧拉路中每当vi出现依次，必关联两条边，故vi虽可重复出现，但是deg(vi)必是偶数。对于端点,若v0=vk ，则deg(v0)必是偶数，即G中无奇数度结点 。若v0≠vk ，则deg(v0)必是奇数， deg(vk)必是奇数,即G中有两个奇数度结点 。必要性证完。 7.4 欧拉图与汉密尔顿图2)再证充分性:(证明过程给出了一种构造方法) G连通且（有0个 或 2个奇数度结点）? G有欧拉路 (1)若有 2个奇数度结点,则从其中一个结点开始构造一条迹,即从v0出发经关联边e1进入v1,若deg(v1)为偶数,则必可由v1再经关联边e2进入v2,如此下去,每边仅取一次,由于G是连通的,故必可到达另一奇数