完美图定理

✍ dations ◷ 2025-07-08 17:30:46 #图论,完美图

在图论中,完美图定理(由洛瓦兹·拉兹洛证明László Lovász (1972a, 1972b))断言:一个无向图是完美的当且仅当其补图也是完美的。这个结论一度是Claude Berge(英语:Claude Berge)提出的猜想。它有时也被称为弱完美图定理,以和强完美图定理作区分。强完美图定理通过禁止导出子图来刻画完美图。

一个完美图是具有下述性质的无向图:在其每个导出子图中,最大团的顶点数都等于对该导出子图的着色的颜色数的最小值。完美图包括了很多重要类型的图,例如二分图、弦图和可比图(英语:comparability graph)。

一个图的补图在某两个顶点之间连一条边当且仅当原图在这两个顶点之间没有连边。从而原图中的团成为其补图中的独立集,而原图的一个染色成为其补图的一个团覆盖。

完美图定理断言:完美图的补图也是完美的。

等价地,在完美图中,最大独立集的顶点数等于其团覆盖中团个数的最小值。

令是一个长度为大于3的奇数的循环图(洞),则G的任何染色需要至少3种颜色,但G不含有三角形,所以它不是完美的。由完美图定理,G的补图(一个奇数长度的反洞)肯定也不是完美的。如果G是一个长度为5的圈,则它是一个自补图(英语:Self-complementary graph),但此性质对更大的奇数长度不再成立,而对于奇数个顶点的反洞计算其团数和色数也不像对于奇数个顶点的循环图那么容易。强完美图定理指出,奇数长度的洞和反洞是完美图的最小的禁止导出子图。

在一个非平凡的二分图中,由定义染色所需的颜色数最小是2,而由于二分图中不含有三角形,其团数也是2。而二分图的任何导出子图还是二分图。所以二分图是完美的。在有n个顶点的二分图中,一个最小团覆盖需要一个最大匹配加上另一些团,每个对应于一个未匹配顶点,其中团的个数等于n-M,这里M是最大匹配的边数。于是在这个例子中完美图定理可以推出柯尼希定理 (图论),即有n个顶点的二分图的最大独立集的顶点数也是n-M

Chudnovsky等人(2006)得到的强完美图定理断言一个图是完美的当且仅当其所有导出子图和它们的补图都不是长度为大于等于5的奇数的循环图。由于此条件在取补图后不变,强完美图定理可以直接推出(弱)完美图定理。

Cameron, Edmonds & Lovász(1986)证明,如果一个完全图的所有边被分成三个导出子图,使得任何三个顶点都在其中一个导出子图中连通,且两个导出子图是完美的,则第三个导出子图必然也是完美的。完美图定理是这个结果在其中一个导出子图是空图时的特例。

相关

  • 知识管理知识管理(英语:knowledge management,缩写为KM)包括一系列企业内部定义、创建、传播、采用新的知识和经验的战略和实践。这些知识和经验包括认知,可以是个人知识,以及组织中商业流
  • 费迪南·冯·哈布斯堡费迪南·兹沃尼米尔·冯·哈布斯堡(Ferdinand Zvonimir von Habsburg,1997年6月21日-),全名是费迪南·兹沃尼米尔·玛利亚·巴尔蒂斯·凯特·米夏埃尔·奥托·安塔尔·巴曼·莱昂
  • 鸟颈类主龙鸟颈类主龙(Ornithodira)又称鸟颈总目,是一个庞大的主龙类演化支。鸟颈类主龙的特征是挺立的步态与S状曲线的脖子,所以命名为鸟颈类主龙。鸟颈类主龙包括两个主要的次演化支:恐龙
  • d区元素d区元素是元素周期表中的副族元素,即第3至第12族元素。这些元素中具有最高能量的电子是填在d轨域上的。这些元素有时也被称作过渡金属。D区的D来自英语的“diffuse”。图解:在
  • 生糖氨基酸生糖氨基酸(英语:glucogenic amino acid)是指在体内能转化生成葡萄糖、糖原的氨基酸。生糖氨基酸有15种:丙氨酸、甘氨酸、丝氨酸、苏氨酸、半胱氨酸、谷氨酸、谷氨酰胺、精氨酸
  • 男同性恋免疫缺乏症男同性恋免疫缺乏症(英语:Gay-related immune deficiency)是1982年提出,在艾滋病拥有合理的作为综合征的医学解释之前,用于描述“一系列的意料之外的病例”也是用来代指艾滋病的
  • 辐鳍鱼目分类请见本文。辐鳍鱼又名条鳍鱼,为辐鳍鱼总纲(学名:Actinopterygii)鱼类的通称,是一类鳍呈放射状的硬骨鱼。辐鳍鱼是脊椎动物中种类最多的,种数几乎占现存3万多种鱼类的99%,遍及
  • 脾细胞脾细胞(英语:splenocyte)是在脾脏中的单核细胞,是免疫系统的一员。单核细胞是五种主要的白细胞之一。(注:Splenocyte照字面翻译为“脾细胞”,但不建议翻成中文。)
  • 硫化铈 (消歧义)硫化铈是铈的硫化物,有下列几种:
  • 69特种部队69特种部队(马来语:69 Komando;另称“Very Able Troop 69”;俗称:“VAT69”),属于突击队(Strike Force)。初期成立时,并没有固定的名字,直到1970年代两个名称都受官方认可,其名称中的“