第七章特殊图资料.ppt

第七章 特殊图;引 言;7.1 欧拉图; 针对哥尼斯堡城的地理情况，有人提出了这样一个问题：能否从该城的某片陆地开始行走，要求不重复地通过每座桥一次，最后刚好回到出发点？显然，要解决这个问题，若问题有解，就必须确切指出一条满足要求的行走路线来，否则则要严格地证明这样的路线不存在。最终，这个问题被瑞典数学家欧拉（L.Euler）于1736年解决了。在他的著名的论文“哥尼斯堡七桥问题”中，把每片陆地抽象成一个点，每座桥抽象成一条边，得到上图（右）。由此，哥尼斯堡七桥问题就变为上图（右）中是否存在从一个点出发，不重复地经过每条边一次，最终回到出发点的回路的问题。 ; 除了哥尼斯堡七桥问题以外，还有许多问题，它们都可以抽象为判断一个图中是否存在不重复地经过每条边的的回路（通路）的问题。例如，一笔画问题，路线考察问题，最优化问题等都具有与哥尼斯堡七桥问题相类似的特点。这些特点，可以利用下面的定义来描述。 二、定义 1.欧拉通路：不重复地经过其中每条边的通路的图。 2.欧拉回路：不重复地经过每条边的回路的图。 3.半欧拉图：存在欧拉通路的图。 4.欧拉图：存在欧拉回路的图。 显然，欧拉图必然是半欧拉图，但半欧拉图不一定是欧拉图。 例如， 在下图中，（1）不是欧拉图，但是是半欧拉图；（2）和（3）既是欧拉图，也是半欧拉图；（4）既不是欧拉图，也不是半欧拉图。 ;; 对于有向欧拉图的判定，也有类似定理1的结论。 定理2 对任何有向图G=V，E，有： （1）G是欧拉图，当且仅当它是弱连通的，而且其中每个结点的入度和出度都相同； （2）G是半欧拉图但不是欧拉图，当且仅当它是弱连通的，而且其中只有两个结点的入度与出度不同，同时在这两个结点中，一个结点的入度比出度大1，另一个结点的入度比出度小1。 例如，在下图中，（2）和（4）是欧拉图，（1）是半欧拉图，（3）既不是欧拉图，也不是半欧拉图。 （1） （2） （3） （4） ;7.2 哈密尔顿图;二、定义 1. 哈密尔顿通路：不重复地经过图中每个结点的通路。 2. 哈密尔顿回路：不重复地经过图中每个结点的回路。 3. 哈密尔顿图：含有哈密尔顿回路的图。 4. 半哈密尔顿图：含有哈密尔顿通路的图。 由于平行边和环的存在与否均不影响图中是否存在哈密尔顿回路（通路），而且非连通的无向图中必不存在哈密尔顿回路（通路），所以只须考虑简单连通图。 ; 三、判定问题 虽然哈密尔顿图看起来与欧拉图很类似，但判断一个图是否是哈密尔顿图比判断是否是欧拉图要困难得多。 事实上，到目前为止，还没有找到一个简明的条件作为一个图是哈密尔顿图的充分必要条件， 寻找这种条件是图论中尚未解决的主要问题之一。 虽然如此，目前还是得到了一些充分条件和一些必要条件，下面对它们作简单介绍。 1. 必要条件 定理1 若无向图G=V，E是哈密尔顿图，则对V的任意非空子集V1 ，都有 P(G - V1) ≤ ∣V1∣ 其中，p(G - V1) 是从G中删除V1中的所有结点后，剩下的图G - V1的连通分支数。 定理1给出了哈密尔顿图的一个必要条件，但它不是哈密尔顿图充分条件，我们常用它来判定一个图不是哈密尔顿图。;例. 在下图中，在(1)中令V1={1,7}，删除V1中的两个结点后得图(4)；此时，由于∣V1∣= 2，p(G - V1) =3， p(G - V1) ≤∣V1∣不成立，故(1)不是哈密尔顿图。 在(2)中令V1={2}，删除V1中的一个结点后得图(5)；由于∣V1∣=1， p(G - V1) =2，显然 p(G - V1) ≤ ∣V1∣不成立，故(2)不是哈密尔顿图。 (3)图称为彼得森图。不难看出，删除其中任意一个或两个结点，剩下的图仍连通；删除任意三个结点后，剩下的图至多被分成两个分支；删除任意四个结点后，剩下的图至多被分成三个分支；删除五个以上的结点后，剩下的图的结点数将小于等于5，其连通分支数自然不会超过5。所以，对彼得森图G=V, E 来说，对V的任意非空子集V1 ，都有p(G - V1) ≤∣V1∣，定理1的条件是满足的。但是，彼得森图是一个典型的非哈密尔顿图（用穷举法可证明其中不存在哈密尔顿回路）。;; 利用哈密尔顿图的概念和