离散数学I(2)-图论-2016.pptxVIP

第七章图的根本概念;绪论;绪论;绪论;绪论;绪论;图(graph);有向图(directedgraph);图的一些概念和规定(P107);标定图与非标定图、基图(P108);关联与关联次数、环、孤立点;相邻与邻接;邻域;邻域;简单图与多重图;;顶点的度数;;图的度数的相关概念(P110);图的度数的相关概念;握手定理;握手定理;握手定理;度数列(P110);可图化的充要条件;定理;定理;同构(isomorphic);图的同构;同构;;完全图;完全图举例;正那么图;K正那么图;二部图;二部图;二部图;二分图;完全二分图(1);子图;子图;导出子图举例;定义;定义;定义;举例;收缩边(2);通路与回路;a;关于通路与回路的说明;通路与回路;无向图的连通性;连通图与连通分支;;无向图中顶点之间的短程线及距离;二部图的判定定理;无向图的点割集;无向图的边割集;有向图的连通性;有向图的连通性;连通图;强连通图与单向连通图的判定定理;第八章E图和H图;欧拉图;欧拉图;欧拉图(P132);;欧拉图(P132);欧拉图(P134);求欧拉图中欧拉回路的算法(P134);求欧拉回路的算法;应用;磁鼓定位;磁鼓定位;磁鼓定位;磁鼓定位;哈密顿图(P137);哈密顿图;定理;推论;哈密尔顿图;定理;推论;定理;例;定理;第九章树;树的定义(144);树的定义;树的定义;树的定义;树的定义;树的定义;推论1 G为n阶m条边的无向连通图，那么m≥n?1。

推论2 设G是n阶m条边的无向连通图，T为G的生成树，那么T的余树中含有m-n+1条边〔即T有m-n+1条弦〕。

推论3设T是连通图G的一棵生成树，T为T的余树，C为G中任意一个圈，那么E(T)∩E(C)≠?;定理9.4设T为无向连通图G中一棵生成树，e为T的任意一条弦，那么T∪e中含G中只含一条弦其余边均为树枝的圈，而且不同的弦对应的圈也不同。;定义9.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的圈秩，记作?(G)。;求根本回路

设弦e=(u,v)，先求T中u到v的路径?(u,v)，再并上弦e，即得对应e的根本回路。;无向连通图G的圈秩与生成树的选取无关，但不同生成树???应的根本回路系统可能不同。;定理;根本割集与根本割集系统的定义;根本割集与根本割集系统的定义;求以下图中的根本割集系统。;最小生成树;最小生成树;最小生成树;第十章

图的矩阵表示;有向图的关联矩阵;有向图的关联矩阵;图的矩阵表示;有向图的邻接矩阵;定理设Ｄ是有向图，Ｖ＝｛u1,u2,···,un}，

Ｍ＝〔mij)是Ｄ的邻接矩阵，那么矩阵Ｍk〔k=1,2,3···)中第i行第j列的元素，等于从ui到uj长度为k的通路的条数。;例：求图D中u3到u4长度为3的通路数;有向图的可达矩阵;第十一章平面图;平面图(P165);平面图;平面图;平面图;平面图;极大平面图;极大平面图;Euler公式;极大平面图;非平面图;非平面图;非平面图;对偶图;对偶图;第十二章图的着色;色数与色数多项式(P180);色数;面色数;边色数;边色数;第十三章匹配;匹配;匹配;边覆盖集与匹配;匹配;边覆盖集与匹配(P193);;匹配;二部图中的匹配;Hall定理(5.2);Hall定理的应用(5.2);推论：非空二部图有饱和所有最大度点的最大匹配。

推论：任意二部图G的边集可以划分成?(G)个边不交的匹配。

推论：K2n和Kn,n有完备匹配。

推论：K2n有2n-1个互不相交的完备匹配。

;拉丁矩阵：如果mXn矩阵M=(mij)的元素都是正整数，且满足条件：

①1≤mij≤n

②每一行和每一列中都没有两个相同的元素。那么称M为一个mXn拉丁矩阵。如果拉丁矩阵是一个方阵，称之为拉丁方。

;定理：设mn，M是一个mXn的拉丁矩阵，那么可以在M上增加n-m行,将它扩展成一个n阶拉丁方。;例以下图由14个正方形组成，证明：无法剪出7个由相邻两个小正方形组成的矩形。;例：矩阵的行或列称为线，证明：一个(0,1)矩阵中包含所有1的线集的最小线数等于不在同一线的1的最大个数。;相异代表系〔SDR〕：S≠?，?=〔A1,…Am〕是S的非空子集组成的簇。将(a1,…am)称为?的一个相异代表系，其中ai?Ai,且两两不同。

将?看成是二部图，{1,2,…m}和S看成二部图的两个顶点集，那么相异代表系就是