离散数学——图论

提示：反证法。
设有两个连通分支，这两个分支至多是完 全图。由此得到图中点与边之间的数量关系。
§8.3欧拉图

欧拉图产生的背景就是前面的七桥问题。

定义：图G的回路，若它通过G中的每条边一 次，这样的回路称为欧拉回路。具有欧拉回 路的图称为欧拉图。
定义欧拉通路：通过图G中每条边一次的通 路（非回路）称为欧拉通路。


基本通路：通路中没有重复的点。
简单回路和基本回路。

基本通路一定是简单通路，但反之简单通路 不一定是基本通路。基本回路必是简单回路。

定理：一个有向（n,m）图中任何基本通路长 度≤n-1。任何基本回路的长度≤n。 任一通路中如果删去所有回路，必得基本通 路。 任一回路中如删去其中间的所有回路，必得 基本回路。

例1：教材121页。
结点次数

引出次数：有向图中以结点v为起点的边的条数称为 v的引出次数，记 deg(v) 引入次数：有向图中以结点v为终点的边的条数称为 v的引出次数，记 deg(v)


结点次数：有向图中引出次数和引入次数之和称为 结点次数；无向图中与结点v相关联的边的条数称为 V的次数。统一为记deg(v)。
图论的发展

图论的产生和发展经历了二百多年的历史， 从1736年到19世纪中叶是图论发展的第一阶 段。 第二阶段大体是从19世纪中叶到1936年，主 要研究一些游戏问题：迷宫问题、博弈问题、 棋盘上马的行走线路问题。


一些图论中的著名问题如四色问题(1852年)和哈密 尔顿环游世界问题(1856年)也大量出现。同时出现 了以图为工具去解决其它领域中一些问题的成果。

有向连通图

定义：设G为有向连通图，
强连通：G中任何两点都是可达的。
单向连通：G中任何两结点间，至少存在一个方向 是可达的。 弱连通：忽略边的方向后得到的无向图是连通的。

连通分支

无向图中的连通性是等价关系。

按照等价关系，可将图G中的结点进行分类， 一个连通的子图即是一个等价类，称为G的 一个连通分支。
第四篇图论
本篇包括第八章、第九 章。主要内容有图的基本理 论、欧拉图、哈密尔图、树 等。

图论是一个古老而又年轻的数学分支，它诞 生于18世纪，它是用图的方法研究客观世界 的一门科学，为任何一个包含二元关系的系 统提供了一个直观而严谨的数学模型，因此 物理系、化学、生物学、工程科学、管理科 学、计算机科学等各个领域都有图论的足迹。


孤立点：不与任何点相邻接的点。
定义图的子图

子图：设G=<V,E>， G’=<V’,E’>，若V’是V的 子集，E’是E的子集，则G’是G的子图。 真子图：若V’是V的子集，E’是E的真子集。



生成子图：V’=V，E’是E的子集。
举例说明一个图的子图。
定义（n,m）图

(n,m)图：由n个结点，m条边组成的图。
一般用G=<V，E>表示图。

例子：教材116页例8.1，例8.2

根据图中边的方向，分为有向图、无向图。 边关联：有向边lk=(vi,vj)，其中vi称为起点，vj称 为终点。无论边是否有向，称lk与vi,vj相关联。 邻接：边lk=(vi,vj)，称vi,vj是邻接的点，若干条 边关联同一个结点，则称边是邻接的。 环：边lk=(vi,vj)， vi与vj是同一个点。

欧拉将问题转化为：任何一点出发，是否存在通过 每条边一次且仅一次又回到出发点的路？欧拉的结 论是不存在这样的路。显然，问题的结果并不重要， 最为重要的是欧拉解决这个问题的中间步骤，即抽 象为图的形式来分析这个问题 。 这是一种全新的思考方式，由此欧拉在他的论文中 提出了一个新的数学分支，即图论，因此，欧拉也 常常被图论学家称为图论之父。


零图：m=0。即（n,0）图，有n个孤立点。
平凡图：n=1,m=0。即只有一个孤立点。

完全图：一个（n,m）图G，其n个结点中每 个结点均与其它n-1个结点相邻接，记为Kn。 无向完全图：m=n(n-1)/2



有向完全图：m=n(n-1)
举例说明以上几种图。
定义补图

设图G=<V,E>， G’=<V,E’>，若 G’’=<V,E∪E’>是完全图，且E∩E’=空集，则 称G’是G的补图。 事实上，G与G’互为补图。

定义无权图：无有权边的图。
练习题----关于图中点的次数问题
1.设图G是3次正则图，且2n-3=m，则n、m 是多少？ 2.设G是（n,m）图，G中结点次数要么为k， 要么为k+1，则次数为k的结点有几个？ 3.设G有10条边，4个3度结点，其余结点次 数均小于等于2，则G中至少有几个结点？


可达性的定义

