反NP

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

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

相关

  • 760–779医学导航: 产科生理/发育/薄膜(英语:Template:Extraembryonic and fetal membranes)病理/条件源/母体传递(英语:Template:Diseases of maternal transmission), 齐名(英语:Template:
  • 爪哇语爪哇语是印尼四大主岛之一的爪哇岛上东、中部居民主要采用的语言。爪哇语属南岛语系中马来-波利尼西亚语族的一个语支,和印尼语及马来语算是近亲,有语言人口7550万人。不少讲
  • 无机盐矿物质,又称为无机盐,除了碳、氢、氮和氧之外,也是生物必需的化学元素之一,也是构成人体组织、维持正常的生理功能和生化代谢等生命活动的主要元素,约占人体体重的4.4%。它们可以
  • 法国海外省法国行政区划是指法国的行政和机构的划分。法国本土指的是位于欧洲不包含海外属地的法国领土,按级别划分为(截止2016年):法国是一个单一制国家,上述的任何部分都不握有主权。这种
  • PMW马来西亚联邦直辖区授勋及嘉奖制度是联邦直辖区政府用以表扬和奖励社会有功人士及效忠者的荣誉制度,一般于联邦直辖区日颁布,较高级的荣誉勋章会由最高元首公开颁赠,较低级的奖
  • 圣基茨和尼维斯总理圣基茨和尼维斯总理为行政首长,总理为在议会大选中获多数席位的政党领袖,任期为5年。阿根廷总统 · 安提瓜和巴布达总理 · 巴巴多斯总理 · 巴哈马总理 · 巴拉圭总统 · 巴
  • 骆耕漠骆耕漠(1908年10月18日-2008年9月12日),原名丁士通,曾用名李政、李百蒙,浙江临安(原于潜县)人,中国经济学家,中国科学院哲学社会科学学部委员、中国社会科学院荣誉学部委员。骆耕漠出
  • 沃尔夫哈特·齐默尔曼 沃尔夫哈特·齐默尔曼(德语:Wolfhart Zimmermann,1928年2月17日-2016年9月18日),德国理论物理学家。
  • DEEP (歌手组合)DEEP是来自日本的四人男子歌唱团体,前身为COLOR。唱片发行公司为Rhythm zone。团体所属事务所为LDH。初代COLOR(2004年~2006年)由EXILE的主唱ATSUSHI领队主唱及制作。2006年1
  • 天主教赫勒拿教区天主教赫勒拿教区(拉丁语:Dioecesis Helenensis;英语:Roman Catholic Diocese of Helena)是美国一个罗马天主教教区,属波特兰总教区。范围包括蒙大拿州西部,教座位于州府赫勒拿。20