分团覆盖问题

✍ dations ◷ 2025-09-14 03:52:56 #分团覆盖问题

在计算复杂度理论内,找一个最小的分团覆盖(clique cover)是一个图论的NP完全问题。这问题属于卡普的二十一个NP-完全问题之一,由卡普在1972年的论文"Reducibility Among Combinatorial Problems"证明为NP完全。

分团覆盖问题(有时叫做分成分团,partition into cliques)是问一个图里面的所有点可否分成个分团。一旦给定了这个图该怎么分成个分团,我们可以在多项式时间里面检证这个答案是否正确,因此我们可以知道这个问题属于NP。

分团覆盖问题是NP完全这件事情,可以借由将此问题从-图着色问题(GRAPH -COLOURABILITY)归约出来而得证。要推出这个结果,首先我们将一个-图着色问题的输入图转成其补图。那么,求出怎么分出个分团这问题就等同于求出怎么分出个独立集;我们能将每个独立集设立一个颜色来得到个颜色,并且保证内所有相同颜色的点不会互相连接。因此,解出的分团问题,即是解出的着色问题。因为我们已知-着色问题是NP完全问题,所以我们能借由将所有NP的问题先归约为-着色问题,再归约为分团覆盖问题,而将所有NP完全问题归约成分团覆盖问题。故分团覆盖问题是NP完全问题。

相关的问题分团边覆盖则是考虑是否存在分团的集合能包含图中所有的边(edge)。这个问题也一样是NP完全问题。

相关

  • 差猜·春哈旺差猜·春哈旺(泰语:ชาติชาย ชุณหะวัณ;RTGS:Chatchai Chunhawan; 1920年4月5日-1998年5月6日),泰国第17任泰国总理(1988年–1991年),是泰国史上第17位首相。差猜乃泰国华
  • 植物生物物理学植物生物物理学(plant biophysics),是生物物理学(biophysics)的一个分支学科。它是将生物物理学的基本概念和研究方法引入植物研究的一门新兴学科。
  • .az.az为阿塞拜疆国家及地区顶级域(ccTLD)的域名。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .bb .bd .be .bf .bg .bh .bi .bj .bm .
  • believe (Kalafina单曲)《believe》,为Kalafina的第十六张单曲。由梶浦由记作词・作曲。距离上一张单曲“heavenly blue”发售约三个月,于2014年11月19日发行,也是两张精选专辑发行以来第一张未被其收
  • 万拉峇鲁县万拉峇鲁县(马来语:Daerah Bandar Baharu),是马来西亚吉打州东南部的一个县。其面积为271.27平方公里,人口于2010年为42,341。该县北临居林县,西临槟城州威南县,东临霹雳州拉律峇登
  • 世阿弥世阿弥(1363年-1443年9月1日),日本室町时代初期的猿楽演员与剧作家。与其父观阿弥共同为集猿楽(或作申楽,现在的能)之大成者,留下了许多著作。观阿弥、世阿弥的能剧由观世流继承至今
  • 水星地质水星地质的主要特征是撞击坑和类似月海的熔岩平原。其他主要的特征有很陡的斜坡和极区撞击坑底的矿物沉积(可能有冰)。目前一般认为水星表面已经没有地质活动。至今只有55%的
  • 胡义周胡义周,五胡十六国时期安定临泾(今甘肃省镇原县)人。后秦时为姚泓黄门侍郎,后为夏国赫连勃勃的秘书监。撰有《统万城铭》:“延王尔之奇工,命班输之妙匠,撰文梓于邓林,采绣石于恒岳,九
  • 凯迪拉克BLS凯迪拉克BLS是凯迪拉克以绅宝9-3进行换标工程的车款,目的是为了进军欧洲市场,定位比CTS更小台,2005年推出,2006年开卖,隔年再推出了五门旅行车版本,并在中东、韩国、俄罗斯、墨西哥、南非等地销售,但从未在美国与加拿大市场上市。根据通用汽车表示,BLS意指“ B-segment Luxury Sedan”,也有人说是“Bob Lutz Special”,讽刺当时负责此换标工程专案的GM产品开发部副主席Bob Lutz,他希望BLS能增加凯迪拉克车系的完整度,然而此车款被受到许多批评,最终在市场上已
  • 弗朗茨·布伦纳弗朗茨·布伦纳(德语:Franz Brunner,1913年3月21日-1991年12月22日),奥地利男子手球运动员。他曾代表奥地利参加1936年夏季奥林匹克运动会手球比赛,获得一枚银牌,他在其中两场比赛中有上场。