chap7 图与子图.pptxVIP

第二篇 图论与组合数学图论是研究由线连接的点集的理论。图论为任何一个包含二元关系的系统提供了一个直观而严谨的数学模型，在科学技术的多个领域都有着应用。图论产生于18世纪，起源于游戏。近代随着科学技术的发展，特别是电子计算机的应用，用图论来解决离散型的实际问题已显示出极大的优越性。同时，图论本身的理论也取得很大的进展。本篇主要介绍图论的基本概念和定理以及在其他学科的一些应用。离散数学轻松一下下面这些酷炫的手机解锁图案，你会设吗？轻松一下下面这些酷炫的手机解锁图案，你会设吗？轻松一下下面这些酷炫的手机解锁图案，你会设吗？一笔画图：从图的任意一点开始，笔尖不离纸、边不重复地画出该图。若起点与终点相同则为欧拉图（E图）；若不同则为半E图。连通图G若是E图当且仅当G中无奇点；若是半E图当且仅当G中最多有两个奇点。现在知道为什么最后这一个画不出来了吧！组合数学所研究的中心问题与“按照一定的规则来安排一些物件”的数学问题有关，包括存在性问题、计数问题、构造问题、最优化问题等。 我国古代就已开始了对组合学的研究，并对一些有趣的组合问题给出了正确的答案. 越来越多的学者认为中国是早期组合数学的发源地.本篇主要介绍组合数学中的计数问题，以及解决计数问题的数学工具，如加法法则、乘法法则、容斥原理、递推关系和母函数等.离散数学第七章 图与子图离散数学§7.1 图的概念 图是现实世界中对象相互关联的数学抽象：点表示对象，两点之间的线表示这两点之间的关系(二元关系).说明: 1.不关心点所代表的具体对象; 2.不关心线的长短曲直; 3.只关心点与点之间是否有连线.图的定义定义7.1.1 一个图G是一个有序三元组 G=V，E，?, 其中:(1)V是非空顶点集合；(2)E是边集，E∩V= ?；(3)?是E到{uv | u、v∈V}的映射，称为关联函数。uv=vu， u、v∈V。通常用V(G)、E(G)和?G分别表示图G的顶点集、边集和关联函数。一个图可以用平面上的一个图形表示。常将一个图与表示它的图形等同起来。离散数学关于点与边的术语端点：在图G中,若e∈E(G)，?(e) = uv, u,v∈V(G)，则称u,v为e的端点。邻接(点)：若e∈E(G)，?(e) = uv，则称u,v两点是邻接的，也称边e与u,v 两点关联。邻接(边)： 若?(e1) = uv,?(e2) = vw,则称e1与e2邻接.即两条不同的边关联同一个点。环： 若?(e) = uu,则称e为环。即一条边的两个端点重合。杆：若?(e) = uv,u≠v,则称e为杆。即 一条边的两个端点不重合。孤立点：不与任何边关联的点。(一条边的两个端点。)(有共同端点的两条边)离散数学图的例子设G = V,E,? , 其中, V={v1, v2, v3}, E={e1, e2, e3, e4, e5}?(e1)= v1v3 , ?(e2)= v1v2 , ?(e3)= v1v2 , ?(e4)= v2v3 , ?(e5)= v3v3 e1与v1,v3关联；v1与v3邻接；e2与e1邻接；e5是环；e4是杆。v1v3e1e5e3e2e4v2离散数学关于图的术语离散数学图G的阶：G的顶点数，称为G的阶。 若|V(G)|=n，则称G为n阶图G(p,q) 表示有p个顶点，q条边的图。用p(G)和q(G)分别表示图G的顶点数和边数。如果图G的V(G)和E(G)都是有限集，称G为有限图，否则称为无限图。单图与伪图定义7.1.2若图G中无环，且任意两个顶点间最多有一条边，则称G为简单图或单图，否则称G为伪图。无环的伪图称为多重图。v1v3e1伪图e5多重图e3e2e4简单图v2离散数学完全图定义7.1.3如果简单图G的任意两个顶点都邻接，则称G为完全图。P个顶点的完全图记为KP。下面给出了完全图K3，K4和K5：3阶完全图K34阶完全图K45阶完全图K5Kp中边的数目：|E(Kp)|=C2p=p(p-1)/2离散数学二分图定义7.1.4如果图G 的顶点集V(G)能够分成两个不相交的非空子集V1和 V2，使得G的每条边的两个端点分别在 V1和 V2中，则称G为二分图。记为G= V1 , V2 。二分图G的二划分子集V1、V2可能不唯一。若二分图G= V1 , V2 中V1的每个顶点与 V2的每个顶点都邻接，则称G为完全二分图，记为Km，n，其中，|V1|=m，|V2|=n。 显然|E(Km，n)|=m×n。离散数学二分图的例子下面是图G及其二分图：a2b1a1V1:b1c1d1a1b2d2c1V2 :a2b2c2d2d1c2GG的二分图离散数学补图定义7.1.5 如果简单图G和简单图H满足: (1)V(H)=V(G)=V ; (2)对?u、v ∈V， u≠v，uv ∈E(H)，当且仅当 uv ?E(G