反NP

✍ dations ◷ 2024-12-23 18:00:20 #复杂度类,最优化,计算机科学中未解决的问题

在计算复杂度理论上,反NP类是复杂度类的其中一类。

一个问题 X {\displaystyle {\mathcal {X}}} 是反NP的成员,当且仅当,它的补全 X C {\displaystyle {\mathcal {X}}^{\rm {C}}} 必定是在复杂度NP;用数学符号来写, C o N P := { L | L C N P } {\displaystyle \mathbf {CoNP} :=\{L|L^{\rm {C}}\in \mathbf {NP} \}}

简单来说,反NP复杂度,是高效率而又可核实地证明命题为错的组群,当中的佼佼者是立即找到反例存在。

其中一个NP完全问题的例子是子集合加总问题:给一个整数集合,问是否存在某个非空子集中的数字和为0? 例:给定集合{−7, −3, −2, 5, 8},答案是是,因为子集合{−3, −2, 5}的数字和是0。

补全问题在反NP中就会要求:给有限的整数集,是否每个非空子集之总和皆不为0?你的证明只要必须给出事例,叙述"没有"指定求和到零的一个非空子集,而这证明必须可以在合理时间内验证。

复杂度P,是多项式时间可解的问题集合,是一个NP和反NP的子集。P通常认定是一个在此两类别下的严格子集(但无法验证是落在两个集合的哪一边)。NP和反NP通常认为是不相等的。如果那样,NP完全问题将不会落在反NP问题中,且反NP完全问题将不会落在NP中。

本问题可由下述步骤粗略证明:假设有个NP完全问题 X {\displaystyle {\mathcal {X}}} 处于反NP问题的集合中,由于所有NP问题可被变换成 X {\displaystyle {\mathcal {X}}} 问题,因此我们可以为所有NP问题建造一个可在多项式时间判定其补性质的非确定型图灵机,意即NP是反NP的子集。因此NP问题的补集合是一个反NP问题的补集合,意即反NP是NP的子集。由于我们已知NP是反NP的子集,因此表示这两个集合是一样的,这证明了没有反NP完全问题可在NP类之中的性质是对称的(Symmetrical)。

用数学符号严格证明:假设一个问题 X {\displaystyle {\mathcal {X}}} 是NP完全, N P = C o N P {\displaystyle \mathbf {NP} =\mathbf {CoNP} } ,当且仅当 X C o N P {\displaystyle {\mathcal {X}}\in \mathbf {CoNP} } 。以下的证明是不能从以上文字直接看得出:

如果一个问题可被证同时为NP与反NP,则通常我们将会视作本问题不是NP完全命题的强力假设(若非如此,则NP相等于反NP)。

一个同时在NP与反NP集合的有名问题是整数分解:给两个正整数m与n,决定m是否有小于n且大于1的因数。

第一个问题的方法很清晰:如果m的确存在一个满足条件的因子,则长除法即可验证;另一个问题的方法就困难且精妙多了:你必须将m的所有质数因子列出,并为每个因子提供质数性质的证明。

整数因子分解常与质数性质问题混淆在一起,整数因子化据信是NP或反NP,而质数问题落在类别P。

相关

  • 幻肢幻肢(phantom limb)是某些失去四肢的人类所产生的一种幻觉,这些人感觉失去的四肢仍旧附着在躯干上、并和身体的其他部分一起移动。幻痛,或幻肢痛、肢幻觉痛(phantom (limb) pain)
  • 奥尔伯里奥尔伯里(Albury)是澳大利亚新南威尔士州的一座城市,位于墨累河北岸,距悉尼550公里,距墨尔本325公里。本地为澳大利亚的一个地方政府,由奥尔伯里市政府统辖。奥尔伯里是瑞福利纳地
  • 六畜六畜是中国的一种说法,是指马、牛、羊、鸡、狗、猪六种家畜。在新石器时代结束前,六畜都已驯化成功。“六畜”一词,屡见于《左传》、《周礼》等先秦典籍,最早解释六畜内涵的,是《
  • 腓力三世菲利普四世(西班牙语:Felipe IV;1605年4月8日-1665年9月17日,西班牙哈布斯堡王朝国王,1621年至1665年在位。他同时是南尼德兰的领主布拉班特公爵称菲利普五世,并兼任葡萄牙国王至16
  • 沪昆高铁.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 今鸟类今鸟类或 今鸟亚纲 是鸟类中的一支。由于异物同名现象,以下类群都曾(或仍在)采用今鸟亚纲作为中文名:
  • 中华人民共和国铁路特等站列表中华人民共和国铁路特等站列表如下:
  • 吴建国 (病毒学家)吴建国(?-),中华人民共和国病毒学家。1982年,获武汉大学微生物学学士学位。1985年,获武汉大学病毒学硕士学位,1992年,获美国爱达华大学生物化学博士学位。1993-1996年,为美国普林斯顿
  • 血腥画家血腥画家(英语:Bloody Painter),被分类在Creepypasta项目条列的虚拟杀人魔角色。此角色于2013年被创造出来,全故事为3篇,原故事笔者为DeluCat迪鹿。随着故事角色的普及,而衍生出许
  • 族群、社会与历史族群、社会与历史是由国立交通大学出版社发行的学术丛书,共2本,2015年11月6日正式出版。本套书起自任教于国立交通大学客家文化学院6年的庄英章教授荣誉退休的学术研讨会,当中