定义可达性：从一个有向图的结点vi到另一个 结点vj间，如果存在一条通路，则称vi到vj是 可达的。 同样，可以将可达性的概念推广到无向图。 利用通路、回路的概念，可研究计算机科学 中的许多问题。

连通性

定义：无向图，若它的任何两结点间均是可达的， 则称图G是连通图；否则为非连通图。 定义：有向图，如果忽略图的方向后得到的无向图 是连通的，则称此有向图为连通图。否则为非连通 图。
§8.2通路、回路与连通性

定义：通路与回路
设有向图G=<V,E>，考虑G中一条边的序列 （vi1,vi2,…, vik）,称这种边的序列为图的通路。
Vi1、vik分别为起点、终点。通路中边的条数称 为通路的长度。 若通路的起点和终点相同，则称为回路。
简单通路、基本通路

简单通路：通路中没有重复的边。
1847年德国的克希霍夫(G.R.Kirchoff)将树的概念 和理论应用于工程技术的电网络方程组的研究。


1857年英国的凯莱(A.Cayley)也独立地提出了树的 概念，并应用于有机化合物的分子结构的研究中。

1936年匈牙利的数学家哥尼格(D.Konig) 发 表了第一部集图论二百年研究成果于一书的 图论专著《有限图与无限图理论》，这是现 代图论发展的里程碑，标志着图论作为一门 独立学科。
当研究的对象能被抽象为离散的元素集合和 集合上的二元关系时，用关系图表示和处理 十分方便。

§8.1图的基本概念

图论的起源可以追溯到1736年由瑞士数学家 欧拉(Leonhard Euler，1707-1783)撰写的一 篇解决“哥尼斯堡七桥问题”的论文。
哥尼斯堡七桥问题

把四块陆地用点来表示，桥用点与点连线表 示。
现在图论的主要分支有图论、超图理论、极 值图论、算法图论、网络图论和随机图论等。


第三阶段是1936年以后。由于生产管理、军事、交 通运输、计算机和通讯网络等方面的大量问题的出 现，大大促进了图论的发展。现代电子计算机的出 现与广泛应用极大地促进了图论的发展和应用。
目前图论在物理、化学、运筹学、计算机科学、电 子学、信息论、控制论、网络理论、社会科学及经 济管理等几乎所有学科领域都有应用。。

判断欧拉通路的定理

定理：无向连通图G是欧拉图的充要条件是G 的每个结点均具有偶次数。 定理：无向连通图G中结点vi与vj存在欧拉通 路的充要条件是vi与vj的次数均为奇数，而其 他结点次数均为偶数。

例子
邮递员信件问题 城市街道问题 一笔画问题 公交线路问题

有向欧拉图的判定

握手定理

定理：G=<V,E>是(n,m)图,V={v1,v2,…,vn}
deg(vi) 2m
即所有结点次数之和等于边数的2倍。

i 1
n
定理：有向图中引入次数之和等于引出次数之和， 都等于边数。 推论：任一图中，次数为奇数的结点（即奇结点） 的个数必为偶数。

正则图

所有结点均有相同次数d的图称为d次正则图。



定理：设G=<V,E>是无向简单图，|V|≥3，如果G中 每对结点次数之和大于等于|V|，则G必为哈密尔顿 图。 定理：设有向图，|V| ≥2，若所有有向边均用无向 边代替后，所得无向图中含生成子图Kn,则G存在哈 密尔顿通路。 推论：n阶有向完全图(n>2)为哈密尔顿图。


判断H-图的一些充分或必要条件
P（G）表示连通分支的个数。连通图的连通 分支只有一个。

练习题---图的连通性问题


1.若图G是不连通的，则补图是连通的。
提示：直接证法。 根据图的不连通，假设至少有两个连通分 支；任取G中两点，证明这两点是可达的。

2.设G是有n个结点的简单图，且
|E|>(n-1)(n-2)/2，则G是连通图。

图的同构

看一下教材120页一个图的几个不同图形。

我们常将一个图和它的图形等同起来，但这 是两个不同的概念，给出图形就确定了一个 图，然而一个图的图形是不唯一的。
考虑图和图形的不同。


定义同构：图G=<V,E>， G’=<V’,E’>，如果 它们的结点间存在一一对应关系，且这种对 应关系也反映在边的结点对中，对于有向边， 对应的结点对还保持相同的顺序，则称两图 是同构的。



关于如何判断哈密尔顿通路与回路，至今尚 未找到它的充要条件，只有一些充分条件和 必要条件。
H-图性质定理

定理：设无向图G=<V,E>是哈密尔顿图，非 空集V1是V的子集，则P（G-V1）≤|V1|。 P（G-V1）是从G中删去V1（包括与V1中结点 相关联的边）后所得的图的连通分支。 利用这个定理有时可证明一个图不是哈密尔 顿图。P（G-V1）> |V1|说明不是H-图。