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

哈密顿图

一、定义概念

1.哈密顿通路

设G=<V,E>为一图(无向图或有向图).G中经过每个顶点一次且仅一次的通路称作哈密顿通路

2.哈密顿回路

G中经过每个顶点一次且仅一次的回路(通路基础上+回到起始点)称作哈密顿回路

3.哈密顿图

若G中存在哈密顿回路,则称它是哈密顿图

4.定义详解:

(1)存在哈密顿通路(回路)的图一定是连通图;

(2)哈密顿通路是初级通路,哈密顿回路是初级回路;

(3)若G中存在哈密顿回路,则它一定存在哈密顿通路,反之不真(看课本的话,是必要条件,而不是充分条件,故不可反推!)

(4)只有哈密顿通路,无哈密顿回路的图不叫哈密顿图;即,哈密顿图是回路

二、判定定理

注意:目前没有找到哈密顿图的简单的充要条件

(1)设无向图G=<V,E>为哈密顿图,V1是V的任意真子集,则(注:n阶xx图指的是n个顶点,不要迷!)

p(G-V1)<=|V1|

其中,p(G-V1)为G中删除V1后的所得图的连通分支数目,|V1|为V1集合中包含的顶点个数。【哈密顿图存在的必要条件】

  推论有割点的图一定不是哈密顿图

设v是图中的割点,则p(G-v)>=2,由上述定理知G不是哈密顿图

(2)设G是n(n>=3)阶无向简单图,若对于G中的每一对不相邻的顶点u,v,均有

d(u)+d(v)>=n-1

则G中存在哈密顿通路。又若

d(u)+d(v)>=n

则G中存在哈密顿回路,即G为哈密顿图。【哈密顿图存在的充分条件,不是必要条件】

其中d(u),d(v)分别代表顶点u,v的度数。

推论:设G是n(n>=3)阶无向简单图,若G的最小度>=n/2,则G是哈密顿图。

由推论知,对于完全图Kn,当n>=3时,是哈密顿图,完全二部图Kr,s当r==s>=2时是哈密顿图。

(3)在n(n>=2)阶有向图D=<V,E>中,如果略去所有有向边的方向,所得无向图中含生成子图Kn,则D中存在哈密顿通路。

推论:n(n>=3)阶有向完全图是哈密顿图。

1.常用方法判断是哈密顿图:

(1)若能通过观察找出图G中的一条哈密顿回路,则G当然是哈密顿图。

(2)若一个无向图G满足上述(2)中的条件,一个有向图D满足上述(3)的推论的条件,则G、D都是哈密顿图。

2.破坏哈密顿图存在的必要条件,判定不是哈密顿图:

设n阶图G是哈密顿图,则G应该满足以下诸条件:

(1)G必须是连通图;

(2)G中的边数m必须大于等于顶点数n;

(3)若G中存在2度顶点v,即d(v)=2,则与v关联的两条边ei,ej必须在G中的任何哈密顿回路上;

(4)若G中存在每条哈密顿回路中出现的边,不能构成边数小于n的初级回路(圈);

破坏以上诸条件中的一条,都不是哈密顿图。

加一道例题:
证明:某次国际会议8人参加一直每人至少与其余7人中的4人有共同语言问服务员能否将他们安排在同一张圆桌就坐是的每个人都能与两边的人交谈?请用图论中的原理来解释原因。

                                           ==d(任意顶点)>=4;

任意选取两个不相邻顶点(i,j)

d(i)+d(j)>=4+4>8-1;

故存在哈密顿通路(即可以遍历顶点一圈(每个一次)--成为圈----对应一张圆桌)

时间: 2024-10-12 01:52:45

离散数学-图论-哈密顿图及其应用的相关文章

离散数学图论

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

[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.7

图论里的一系列概念.性质.定理. 无向图中的平行边:字面理解,即是两个顶点相同的边,互称为平行边. 无向图重数:无向图中平行边的条数成为重数,这里要注意,是所有平行边的和而不是最大的一组平行边. 有向图中的平行边:与无向图平行边的定义很类似,但是这里要求起点和终点是一致的(即方向要一致). 多重图:含有平行边的图. 简单图:不含平行边和自环的图.容易看到,对于n阶简单图满足Δ≤n-1. 无向完全图:任意两个顶点之间都存在边,用Kn来表示.基于其定义,我们可知边数m = C(n,2) 有向完全图:

《离散数学》——图论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中,每两个顶点间最多有一条边,或者说每两个顶