第4篇图论ch12图ch13特殊图ch14图论在计算机科学中的应用分析.ppt

11-2哈密尔顿图 定义11-2.1 给定图G，若存在一条路经过图中的每个结点恰好一次，这条路称作哈密尔顿路(Hamilton walk)。若存在一条回路经过图中的每个结点恰好一次 ，称作哈密尔顿回路，具有哈密尔顿回路的图称为哈密尔顿图（ Hamilton graph）。 2)再证充分性:(证明过程给出了一种构造方法) G连通且（有0个 或 2个奇数度结点）? G有欧拉路 (1)若有 2个奇数度结点,则从其中一个结点开始构造一条迹,即从v0出发经关联边e1进入v1,若deg(v1)为偶数,则必可由v1再经关联边e2进入v2,如此下去,每边仅取一次,由于G是连通的,故必可到达另一奇数度结点停下,得到一条迹L1:v0e1v1e2… ekvk。若G中没有奇数度结点,则从任一结点v0出发,用上述方法必可回到结点v0,得到一条闭迹。 (2) 若L1通过了G的所有边, L1就是一条欧拉路。 (3) 若G中去掉后得到子图G’,则G’中每个结点度数都为偶数,因为原来的图G是连通的,故L1与G’至少有一个结点vi重合,在G’中由vi出发重复(1)的方法,得到闭迹L2。 (4)当L1与L2组合,若恰是G,得欧拉路,否则重复(3),可得闭迹L3,依此类推可得一条欧拉路。充分性证完 ? 定理13-1.1的推论 无向图G具有一条欧拉路，当且仅当G连通且所有结点度数皆为偶数。 定理11-1.2 有向图G为具有一条单向欧拉回路，当且仅当G连通，并且每个结点的入度等于出度。有向图G有单向欧拉路，当且仅当G连通，并且恰有两个结点的入度与出度不等，它们中一个的出度比入度多1，另一个入度比出度多1。 证明思路与定理7-4.1类似 定义11-1.2 给定有向图G，经过G的所有边一次且仅一次的单向路，称为图G的欧拉路（Euler walk）。经过G边一次且仅一次的的回路，称为图G的欧拉回路，具有欧拉回路的图称为欧拉图（Euler graph）。 由七桥问题引申出的一笔画问题见 P-303页的例子。 例1有向欧拉图应用示例：计算机鼓轮的设计。 鼓轮表面分成24=16等份，4个触点a,b,c,d读出1101(状态图中的边e13),转一角度后将读出1010 (边e10)。 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 a b c d 010 101 110 100 011 001 111 000 e10=1010 e13=1101 e5=0101 e3=0011 e11=1011 e6=0110 e7=0111 e14=1110 e15=1111 e12=1100 e2=0010 e4=0100 e1=0001 e8=1000 e9=1001 e0=0000 a1 a2 a3 (=000) 0 a1 a2 a3 (=000) 1 a1 a2 a3 (=001) 1 a1 a2 a3 (=100) 0 a1 a2 a3 (=111) 0 a1 a2 a3 (=111) 1 a1 a2 a3 (=110) 0 a1 a2 a3 (=011) 1 上述结论可推广到鼓轮具有n个触点的情况。构造2n-1 个结点的有向图，每个结点标记为n-1位二进制数,从接出发,有一条终点为a2a3...an-10的边,该变记为a1a2a3...an-10；还有一条标记为a2a3...an-11的边,该边记为a1a2a3...an-11 。邻接边的标记规则为：“第一条边后n-1位与第二条边前n-1位二进制数相同”。 所求的欧拉回路为： e0e1e2e4e9e3e6e13e10e5e11e7e16e14e12e8(e0) （从图示位置开始） e13e10e5e11e7e16e14e12e8e0e1e2e4e9e3e6 (e13) 所求的二进制序列为： 0000100110101111 (0) 1101011110000100 (1) （从图示位置开始） 定理11-2.2 若图G=V,E具有哈密尔顿回路，则对于结点集V的每个非空子集S均有W(G-S)≤|S|成立。其中W(G-S)是G-S中连通分支数。 ?证明思路:回路C删1个结点变成路，但仍连通,删2个结点最多最多增加1个分支(删端点处的结点不增加分支),依此类推。所以,增加的分支数不大于删除的结点数|S|。 ? 该定理用于证明某些图不是哈密尔顿图。 定理11-2.3 设图G具有n个结点的简单图,如果G中每一对结点度数之和大于等于