离散数学第7章选编.ppt

b)画一个有一条欧拉回路，但没有一条汉密尔顿回路的图。 c)画一个没有一条欧拉回路，但有一条汉密尔顿回路的图。 311页（2）构造一个欧拉图，其结点数v和边数e满足下述条件 a)v，e的奇偶性一样。 b) v，e的奇偶性相反。 如果不可能，说明原因。 v=3,e=3 v=5,e=5 v=4,e=4 v=4,e=6 v=7,e=8 v=6,e=7 无向图G具有一条欧拉回路，当且仅当G是连通的，并且所有结点度数全为偶数。下面的图中所有结点度数全为偶数，所以都是欧拉图。 5.定义7-4.2：给定有向图G，通过图中每边一次且仅一次的一条单向路（回路），称作单向欧拉路（回路）。 可以将欧拉路和欧拉回路的概念推广到有向图中。 6.定理7-4.2 有向图G为具有一条单向欧拉回路，当且仅当G连通，并且每个结点的入度等于出度。有向图G有单向欧拉路，当且仅当G连通，并且恰有两个结点的入度与出度不等，它们中一个的出度比入度多1，另一个入度比出度多1。 证明思路与定理7-4.1类似 §4欧拉图和汉密尔顿图 《定理》：设G是一连通有向图，则 当且仅当G中每一个结点的 ＝ ，G才有欧拉循环； 当且仅当除了二个结点（其中一个的引入次数比引出次数大１，另一个的引入次数比引出次数小１）以外的所有结点的 ＝ ，则图G才有欧拉路径。 §4欧拉图和汉密尔顿图 汉密尔顿路径：穿程无向图的每一个结点一次且仅一次的路径。 汉密尔顿循环：穿程无向图的每一个结点一次且仅一次的循环。 汉密尔顿图：具有汉密尔顿循环的图。 到目前为止，还没有找到哈密尔顿路径存在的充分必要条件。下面介绍两个定理。 §4欧拉图和汉密尔顿图 《定理》：设Ｇ＝＜Ｖ，Ｅ＞是具有n 个结点的简单无向图，若在G中每对结点次数之和大于或等于(n-1)，则在G中一定存在一条汉密尔顿路径。 实际上，此定理只是充分条件，而不是充分必要条件。 例：ｎ＝７，Ｇ＝＜Ｖ，Ｅ＞见图： 每对结点次数为４７－１＝６， 但确有一条汉密尔顿路径。 §4欧拉图和汉密尔顿图 《定理》：若图G=V,E具有汉密尔顿循环，则对于结点集V的每个非空子集S均有W(G－S)≤|S|成立。 讨论： (1)W(G－S)为从G中删除S后，所得图的连通分支数。 (2)该定理给出的条件是哈密尔顿图的必要条件。 例： * 1) internet is not the only case, of course, complex networks can be found almost in all areas of nature. 2) Compare the structure of the WWW network with a cristal lattice for example. * 1) It is evident that network structure brings a whole new dimension... so how to study properties of network structure?! 例：写出如图7-3.11所示的图G的完全关联矩阵，并验证其秩如定理7-3.2所述。 e1 e2 e3 e4 e5 e6 e7 e8 e9 A 1 0 0 0 0 1 0 1 0 B 0 1 1 0 0 0 1 0 0 C 0 0 0 1 1 0 0 1 0 D 1 1 0 0 0 0 0 0 1 E 0 0 0 0 1 1 1 0 0 F 0 0 1 1 0 0 0 0 1 完全关联矩阵为: 此图为连通图，由定理其秩为5。 §4 欧拉图和汉密尔顿图 2.定理7-4.1 无向图G具有一条欧拉路，当且仅当G连通，并且有零个或两个奇数度结点。 1.定义7-4.1 如果无孤立结点图G上有一条经过G的所有边一次且仅一次的路径，则称该路径为图G的欧拉路径（Euler walk）。如果图G上有一条经过G边一次且仅一次的的回路，则称该回路为图G的欧拉回路，具有欧拉回路的图称为欧拉图（Euler graph）。 由于有了欧拉路和欧拉回路的判别准则，因此哥尼斯堡七桥问题立即有了确切的否定答案，因为从图中可以看到deg(A)＝5，deg(B)＝deg(C)＝deg(D)=3，故欧拉回路必不存在。 3.定理7-4.1的推论 无向图G具有一条欧拉路，当且仅当G连通且所有结点度数皆为偶数。 例：用定理解决哥尼斯堡桥的问题　 一笔画问题 要判定一个图G是否可一笔画出，有两种情况： 一是从图G中某一结点出发，经过图G的每一边一次仅一次