刘杰《离散数学1》精品教学4.1-图.pptVIP

第四章 图与网络 第四章 图与网络 §4.1 图 §4.2 树 §4.3 有向图 Euler路 §4.4 Hamilton图 §4.5 平面图 §4.6 匹配 二部图 §4.7 Konig无限性引理 §4.1 图(Graphs) 研究领域：微积分、微分方程、曲线曲面的解析几何与微分几何、数论、级数及变分法。潮汐理论、行星轨迹、声、望远镜、显微镜、热等。 几乎每一个数学领域都可以看到欧拉的名字，从初等几何的欧拉线，多面体的欧拉定理，立体解析几何的欧拉变换公式，四次方程的欧拉解法到数论中的欧拉函数，微分方程的欧拉方程，级数论的欧拉常数，变分学的欧拉方程，复变函数的欧拉公式等等。 共写下了886本书籍和论文，其中分析、代数、数论占40%，几何占18%，物理和力学占28%，天文学占11%，弹道学、航海学、建筑学等占3%。 随着科学的发展，图论在解决运筹学、网络理论、信息论、控制论、博弈论及计算机科学等领域的问题时显示出越来越大的效果。图论在各种物理学科、工程领域、社会科学和经济领域广泛应用，使它受到数学和工程界的特别重视。 §4.1.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相邻。有时，在不致引起混淆的情况下，将l记为uv。 若l1?L(G)， l2?L(G)。且l 1和l 2有公共的端点，则称边l 1与l 2相邻。 没有任何边(L(G)=?)的图称为零图； 只有一个点的图称为平凡图； 任意两点之间都有边的图称为完全图。 定义4.4.7 设G，H是两个有限图，如果P(G)=P(H)，并且对G，H中任意两点u、v，u和v在G中相邻当且仅当它们在H中不相邻，则称G是H的补图，H是G的补图，可以将G记为Hc，也可将H记为Gc。 例. 试证明：对于任何一个具有6个点的图，要么它包含一个三角形，要么它的补图包含一个三角形（即，对于任何一个具有6个点的图，该图或它的补图中存在3个结点彼此相邻）。 证明：设G为具有6个点的图，G的补图为G’。考察G中的任意一个点a，由补图的定义知，另外5个点要么在G中与a相邻，要么在G’中与a相邻。这样，我们就将这5个点分成两类，把在G中与a相邻的点归成一类，在G’中与a相邻的点归成另一类。那么，必有一类至少含有三个点，不妨设其中的三个点为b，c，d。显然，该图必然是G’’的子图，这里的G’’或者是G，或者是G’。 1）如果边bc，cd，bd中有一条在G’’中，不妨设为bc，则在G’’中包含以a，b，c为顶点的三角形。 2）否则，如果边bc，cd，bd都不在G’’中，那么都一定在G’’的补图中，因此，G’’的补图中包含以b，c，d为顶点的三角形，而G’’的补图也或者是G，或者是G’。 综上，要么G包含一个三角形，要么 它的补图包含一个三角形。 图的同构(isomorphism) 称图G和H是同构的。如果存在P(G)到P(H)的1-1映射?，使对任意的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中诱导的子图。 即，对P(H)中的任意两个点，它们在图H中相邻，当且仅当它们在图G中也相邻。 H是G删除某些点得到的。 定义4.1.3 设G是图，v?P(G)，L(G)中以v为端点的边的条数称为点v的度，记为dG(v)。 由于简单图中不允许有反身边和平行边，所以若图的点的个数|P(G)|为n，则图中每个点的度的取值于集合{0，1，…，n-1}。今后，为简便计，有时也将图G中的点v，边l，写成v?G，l?G。 例. 设G＝（P，L）是图，|P(G)|