《离散数学》——图论6.7

图论里的一系列概念、性质、定理。

无向图中的平行边:字面理解,即是两个顶点相同的边,互称为平行边。

无向图重数:无向图中平行边的条数成为重数,这里要注意,是所有平行边的和而不是最大的一组平行边。

有向图中的平行边:与无向图平行边的定义很类似,但是这里要求起点和终点是一致的(即方向要一致)。

多重图:含有平行边的图。

简单图:不含平行边和自环的图。容易看到,对于n阶简单图满足Δ≤n-1。

无向完全图:任意两个顶点之间都存在边,用Kn来表示。基于其定义,我们可知边数m = C(n,2)

有向完全图:任意两个顶点之间存在方向相反的两条边,边数m=2C(n,2)。

k-正则图(基于无向简单图) : 各顶点度数都是k的无向简单图,结合我们之前学习过的握手定理,边数m = ∑d(vi)/2 = nk/2.

圈图:即存在一条路径<v1,v2,…vi,v1>,使得从v1出发可以回到v1.

轮图:基于圈图,在圈内部放置一个点,并将这个点连接圈上的每一个点。

子图、真子图、生成子图:它们的概念理解并不困难,需要注意的是生成子图要求点集是原图的点的全集。

补图:设n阶图为G,则满足G∪G’ = Kn边数最少的G’,即G的补图。

图的连通性:

设图G中有一条路径<v1,e1,v2,e2,v3…,vn>

首先:如果n=1,则形成一条回路

简单通路(回路):如果该路径的边没有重复经过,则这是一条简单通路。

初级通路(回路):如果该路径的边和点都没有重复经过,则这是一条初级通路

复杂通路(回路):如果该路径中边出现重复,那么这是一条复杂通路。

通过定义我们容易看到,初级通路一定是简单通路,反之则不成立。

定理:在一个n阶图中,若从顶点u到v(u≠v)存在通路,则从u到v存在长度小于等于n-1的初级通路。

证明:设u到v的一条路径是<v1,e1,v2,e2,…,vl>,如果这条路径点没有重复出现,那么显然这是一条初级通路,而边数也至多是n-1.否则,必然存在t<s,vs = vt(v、s大小表示访问的先后顺序),删掉路径<vs,es…vt>,反复操作,则必然可以得到一条初级通路。证毕。

Ex1:画出4阶3条边的所有非同构的无向简单图。

对于画非同构图的问题,我们考虑先得到所有度数列,然后再一一画出图。而对于该题,有无向简单图的限制,则Δ≤3,再结合握手定理的推论,则我们容易得到如下几种度数列。

①1 1 1 3

②1 1 2 2

③0 2 2 2

随后依次画出图即可。需要注意的是,相同的度数列也可以画出通构图,我们通过下一个例题来给出例子。

Ex2:画出1,1,,12,2,3为度数列的3个非同构无向简单图。

这个过程有点类似高中有机化学中找同分异构体,而在具体到这个题目当中,其实很类似基于一个线性的结构(5个顶点),然后挂一个甲基,很显然,考虑对称性有2-甲基和3-甲基两种非同构情况,这就给出了一个相同度数列但是图是非同构的情形。

时间: 2024-10-10 12:24:37

《离散数学》——图论6.7的相关文章

离散数学图论

w 如何学习数据结构? - 知乎  https://www.zhihu.com/question/21318658/answer/63652147 作者:知乎用户链接:https://www.zhihu.com/question/21318658/answer/63652147来源:知乎著作权归作者所有.商业转载请联系作者获得授权,非商业转载请注明出处. 数据结构的本质就在于:如何将现实世界中各种各样的数据放入到内存中,并且如何在内存中操作这些数据,如何评价这些存储方案和操作方法.数据结构难学吗

离散数学-图论-哈密顿图及其应用

