图论 欧拉图与哈密顿图10 12.pptxVIP

上次课主要内容： 图的矩阵表示 1）无向图的关联矩阵 设无向图G＝V，E，V＝{v1,v2,…，vn}。E={e1,e2,e3，…em}令mij为顶点vi与边ej的关联次数，则称(mij)nxm为G的关联矩阵，记作 M(G)． 性质：M(G)每列元素之和均为2 M(G)第i行元素之和为结点vi的度数，i＝1，2，…n 所有行的和（即矩阵所有元素之和）等于边数的2倍 第j列与第k列相同，当且仅当边ej与ek是平行边． 某行i的和为0（即 ∑mij = 0）,当且仅当vi是孤立点 有向图的关联矩阵 设有向图D＝V，E中无环，用mij 为1、 －1 、 0来表示vi是ej边的起点、终点、不交 则称(mij)nxm，为D的关联矩阵，记作M(D） ;性质：∑mij= 0，j＝1，2，…，m， M(D)中负1的个数等于正1的个数，都等于边数m 平行边所对应的列相同 2）有向图的邻接矩阵 令aij为顶点vi邻接到顶点vj边的条数，称(aij)nxn为D的邻接矩阵，记作A(D) 性质：每列元素之和为结点的入度 每行元素之和为结点的出度，所有行的和也等于边数 邻接矩阵中元素 aij 反映了有向图中结点vi到vj通路长度为1的条数 主对角线上元素反映了有向图中结点到自身的环（回路）的条数 A(D)中所有元素之和为D中长度为1的通路总条数 A2中的元素值bij是结点vi到vj长度为2 的通路条数： A3矩阵中的Cij元素值，表示了vi到vj长度为3 的通路条数。 A的L次幂AL(L≥1)中元素cij为D中vi到vj长度为L的通路数 其中cii为vi到自身长度为L的回路数 BL＝A + A2十…+AL (L≥1)， 则BL中元素 bij为D中长度小于或等于L的通路数， 其中主对角线上元素值为D中长度小于或等于L的回路数;欧拉(Leonhard Euler，瑞士数学家）于一七三六年，证明了一个定理，并且用这个定理解决了该问题：证明了这是件不可能的事，从而奠定了图论和拓扑学的基础。 结点表示陆地，无向边表示桥 每座桥仅穿行一次且必穿行一次的问题等价于在图中的无向图中找到一条路径，它穿程每条边一次且仅一次。 ;第十五章 欧拉图与哈密顿图 一、欧拉图 1、定义：给定一个无向图G=V，E。 (a)穿程图G中的每条边一次且仅一次的通路，定义为该图G的欧拉通路。 (b)穿程图G中的每条边一次且仅一次的回路，定义为该图G的欧拉回路。 (c)具有欧拉回路的图，称为欧拉图 具有欧拉通路而无欧拉回路的图称为半欧拉图 2、性质 每一个欧拉图都必定是个连通无向图;现在返回到哥尼斯堡桥问题： 无向多重边图G是否是一个欧拉图? 在此无向多重边图中因为没有任何结点拥有偶次数，因此答案是否定的 例：对于完全图Kn，当n为何值时为欧拉图？ Kn的每个结点的度为n-1;对于有向图来说也有相应的论： 定理15．3 设D是欧拉图当且仅当D是强连通的且每个结点的入度都等于出度。;在图论的理论和应用当中，经常提出的另外一个问题是： 在一个给定的无向图G中，能否找到一个初级回路，它穿程图G中的每个结点都仅仅一次？ 哈密顿(William Hailton，爱尔兰数学家，1805～1865)在研究数学游戏“周游世界”时，首先提出了这个问题。后来，这个问题变成了图论中的一个基本问题，吸引了许多人进行深入研究。;判定哈密顿图、半哈密顿图的充分条件： 定理15.7 设G是n阶无向简单图，若对于G中任意不相邻的结点u，v均有 d(u)+d(v)=n-1 则G中存在哈密顿通路 推论 设G是n（≥3)阶无向简单图，若对于G中任意不相邻的结点u，v均有 d(u)+d(v)=n 则G中存在哈密顿回路 由此结论来讨论Kn，当n为何值时Kn为哈密顿图？ 既为哈密顿图又是欧拉图？ 必要条件： 定理15.6 无向图G是哈密顿图，则对于任意V1? V 且 V1 ≠ φ 均有 p(G-V1)≤ |V1| （p(G)为图G的连通分支数） 定理15.8 设u,v为n阶无向简单图G中两个不相邻的结点，且d(u)+d(v)=n则G为哈