图论与代数结构
代数结构-图论

记作Nn,特别地,称N1为平凡图(Trivial graph)。 在图的定义中规定结点集V为非空集,但在图的运算
中可能产生结点集为空集的运算结果,为此规定结
点集为空集的图为空图(Empty Graph),并将空图
记为。阶为有限的图称为有限图(Finite Graph),
否则称为无限图(Infinite Graph)。结点没有标号
的图称为非标号图(Unlabeled Graph),否则为标
号图(Labeled heory
10.2 图与图模型
如果图中存在某两条边的端点都相同,则称该
图为多重图(Multigraph),该两条边称为平行边。
如果一条边关联的两个结点是相同的结点,则称该边 为圈或自环(Loop)。
请你思考?
如何找到物流运输的最优路径? 如何找到最优的网络通信线路? 如果你想周游全国所有城市,如何设计旅游线路? 化学化合物分析:结构是否相同? 程序结构度量:程序是否结构相似? 如何为考试分配教室,使得资源利用率最优? 如何安排工作流程而达到最高效率? 如何设计为众多的电视台频道分配最优方案? 如何设计通信编码以提高信息传输效率? 操作系统中,如何调度进程而使得系统效率最优?
图的类型:
(1)有向图/无向图;简单图/多重图/伪图;零图,平凡图,空图; 有限图/无限图;带权图、标记图;
(2)特殊图:环图(Cn)、轮图(Wn)、立方图(Qn)、网格、正则图 (r-图);偶图(G(V1,V2), 二分图/二部图, Bipartite graph) 、 完全偶图(Km,n);
(3)特殊图:子图、完全图、补图 (4)特殊图:Euler图、Hamilton图、树图、平面图
主要内容
8
中国地质大学计算机学院
必须掌握的数学知识点总结

必须掌握的数学知识点总结一、基础知识1. 算术算术是数学的基础,包括加法、减法、乘法、除法等基本运算。
在实际生活中,我们经常需要进行数字的计算,因此掌握基本的算术知识对于每个人来说都是至关重要的。
2. 代数代数是数学中的一个重要分支,主要研究未知数和它们之间的关系。
代数知识包括多项式、方程、不等式、函数等内容,是后续学习更高级数学知识的基础。
3. 几何几何是研究空间和图形的形状、大小、位置关系的一门学科。
几何知识包括直线、角、三角形、四边形、圆等内容,对于理解空间和图形的属性有着重要的作用。
4. 概率与统计概率与统计是数学中的一个重要分支,研究的是随机现象的规律性和数量关系。
概率用来描述随机事件发生的可能性,而统计则是对数据进行收集、整理、分析和解释的过程。
二、高级知识1. 微积分微积分是数学的一个重要分支,主要研究函数的变化规律和其在空间中的应用。
微积分知识包括导数、积分、微分方程等内容,是自然科学和工程技术中不可或缺的工具。
2. 线性代数线性代数是数学中的一个重要领域,主要研究向量空间和线性变换。
线性代数知识包括矩阵、行列式、特征值与特征向量等内容,在物理、工程、信息科学等领域有着广泛的应用。
3. 数理逻辑数理逻辑是数学的一个重要分支,研究的是数学推理和证明的方法。
数理逻辑知识包括命题逻辑、谓词逻辑、集合论等内容,是数学基础和理论研究中不可或缺的一部分。
4. 离散数学离散数学是数学中的一个重要分支,主要研究离散结构和离散对象之间的关系。
离散数学知识包括集合、图论、代数结构等内容,在计算机科学和信息技术中有着重要的应用价值。
通过对这些数学知识点的总结,我们可以清晰地看到数学的广泛应用和重要性。
无论在学术研究还是实际应用中,数学都扮演着不可替代的角色。
因此,掌握这些数学知识点对于每个人来说都是非常重要的。
希望通过这篇总结,读者们可以对数学有一个更全面的理解,从而更好地应用和发展数学知识。
清华大学计算机系本科生全部课程详细介绍

Introduct theme, equal emphasis on theory and practice. It also introduces the basic methods an
ion learning, simulated annealing, genetic algorithm and artificial neural network.
讲
姓名
职称
课
教
主要教学和科研领域
师
白晓颖
讲师 软件工程,软件测试
课号:00240042 学分: 2 课程名称 中文
课程属性: 全校任选 开课学期: 人工智能导论
书名
春季
作者
英文
Artificial Intelligence:
Stuart Russell and
A Modern Approach
Peter Norvig
程 法,主要的知识表示和推理方法,以及几个应用领域中所涉及的人工智能问题和求解方法。课程以智能体
简 设计为主线,将人工智能中相互分离的领域与内容统一起来,注重理论与实际应用相结合。同时还简单介
介 、人工神经网络等算法思想及相关成果与进展。
This course is an introduction course to offer the basic principles and methods of art
evolution. The purpose is to improve the students’ engineering capabilities and development Based on the major activities in software lifecycle, the course introduces the basic theory
图论与代数结构

假如 G1 G2 ,则必须满足: (1) | V (G1) || V (G2 ) |, | E(G1 ) || E(G2 ) | . (2) G1 和 G2 结点度的非增序列相同. (3)存在同构的导出子图.
图的概念
性质1.1.5 非空简单图G中一定存在度相同的结点. 证明:设在G中不存在孤立结点,则对n个结 点的简单图,每个结点度d(v)的取值范围是 1~(n-1),由抽屉原理,一定存在两个度相同的 结点.若存在一个孤立的结点,亦类似可证.
图的概念
定义1.1.4 如果图G=(V,E)的每条边 ek (vi , v j ) 都赋以一 个实数wk 作为该边的权,则称G是赋权图.特别 地,如果这些权都是正实数,就称G是正权图. 图1.5就是一个正权图.权可以表示该边的长度, 时间,费用或者容量等.
图的概念
性质1.1.1 设G=(V,E)有n个结点,m条边,则
v V (G )
d (v) 2m
证明:由于每条边e=(u,v)对结点u和v度的贡献 各为1,因此m条边对全部结点的总贡献率为 2m.
图的概念
性质1.1.2 G中度为奇数的结点必为偶数个. 证明: G中任一结点的度或为偶数或为奇数,设 Ve是度为偶 的结点集,Vo 是度为奇的结点集,于是有
vVe
d (v) d (v) 2m
vV0
因此上式左边第二项也为偶数,也即度为奇数的结点 必为偶数个
图的概念
性质1.1.3 有向图G中正度之和等于负度之和.这是因 为每条边对结点的正,负度贡献各为1. 性质1.1.4 K n 的边数是n(n-1)/2. 证明:K n 中各结点的度都是(n-1),由性质 1.1.1就可以得到
数学竞赛大学知识点总结

数学竞赛大学知识点总结数学竞赛是一项考验学生数学能力和逻辑思维能力的比赛。
参加数学竞赛不仅可以提高学生的数学水平,还可以培养学生的自学能力和解决问题的能力。
许多大学对参加数学竞赛获得优异成绩的学生给予特殊的关注和奖励。
因此,数学竞赛已经成为许多学生提高数学水平和申请大学时的加分项之一。
数学竞赛包括各种不同级别的比赛,有初中竞赛、高中竞赛、大学竞赛等等。
而大学竞赛则是侧重于考察学生对高等数学知识的掌握程度。
在大学竞赛中,一些基本的数学知识和数学方法是必不可少的。
接下来,我们将对大学竞赛中常用的数学知识点进行总结。
1. 高等代数高等代数是数学竞赛中必不可少的知识点之一。
它包括线性代数、矩阵论、群论、环论等内容。
在大学数学竞赛中,高等代数的知识点常常涉及到线性代数中的行列式、矩阵、特征值和特征向量,以及群论中的群的概念、群的结构、同态映射等内容。
学生需要熟练掌握高等代数中相关的概念、定理和证明方法,以便在竞赛中灵活运用。
2. 微积分微积分是大学数学竞赛中重要的知识点之一。
它包括极限、导数、微分、积分、微分方程等内容。
在数学竞赛中,微积分的知识点通常涉及到一些经典的极限、导数和积分计算、微分方程的解法等内容。
学生需要熟练掌握微积分中相关的概念、定理和计算方法,以便在竞赛中准确并快速地解决问题。
3. 概率论与数理统计概率论与数理统计是大学数学竞赛中常见的知识点之一。
它包括概率的基本概念、随机变量、概率分布、大数定律、中心极限定理、参数估计、假设检验等内容。
在数学竞赛中,概率论与数理统计的知识点常常涉及到一些概率分布的计算、参数估计的方法、假设检验的原理等内容。
学生需要熟练掌握概率论与数理统计中相关的概念、定理和计算方法,以便在竞赛中准确并快速地解决问题。
4. 数学分析数学分析是大学数学竞赛中常用的知识点之一。
它包括实数系的完备性、实函数的连续性与导数、微分中值定理与泰勒公式、不定积分和定积分、级数等内容。
数理逻辑的推理及形式证明

第一讲引言一、课程内容·数理逻辑:是计算机科学的基础,应熟练掌握将现实生活中的条件化成逻辑公式,并能做适当的推理,这对程序设计等课程是极有用处的。
·集合论:数学的基础,对于学习程序设计、数据结构、编译原理等几乎所有计算机专业课程和数学课程都很有用处。
熟练掌握有关集合、函数、关系等基本概念。
·代数结构:对于抽象数据类型、形式语义的研究很有用处.培养数学思维,将以前学过的知识系统化、形式化和抽象化。
熟练掌握有关代数系统的基本概念,以及群、环、域等代数结构的基本知识。
·图论:对于解决许多实际问题很有用处,对于学习数据结构、编译原理课程也很有帮助。
要求掌握有关图、树的基本概念,以及如何将图论用于实际问题的解决,并培养其使用数学工具建立模型的思维方式。
·讲课时间为两个学期,第一学期讲授数理逻辑与集合论,第二学期讲授代数结构和图论。
考试内容限于书中的内容和难度,但讲课内容不限于书中的内容和难度。
二、数理逻辑发展史1。
目的·了解有关的背景,加深对计算机学科的全面了解,特别是理论方面的了解,而不限于将计算机看成是一门技术或工程性的学科.·通过重要的历史事件,了解计算机科学中的一些基本思维方式和一些基本问题。
2. 数理逻辑的发展前期·前史时期—-古典形式逻辑时期:亚里斯多德的直言三段论理论·初创时期——逻辑代数时期(17世纪末)·资本主义生产力大发展,自然科学取得了长足的进步,数学在认识自然、发展技术方面起到了相当重要的作用。
·人们希望使用数学的方法来研究思维,把思维过程转换为数学的计算。
·莱布尼兹(Leibniz, 1646~1716)完善三段论,提出了建立数理逻辑或者说理性演算的思想: ·提出将推理的正确性化归于计算,这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容的思考,将推理的规则变为演算的规则。
图论与代数结构 1.1 基本概念

V={a, b, c, d} E={e1,e2,e3,e4,e5,e6} |V|称为结点数,记为n 该值有限,有限图 |E|称为边数,记为m.该值有限。
有向图 无向图
如果每条边都有方向的,则为有向图。 如果每条边都没有方向,则为无向图。 某些边有方向,某些边没有方向,混合图
邻接 e1 A
e4
B
图论与代数结构
清华大学 戴一奇 胡冠章等
图的概念-直观定义
• 由结点和连结两个结点的连线所组成的对象 称为“图”。 • 至于结点的位置及连线的长度无紧要
A
e4 B
e1 e3 e2
D
e5
C
形式定义:三元组(V(G),E(G),M(E,V))称为图。 其中V(G)为点的集合(非空集),E(G)是边集, M(E,V)=边与点连接关系。 常简化为二元组 (V(G),E(G))称为图。简记为 G=(V,E)。
边数=
n(n-1)/2
非空简单图一定存在度相同的结点
证明:图G的结点数记为n。 由于它是简单图,无重复边与自环, 每点的度 数取值范围是0~n-1. 当没有度数为0的结点时,每点度数的取值范 围是1~n-1,根据鸽巢原则,这n个点中至少有 2个点的度数相同。 当有度数为0的结点时,剔除所有度数为0的结 点,对剩下来的结点所组成的图使用前面的证明.
U3
1、可构作双射g: V(c)→V(d),其中g(a)=u3, g(b)=u1,g(c)=u4,g(d)=u2。 2、<a,b>→<u3,u1>,<b,d>→<u1,u2>, <a,c>→<u3,u4>,<c,d>→<u4,u2>
e5 e2
离散数学在计算机领域的应用

离散数学在计算机领域的应用离散数学是一门研究离散结构及其性质的数学学科,主要包括集合论、图论、代数结构、逻辑学等内容。
离散数学在计算机领域中具有广泛的应用,主要涉及算法设计与分析、计算机网络、编译原理、密码学等方面。
下面将具体介绍离散数学在计算机领域的应用。
一、算法设计与分析算法是计算机科学的核心。
离散数学中的图论、集合论等内容为算法设计与分析提供了基础理论。
图论中的最短路径算法、最小生成树算法以及网络流算法等,被广泛应用于计算机网络、图像处理等领域的算法设计与优化中。
集合论为计算机科学中的集合操作、算法等提供了数学基础。
二、计算机网络计算机网络是信息交流的基础设施,离散数学在计算机网络中有着重要的应用。
图论提供了网络拓扑结构的分析工具,通过图模型可以对网络中的节点、边以及其它拓扑关系进行描述和分析。
网络流理论、关系理论等离散数学的工具也可以用于路由算法设计、分析网络传输的性能等方面。
此外,集合论、逻辑学等离散数学内容还可以用于描述计算机网络的约束条件、协议验证等方面。
三、编译原理编译器是将高级程序语言转换为机器语言的程序,它是计算机系统中重要的组成部分。
离散数学中的形式语言、自动机理论为编译器设计提供了基础。
形式语言中的正则表达式、上下文无关文法等可以用于描述编程语言的语法结构。
自动机理论中的有限自动机、正则自动机等可以用于词法分析和语法分析的建模与分析。
这些数学工具可以帮助程序员设计和实现高效的编译器。
四、密码学密码学是研究信息安全与加密算法的学科,离散数学中的数论、代数结构为密码学提供了基础理论。
数论中的大数分解、离散对数问题等是现代公钥密码学中的关键问题,而代数结构则是对称密钥密码学的理论基础。
离散数学提供了加密算法的安全性分析方法和加密算法的设计原则,如基于离散对数、椭圆曲线等的加密算法。
总之,离散数学在计算机领域有着广泛而重要的应用。
离散数学中的图论、集合论、逻辑学、形式语言等内容为计算机科学的算法设计与分析、计算机网络、编译原理、密码学等方面提供了理论基础和方法论。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
举例 2.1.5
v1 v5 v1 v6 v5
v2
v3 图 2.3(a)
v4
v2
v3 图 2.3(b)
v4
例 2.1.5 图 2.1 和 2.2 都是连通图,图 2.3 是非 连通图。其中那个 (a) 有两个连通支,它们结点集分 别是 {v1 ,v2,v3} 和 {v4 ,v5},(b) 有三个连通支。
例 2.3.1 试找出如 v1 开始,可构造简单回路 C=(e1, e6, e8, e7, e2), G1=G-C 中的 v2, v4, v5 的度非零,且 v2, v5 是 C 中的点,从 v2 开始, G1 中有简单回路 C1=(e3, e5, e4), 因 此, C∪C1 包含了 G 的所有边,即是 G 的一条欧拉回路。
定义 2.1.2
无向图 G = (V, E) 中,若点边交替序 列 P = (vi1, ei1, vi2, ei2, …, eiq-1, viq), 满足 vik, vik+1 是 eik 的两个端点,则称 P 是 G 中 的一条链,或道路。如果 viq = vi1 。则称 P 是 G 中的一个圈,或回路。
H 道路:如 ( v4, v5, v3, v2, v1 ) 或 ( v1, v2, v3, v5, v4 )
定理 如果简单图 2.4.1 G 的任意两个结点 v , v
i
j
之间 恒
有 d(vi)+d(vj) ≥n-1 ,则 G 中存在哈密 顿 道路。 —————————————————— 证明: 先 证 G 是连通图。若 G 非连通,则至 少分为两个连通支 H1, H2, 其结点数分别为 n1, n2. 从中各任 取 一个结点 vi, vj, 则 d(vi)≤ n1-1, d(vj)≤ n2-1, 故 d(vi)+d(vj) ≤ n1+n2-2<n-1, 与假设矛盾。 以 下 证 G 存在 H 道路。设 P=(vi1, vi2, … , vil) 是 G 中一条极长的初级道路,即 vi1 和 vil 的邻点 都在 P 上。此时,若 l = n, 则 P 即为一条 H 道路。
定义 2.4.2
设 vi 和 vj 是简单图 G 的不相邻结点,且满 足 d(vi)+d(vj) ≥n, 则 令 G’ = G+(vi, vj), 对 G’ 重复上 述 过 程 , 直 至不再有这样的结点 对为 止 。最终得到的图称为 G 的 闭合 图, 记做 C(G). 例 2.4.3 图 2.16(a) 的 闭合 图是 (b). (a) (b)
2.4
哈密 顿 道路与回路
19 世纪英国 数学家哈密 顿 (Willian Hamilton), 概念 的 来源看 18 页 。
定义 2.4.1 无向图 G 的一条过 全部 结点的初级回路 ( 道路 ) 称为 G 的哈密 顿 回路 ( 道路 ), 简 记 为 H 回路 ( 道路 ).
例 2.4.1 完全 图 Kn 中 (n≥3) 中存在 H 回 路。 例 2.4.2 下 图中不存在 H 回路,但存在 H 道 路。
P 中的边没有重复出现:简单道路,简单回路。 P 中结点也不重复出现:初级道路,初级回路。
举例
v1 v1 e1 e4 v2 e6 e2 v3 e7 v4 v2 e6 e2 v3 e7 e5 e1 e4 e5 v4
图 2.1
图 2.2
举例 2.1.3
例 2.1.3 设 C 是简单图 G 中含结点数大于 3 的一个初级回路,如果结点 vi ,vj 在 C 中不相 邻,而边 (vi ,vj)∈E(G), 则称 (vi ,vj) 是 C 的 一条弦。若对每一个 vk∈V(G), 都有 d(vk)≥3 ,则 G 中必含带弦的回路。 证明:在 G 中构造一条极长初级道路 P = (ei1, ei2, …, eij), 不妨设 ei1 = (v0 ,v1 ), eij=(vj-1 ,vj ) 。 由于 P 是极长的初级道路,所以 v0 和 vj 的邻接点都 在该道路 P 上。有已知条件 d(v0 )≥3, 不妨设 Г(v0 )={v1 , vis , vit ,…}. 其中 1<j<k ,这时 (v0 , v1 , …vit , v0) 是一条初级回路, (v0 , vis) 是该回路 中的一条弦。
若 l < n, 则可以证明 G 中一定存在经过结点 vi1, vi2, … , vil 的初级回路。否则,若边 (vi1, vip)∈ E(G) ,就不能有 (vil , vip-1)∈ E(G) ,不然删 掉 (vip , vip-1) ,就 形 成了一条过这 l 个结点的初级回 路。 见 图 2.14 。
证明:有性质 1.1.2 知, k 是偶数。 在这 k 个结点间增加 k/2 条边,使每个结点都 与其中一条边关联,得到 G’ , G’ 中各结点 的度都为偶数。 由定理 2.3.1 知, G’ 中有欧拉回路 C ,添加 的 k/2 条边都在 C 上,且不相邻接。 删去这些边,得到 k/2 条简单道路,它们包含 了 G 的所有边。也即 E(G) 划分成了 k/2 条简 单道路。
图 2.14
于是,设 d(vi1) = k, 则 d(vil) ≤ l-k-1. 因此 d(vi1)+d(vil) ≤ k+ l-k-1 <n-1, 与已知矛盾。所以,存在经过 vi1, vi2, … , vil 的初级回 路。 由于 G 连通,所以存在 C 之外的结点 vt 与 C 中的某 点 ( viq ) 相邻。删去 (viq-1 , viq) ,则 P’=(vt, viq, … , vip-1, vil , … , viq-1) 是 G 中一条比 P 更 长的初级道路。以 P’ 的两个端点 vt 和 viq-1 继续 扩 充,可得到一条 新 的极长的初级道路。重复 上 述 过 程 ,因为 G 是有穷图,所以最终得到的初级道路 一定包含了 G 的 全部 结点,即是 H 道路。
推论 2.3.1
若无向图 G 中只有 2 个度为奇的结点, 则 G 存在欧拉道路。 证明:设 vi 和 vj 是两个度为奇数的结点。 作 G’=G+(vi, vj) ,则 G’ 中各点的度都是偶数 。由定理 2.3.1 , G’ 有欧拉回路,它包含边 (vi, vj) ,删去该边,得到一条从 vi 到 vj 的简 单道路,它恰好经过了 G 的所有边,亦即是 一条欧拉道路。
2.3 欧拉道路与回路
1736 年瑞士著名数学家欧拉发表图论 的第一篇论文“哥尼斯堡七桥问题”。
定义 2.3.1
无向连通图 G=(V, E) 中的一条经过所有 边的简单回路 ( 道路 ) 称为 G 的欧拉回路 ( 道 路 ).
定理 2.3.1
无向连通图 G 存在欧拉回路的充要条件 是 G 中各结点的度都是偶数。 证明:必要性:若 G 中有欧拉回路 C, 则 C 过每一条边有且仅有一次。对任一结点 v, 如果 C 经由 ei 进入 v, 则一定通过另一条 边 ej 从 v 离开。因此 v 的度是偶数。
图 2.16
引 理 2.4.2. 简单图 G 的 闭合 图 C(G) 是 证明:设 C1(G) 和 C2(G) 是 G 的两个 闭合 图。 唯一的。 L1={e1, e2, …, er}, L2={a1, a2, …, as}, 分别是 C1(G) 和 C2(G) 中 新 加入边的集 合 ,可以证 明 L1=L2 ,即 C1(G)=C2(G) 。如若不然,不 失 一 般 性,设 ei+1=(u,v)∈ L1 是构造 C1(G) 时第一条不 属于 L2 的边,也即 ei+1∉ C2(G). 令 H=GU{e1, e2, …, ei}, 这时 H 是 C1(G) 也是 C2(G) 的子图。 由于构造 C1(G) 时要加入 ei+1 ,显然 H 中满足 d(u)+d(v) ≥n, 但 (u,v)∉ C2(G) ,与 C2(G) 是 G 的 闭合 图矛盾。
推论 2.3.2
若有向连通图 G 中各结点的正、负度相 等,则 G 中存在有向欧拉回路。 例 2.3.2 七桥问题既不存在欧拉回路,也不 存在欧拉道路。 例 2.3.3 设连通图 G=(V,E) 有 k 个度为奇 数的结点,证明 E(G) 可以划分成 k/2 条简 单道路。
例 2.3.3 的证明:
举例 2.1.4
例 2.1.4 设 G = (V,E) 是无向图,如果 V(G) 可以划分为子集 X 和 Y ,使得对所有的 e=(u,v)∈ E(G), u 和 v 都分属于 X 或 Y , 则称 G 是二分图。证明:如果二分图 G 中存在 回路,则它们都是由偶数条边组成。 证明:设 C 是二分图 G 的任一回路,不妨设 v0 ∈X 是 C 的始点,由于 G 是二分图,所以沿回 路 C 必须经过偶数条边才能到达某结点 vi ∈ X, 因而只有经过偶数边才能回到 v0
充分性:假定 G 中各结点的度都是偶数。
由于 G 是有穷图,因此可断定从 G 的任一结点 v0 出发一定存在 G 的一条简单回路 C 。这是因为各结点 的度都是偶数,所以这条简单道路不可能停留在 v0 以外 的某个结点,而不能再向前伸延以致构成回路 C 。 如果 E(G)=C, 则 C 就是欧拉回路,充分性得证 。否则在 G 中删去 C 的各边,得到 G1 = G-C 。 G1 可能 是非连通图,但每个结点的度保持为偶数。这时, G1 中 一定存在某个度非零的结点 vi, 同时 vi 也是 C 中结点。否 则 C 的结点与 G1 的结点之间无边相连,与 G 是连通图矛 盾。同样理由,从 vi 出发, G1 中 vi 所在的连通支内存在 一条简单回路 C1 。显然 C∪ C1 仍然是 G 的一条简单回路
举例 2.1.6
例 2.1.6 图 2.4 是连通图,不含回路,而且 任意两结点之间都只有唯一的一条初级道路。这 种图称为树,它是含边数最少的连通图。
举例 2.1.7 例 2.1.7 设 G 是简单图,证明: 当 m>(n-1)(n-2)/2 时, G 是连通图。