第四部分图论.pptVIP

4.1.5 图的运算 定义14.28 定义14.29 如书P290页 4.2.3 带权图与货郎担问题 定义15.3 给定图G＝V，E（G为有向图或无向图），设W：E→R（R为实数集），对G中任意的边e＝（vi，vj）（或vi，vj），设W（e）＝wij，称实数wij为边e上的权，并将wij标注在边e上，称G为带权图，此时常将带权图G记做V，E，W。设G‘是G子集，称∑W（e）为G’的权，并记做W（G‘），即W（G‘）＝∑W（e）。 推论1 设G为n阶m条边的无向连通图，则m≥n－1。 推论2 设G是n阶m条边的无向连通图，T为G的生成树，则T的余树中含有m－n＋1条边（即T有m－n＋1条弦）。 定义16.3 设T是n阶m条边的无向连通图G的一棵生成树，设e‘1，e’2，…，e‘m－n＋1为T的弦，设Cr为T添加弦e’r产生的G中只含弦e‘r，其余边均为树枝的圈，称Cr为G的对应T的弦e’r的基本回路或基本圈，r＝1，2，…，m－n＋1。并称{C1，C2，…，Cm－n+1}为G对应T的基本回路系统，称m－n＋1为G的圈轶，记做 。 定理16.5 设T是连通图G的一棵生成树，e为T的树枝，则G中存在只含树枝e，其余边都是弦的割集，且不同的树枝对应的割集也不同。 Huffman树应用 不等长编码 若{A,B,C,…,H}出现频率不一样,则出现频率高的用短码字 例: A,B,C,D,E,F,G,H, 编码为 0,1,00,01,10,11,000,001. 若收到000111, 不能唯一解码: GFB, CDF, AHF,…等. 原因: 码字互为前缀,如00是001的前缀 如何生成二元前缀码？？ 例:{A,B,C,D}编码为 {00,010,011,1} 收到000111,译为 ACD 问题：已知中序和后序能否唯一的确定一颗二叉树？已知先序和后序呢？ 4.2 欧拉图与哈密顿图 定义15.1 给定无孤立结点图G，如果图中存在一条通过图中各边一次且仅一次的回路，则称此回路为欧拉回路，具有欧拉回路的图，称为欧拉图。如果图中存在一条通过图中各边一次且仅一次的通路，则称此通路为欧拉通路，具有欧拉通路而无欧拉回路的图，称为半欧拉图。 如图15.1 定理15.1 无向图G是欧拉图当且仅当G是连通图。且图中没有奇度顶点，即各点的度数为偶数。 定理15.2 无向图G是半欧拉图当且仅当图G是连通的，且G中恰有两个奇度顶点。 如下图： 定理15.3 有向图D是欧拉图当且仅当D是连通的，且图中每个顶点的入度和出度相等。 定理15.4 有向图D是半欧拉图当且仅当D是单向连通的，且D中恰有两个奇度顶点，其中一个顶点的入度比它的出度多1，另一个顶点的出度比它的入度多1，而其他结点的入度和出度相等。 定理15.5 G是非平凡的欧拉图当且仅当G是连通的且为若干个边不重的圈的并。 Fleury算法 4.2.2 哈密顿图 定义15.2 经过图（有向图或无向图）中所有顶点一次且仅一次的通路称为哈密顿通路。经过图中所有顶点一次且仅一次的回路称为哈密顿回路。具有哈密顿回路的图称为哈密顿图，具有哈密顿通路但不具有哈密顿回路的图称为半哈密顿图，平凡图是哈密顿图。 如图15.6 P300 定理15.6 设无向图G=V，E是哈密尔顿图，则对于结点集V的每个非空子集V1，都有p（G-V1）≤|V1|成立，其中p（G-V1）是G-V1中的连通分支数。 推论 设无向图G=V，E是半哈密尔顿图，则对于结点集V的每个非空子集V1，都有p（G-V1）≤|V1|＋1成立。 如例15.4 定理15.7 设图G是具有n个结点（v1，v2，…，vn）的无向简单图，如果图G中任意两个不相邻结点均有 d (vi)+d (vj)≥n-1 则图G具有哈密尔顿通路，即G是半哈密尔顿图。 推论 设G为n（n≥3）阶无向简单图，若对于G中任意两个不相邻的顶点均有 d (vi)+d (vj)≥n 则图G中存在哈密顿回路，即G为哈密顿图。 定理15.9 若D为n（n≥2）阶竞赛图，则D中具有哈密顿通路。 定理15.8 设u，v为n阶无向简单图G中两个不相邻的顶点，且d（u）＋d（v）≥n，则G为哈密顿图当且仅当G∪（u，v）为哈密顿图（（u，v）是加的新边）。 4.3 树 4.3.1 无向树及其性质 定义16.1 设T是无回路的无向简单连通图，则称T为无向树，或简称为树。 平凡图称为平凡树； 若无向图G至少有两个连通分支，则称其为森林。 悬挂顶点称为树叶。 度数大于或等于2的顶点称为分支点。 如下图： 图1 图2 定理16.1 设G是含n个结点和m条边的简单无向图，则下列各结论都是等价的