吉林大学离散数学结构(Ⅰ)4.1-图.pptVIP

第四章 图与网络 图论的应用 物种竞争问题： 浣熊与松鼠、鹰、猫头鹰存在竞争； 乌鸦与啄木鸟、负鼠不存在竞争； 图论的应用 地图着色问题:确定可以用来给一幅地图着色的颜色的最小数目，使得相邻的区域永远没有相同的颜色。 第四章 图与网络 §4.1 图 §4.2 树 §4.3 有向图 Euler路 §4.4 Hamilton图 §4.5 平面图 §4.6 匹配 二部图 §4.7 Konig无限性引理 §4.1 图(Graphs) §4.1.1 图的基本概念 定义4.1.1 G＝(P, L)称为图。如果P是点的非空集合，L是连接某些不同点对的边集合，并且任意一对不同点之间最多有一条边。当P为有限集时，G称为有限图。 设G＝(P, L)是一个图，今后，我们用P(G)表示G的(节)点集，用L(G)表示G的边集。设l?L(G)，并假设l是连接G中点u、点v的边，则称u、v是l的端点，并称u与v相邻。若l1?L(G)，l2?L(G)，且l1和l2有公共的端点，则称边l1与l2相邻。有时，在不致引起混乱的情况下，将l记为uv。 §4.1.1 图的基本概念 没有任何边(L(G)=?)的图称为零图； 只有一个点的图称为平凡图； 任意两点之间都有边的图称为完全图。 §4.1.1 图的基本概念 容许有平行边和反身边的图称为无向图； 不允许有反身边和平行边的图称为简单图. 图的同构(isomorphism) 称图G和H是同构的：如果存在P(G)到P(H)的双射?，使对任意的u,v?P(G)，u与v在G中相邻, 当且仅当?(u)与?(v)在H中相邻。 我们把同构的图看成是一个图。 图的同构(isomorphism) 图的同构(isomorphism) 例： 判断下列图是否同构。 定义4.1.2 设G、H是图，如果P(H)?P(G)，L(H)?L(G)，则称H是G的子图，G是H的母图。如果H是G的子图，并且P(H)＝P(G)，则称H是G的支撑子图。如果H是G的子图，且L(G)中两个端点都在P(H)中的边都在L(H)中，则称H为点集P(H)在G中诱导的子图。 定义4.1.3 设G是图，v?P(G)，L(G)中以v为端点的边的条数称为点v的度，记为dG(v)。 今后，为简便计，有时也将图G中的点v，边l，写成v?G，l?G。 图的表示 关联矩阵 相邻矩阵(邻接矩阵) 关联矩阵(incidence matrix) 例： 相邻矩阵(adjacency matrix) 设G＝(P，L)是有限图，集合P的元数为m，不妨设P(G)＝?v1，…，vm?。矩阵A(G) ＝?bij?称为G的相邻矩阵，其中 显然，A(G)是m×m阶矩阵。 例： 定理 4.1.1 证明：设M(G)是G的关联矩阵，因为G中某点v的度dG(v)恰是M(G)中的代表点v的那一行中1的个数，故 例： 是否存在带有下列度的有5个点的简单图？若有，画出这样的图。 0, 1, 2, 2, 3 3, 4, 3, 4, 3 1, 2, 3, 4, 4 定理 4.1.2 任一有限图中，奇数度的点的个数为偶数。 定义 4.1.4 设G＝(P，L)是图，v、v’是G中两点。由G中点组成的序列(v0,v1,…,vn)称为从v到v’的长度为n的路，如果 (1) v0=v，vn=v’； (2) vi与vi+1相邻，0? i＜n。 这里v，v’是图G中未必不同的两点，v0,v1,…, vn中也允许有重复。 例： 路(A,B,C,D)长度为3； 路(A,B,F,C,B)长度为4； 路(A,E,D,A)长度为3. 定义 4.1.5 设G＝(P，L)是图，(v0,v1,…,vn)是G中从v0到vn的路，称此路为简单路，如果 1) v0,…,vn－1互不相同； 2) v1,…,vn互不相同。 显然，一条简单路(v0,v1,…,vn)，除v0与vn可以相同外，其它任意两点都不相同。 定义 4.1.6 设G＝(P，L)是图。G中从点v到自身的其长度不小于3的简单路，称为回路。 例： (a,b,c,d)是一条长度为3的路(简单路) (a,b,c,a,d,c,b)是一条长度为6的路(不是简单路) (a,b,c,a)、 (a,c,d,a) 、 (a,b,c,d,a)都是回路。 定义 设G＝(P，L)是图，G中两点u,v，如果从u到v有一条路，则称u与v是相连的。 我们认为点v与自身是相连的，则显然G中两点之间的相连关系是一个等价关系。在此等价关系下，集合P(G)必分成一些等价类，不妨设为S1,…,Sn,…。显然，每一个Si和G中所有以Si中的点为端点的边一起，组成G的一个子图Gi。每个Gi