哈密顿图 一.定义概念 1.哈密顿通路 设G=<V,E>为一图(无向图或有向图).G中经过每个顶点一次且仅一次的通路称作哈密顿通路 2.哈密顿回路 G中经过每个顶点一次且仅一次的回路(通路基础上+回到起始点)称作哈密顿回路 3.哈密顿图 若G中存在哈密顿回路,则称它是哈密顿图 4.定义详解: (1)存在哈密顿通路(回路)的图一定是连通图: (2)哈密顿通路是初级通路,哈密顿回路是初级回路: (3)若G中存在哈密顿回路,则它一定存在哈密顿通路,反之不真(看课本的话,是必要条件,而不是充分条件,故

[USACO]时间管理

作为一名忙碌的商人,约翰知道必须高效地安排他的时间.他有N工作要 做,比如给奶牛挤奶,清洗牛棚,修理栅栏之类的. 为了高效,列出了所有工作的清单.第i分工作需要T_i单位的时间来完成,而 且必须在S_i或之前完成.现在是0时刻.约翰做一份工作必须直到做完才能停 止. 所有的商人都喜欢睡懒觉.请帮约翰计算他最迟什么时候开始工作,可以让所有工作按时完成.(如果无法完成全部任务,输出-1) Finley AOE网与AOV网 有向无环图(Directed Acycline Graph, DAG)是一类特

【离散数学2】代数系统与图论个人总结

代数系统部分 基础定理 鸽巢原理 群论 广群 半群 独异点 群 群的阶数与元素的阶数 陪集与拉格朗日定理 特殊群 交换/阿贝尔群 循环群 sylow定理 环与域 环 整环 域 格论 格 分配格 模格 有界格 补格 图论部分 基础定理 握手定理 握手定理,有n个人握手,每人握手x次,握手总次数为S= nx/2. 推出 图的度与边数的关系 基础概念 路 节点与相邻的边交替出现 v0e1v1e2...vn-1envn 回路  v0=vn的路//某教材虽然这么写 但题出的都是欧拉回路呵呵 通路 圈 迹

《离散数学》——图论6.6

关于简单的握手定理及其推论这里不在体现,这里我们记录三道利用握手定理并基于反证法的证明题. Ex1:设n阶m条边的无向图G中,m=n+1,证明G中存在顶点v,满足d(v) ≥3. 证明:考虑反证法,既需要将待证命题的否命题归谬.首先我们写出带证明题的否命题:G中任意的顶点v,都满足d(v)≤2. 由握手定理可知,∑d(v) = 2m = 2(n+1) ,结合假设,∑d(v) ≤ 2n,即有2n + 2≤2n,矛盾.原命题的正确性得证. Ex2:证明:空间不存在有奇数个面且每个面均有奇数条棱的多面

《离散数学》——图论6.10

与树相关的知识点: 相对来说清华大学出版社的这本<离散数学>有关树的这一章节还是比较简单地,概念也不多,有关树.森林.树叶.分支点.生成树.最小生成树等概念都很简单,这里不再累述,下面记录几个定理和重要的算法步骤. 定理1:设T<V,E>是n阶非平凡的无向树,则T至少有2片树叶. 证明:设T有k片树叶,则有n-k个分支点(分支点的度数大于等于2),由握手定理可知2m≥k + 2(n-k),然后考虑到树结构中一个非常常用的性质,边数m和顶点数n满足m = n – 1,带入不等式,可得

《离散数学》——图论6.8

短程线.距离:记Γ是vi到vi的一掉路径,Γi = min{Γ1.Γ2.Γ3…},那么Γi就是vi和vj之间的短程线,其长度即是vi与vj之间的距离. 点割集.割点:记p(G)为G的连通度,对于点集V的子集V’,V’任意的子集V’’,满足p(G-V’’)>p(G),那么V便成为一个点割集,当某个点割集中只有一个点v时,v称为割点. 边割集.割边(桥):类比点割集.割点有相似的概念. 点连通度:用κ(G)表示,k(G) = min{|V’| | V’是点割集或使G-V’是有一个顶点} 边连通度:与

《离散数学》——图论6.9

几种特殊的图: 二分图: 定义:对于G,存在点集V1.V2满足V1∩V2 = ∅,V1∪V2 = V,并对于任意边eij,有vi.vj分别属于V1.V2,则称这样的图是二分图,也叫二部图.偶图.双图.这里需要注意的是,我们这里约定n阶零图(不含边的图)也是二分图.(并且这里我们主要讨论无向二分图) 定理:无向图G=<V,E>是二分图当且仅当G中无奇数长度的回路. 必要性:根据二分图的定义,能够看到对于路径Γ,当起点vi和vj同属于V1的时候,则必然经过了偶数条边,而回路显然满足这种情况. 充分

&lt;图论&gt;&lt;离散数学&gt;计算机科学中的&quot;图&quot;

1.Graph的定义 我们对图的定义是G=<V,E>.V是一群顶点的集合,E是一群边的集合,每条边连接V中的两个顶点,V不可以是空集,E可以是空集,V和E组成一个G,G就是一个图.1<1>  directed graph和undirected graph有向图和无向图 如果E中没有有向边,我们说G是一个无向图,否则G是一个有向图(当然无向图也可以视为有向图).1<2>  simple graph和multigraph 如果在G中,每两个顶点间最多有一条边,或者说每两个顶