反NP

✍ dations ◷ 2025-06-09 17:24:15 #复杂度类,最优化,计算机科学中未解决的问题

在计算复杂度理论上,反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。

相关

  • 脂多糖脂多糖(Lipopolysaccharide)是一大型分子油脂和多糖由共价键相连组成的。脂多糖是革兰氏阴性细菌外膜的主要组成部分,提供并保持细菌结构的完整性,保护细菌的细胞膜抵抗某些化学
  • 采石场采石站是位于安徽省马鞍山市雨山区采石唐贤街的一个铁路车站,邮政编码243041。车站建于1936年,有宁铜铁路经过该站,现不办理客货运业务。车站设有1条正线和2条到发线,站场及其上
  • 月世界台湾有多处以月世界为名的恶地地形景点。如位于高雄市田寮区古亭里的田寮月世界;位于高雄市燕巢区的燕巢月世界;位于西拉雅国家风景区内、高雄市内门区与台南市左镇区交界处的
  • 豪斯医生《豪斯医生》(英语:House或House, M.D.)是一部美国医务电视连续剧,于2004年11月16日至2012年5月12日在福克斯电视台首播,前后分为8季。节目主角是休·劳瑞饰演的格里高利·豪斯医
  • 杰克·伦敦约翰·格里菲斯·“杰克·伦敦”·钱尼(英语:John Griffith "Jack London" Chaney,1876年1月12日-1916年11月22日),美国20世纪著名现实主义作家。他出身于美国旧金山的一个破产农
  • 世界最大银行列表以下是根据有关世界上规模最大的银行的一系列列表,银行的规模大小由资产和市值决定。以下排名来自Relbanks于2017年做出的世界银行资产规模前20排名。注意,计算手法的不同可能
  • 003型航空母舰2016年(第1艘)003型航空母舰是中国人民解放军海军正在建造的第二型国产航空母舰。有别于前一型号的航母,该型号航空母舰预计采用弹射起飞作为舰载机的起飞动力来源。上海江南造
  • 奥古斯特·施莱谢尔奥古斯特·施莱谢尔 (也称为施莱赫尔;,1821年2月19日-1868年12月6日)是德国语言学家,出生在德国迈宁根(法兰克福和魏玛连线的正中间)。施莱谢尔是自然主义语言学派的创立者,他重
  • 周正雄职棒前中信鲸球员,现任爱尔达体育台球评。
  • 2000年代2000年代是二十一世纪的年代,从2000年1月1日开始,于2009年12月31日结束。2000年也是第2千年。2000年代是自1850年有现代测量数据以来最热的10年,其间全球经历了诸多气候极端事