离散课讲义.docVIP

图与组合数学（图论部分） 西安电子科技大学数学系 参考文献 [1] J.A. Bondy, U.S.R. Murty, Graph theory, Springer, 2008 (GTM 244). [2] T.H. Cormen et al, Introduction to algorithms (2nd edition.), The MIT Press, 2001. (中译本：潘金贵等译，算法导论，北京，机械工业出版社，2006) [3] D. Jungnickel, Graphs, networks and algorithms(3rd edition), Springer, 2008. [4] F.S. Roberts, B.Tesman, Applied combinatorics(2nd edition.), Pearson Education, 2005. (中译本：冯速译，应用组合数学，北京，机械工业出版社，2007) [5] D.B. West, Introduction to graph theory (2nd edition.), Pearson Education, 2001. (中译本：李建中，骆吉洲译. 图论导引，北京，机械工业出版社，2006) 目 录 第一章 图的基本概念 1 1.1 图与有向图 1 1.2 树的性质 5 1.3 根树及其应用 6 1.4 最小生成树及最短路径问题 6 第二章 几类特殊的图 9 2.1 二部图 9 2.2 哈密尔顿(Hamilton)图与欧拉(Eular)图 16 2.3 彼得森(Petersen)图 16 第三章 图的性质 23 3.1 图的连通 23 3.2 图的着色 24 3.3 可平面图 26 第四章 鸽笼原理与容斥原理 31 4.1 鸽笼原理 31 4.2 容斥原理 35 图的基本概念 1.1 图与有向图 定义 1.1.1 一个无向图，常简称图（graph），是指一个二元组，其中集合中的元素称为顶点（或点,或端点, 或结点）（or vertex, or node, or point), 集合中元素为中元素组成的无序对，称为边 (edge). 注记 1.1.2 1. 上述集合中的元素可以相同，有的文献称这样的集合为多重集(multiset). 2. 图称为空图，它有时在举反例的时候用到. 有时将一个结论推广到包含空图时会引起不必要的麻烦, 本讲义中假设所讨论的图都不是空图. 3. 在一个图中，为了表示和分别是顶点集和边集，常将和分别记为和. 如果和都是非空有限集，则称为有限图. 我们约定除非特别指出，本书中每一个图都是有限图. 我们经常用图形来表示一个图. 用小圆圈或实心点表示图的顶点，用线段把无序对中两个顶点连接起来表示边. 其中顶点的位置，连线的曲直、是否相交等都无关紧要. 例如，，=， , 则的图形如下： 设. 若为单点集，则称为平凡图 (trivial graph). 为方便起见，常用e表示边，例如在图1中表示边, 而,称为的端点. 两个端点相同的边称为环 (loop), 具有相同端点的多条边称为重边 (multiple edge), 不含环和重边的图称为简单图 (simple graph). 例如在图1中为环, 为重边，所以此图不是简单图. 一条边的两个顶点称为相邻的(adjacent). 若是边的一个顶点，则称和是关联的（incident）. 对于无环图，和关联的边的个数称为的度 (degree)，记为. 对于有环图，环记2度. 在图1中， 关于顶点度数，我们有下面的基本定理. 定理 1.1.3 设图的顶点集为，且=, 则 = 推论 1.1.4 图中度为奇数的顶点个数为偶数. 我们称一个图的所有顶点度数的非递增序列为这个图的度序列(degree sequence). 例如图1的度序列为（5,3,3,2,1）. 每个图都有一个度序列；反之，并非每个非递增序列都为某个图的度序列. 例如（5,4,3,2,1）就不可能是某个图的度序列，因为定理1.1.3告诉我们，一个非递增序列要成为某个图的度序列，必须先满足序列的元素和为偶数. 其实，这个显然的必要条件也是充分的. 定理1.1.5 非负整数,,...,是某个图的所有顶点度数当且仅当是偶数. 证明 由定理1.3，显然. 设. 显然集合: 是奇的元素个数为偶数. 将此集合中元素两两配对，对每个元素对，构造一条边使其端点为此元素对. 则此时每个顶点需要的度数是偶数（非负），在处加上（表示数的下取整，