chap7图与子图详解.pptxVIP

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