完美图定理

✍ dations ◷ 2025-09-11 00:43:30 #图论,完美图

在图论中,完美图定理(由洛瓦兹·拉兹洛证明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)证明,如果一个完全图的所有边被分成三个导出子图,使得任何三个顶点都在其中一个导出子图中连通,且两个导出子图是完美的,则第三个导出子图必然也是完美的。完美图定理是这个结果在其中一个导出子图是空图时的特例。

相关

  • 给药途径给药途径,又称用药途径,药理学和毒理学上指药物和人体接触作用的途径。给药途径通过人体自身的运输和代谢过程,强烈影响着各种药物在体内的效用。上述不是按给药部位,而是按给药
  • 斑鸫鹛斑鸫鹛(学名:Turdoides bicolor),是画眉科鸫鹛属的一种,分布于津巴布韦、博茨瓦纳、纳米比亚和南非。全球活动范围约为1,130,000平方千米。该物种的保护状况被评为无危。斑鸫鹛的
  • 改革宗归正宗(英语:Reformed church)也称加尔文宗、更正宗、改革宗,是基督新教的宗派之一。狭义的归正宗(Continental Reformed church)即欧洲的加尔文主义教会,广义的归正宗(Reformed chu
  • 蛋白质资料库蛋白质数据库(Protein Data Bank,简称PDB)是一个专门收录蛋白质及核酸的三维结构资料的数据库。由Worldwide Protein Data Bank监管。PDB可以经由网络免费访问,是结构生物学研究
  • 虫媒花虫媒花并不是一种花的名称,而是指某一类植物利用昆虫来传粉,让花进行受粉而传衍后代。这类植物也称虫媒授粉植物,是植物界里有花植物的授粉方式之一。传粉的方式除了自花受粉以
  • 宗教电台宗教电台指进行空中进行传教的电台(通常为基督教),其节目内容以布道和讲座为主,并通过FM、中波、短波、电视和网络进行广播。宗教电台在世界大部分国家都存在,在一些无宗教信仰的
  • UTC−06:00UTC−06:00时区比协调世界时慢6小时,使用此时区的地区如下:
  • 樊店站樊店站是一个侯月线上的铁路车站,位于山西省翼城县樊店,建于1969年,目前为五等站,邮政编码为043500。目前客运:办理旅客乘降;不办理行李、包裹托运;不办理货运营业。
  • 抓痕笠蚶抓痕笠蚶(学名:),是魁蛤目笠蚶科的一种。主要分布于台湾,常栖息在水深10-400米砂泥底。
  • KKHJ-FMKKHJ-FM(93.1 FM)是位于美属萨摩亚的一个广播电台,主要播放成人当代音乐,在1999年11月开播。发射地位于帕果帕果,覆盖整个美属萨摩亚,属于南海广播公司。其中KKHJ-FM的呼号于2007