反NP

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

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

相关

  • 程镕时程镕时(1927年10月18日-),江苏宜兴人,高分子物理及物理化学家,中国科学院院士。程镕时于1945年考入金陵大学化学系,曾师从知名化学家戴安邦。1949年毕业后进入北京大学攻读研究生,师
  • 檀木檀或檀木,不是一个具有精确意义的字、辞,不尽然是一种木材,或一类木材的统称。有时候指一种香木,有时候指质地坚韧、纹理细致的一种硬木,有时候指兼具以上这两种特性的木材。与其
  • 阿古拉斯暖流阿古拉斯洋流(Agulhas current)是印度洋西南部的西边界流(western boundary current),沿着非洲东岸从27°S 流至 40°S。该洋流窄、急而强;有人甚至认为它可能是世界大洋中最大的
  • 马来西亚公民权马来西亚公民(英语:Citizen of Malaysia;马来语:Warganegara Malaysia)是指拥有马来西亚国籍的人士,公民的国籍身份述于《马来西亚联邦宪法》第14至31条文,相关的法律规范述于《196
  • 宫内厅 ?、英语:Imperial Household Agency)是日本政府中掌管天皇、皇室及皇宫事务的机构,其前身为“宫内省”与“宫内府”。宫内厅除了负责与皇室有关的国家事务外,还有协助天皇接见
  • 瓦莱达奥斯塔大区瓦莱达奥斯塔(意大利语:Valle d'Aosta,法语:Vallée d'Aoste;阿皮坦语:Vâl d'Aoûta,Valle意为山谷)是意大利西北部的一个多山的大区,也是意大利面积最小的大区,面积3,263平方公里,人
  • 安藤宏基安藤宏基(日语:安藤 宏基 ,1947年10月7日-),大阪府池田人,原名吴宏基,安藤百福的次男,日清食品的首席执行官。1971年3月,从庆应义塾大学商学部毕业,后留学美国哥伦比亚大学。他曾致力
  • 里欧·克罗伊特里欧·克罗伊特(Lior Kroyter),以色列男子羽毛球运动员。2014年10月,里欧·克罗伊特与亚历山大·巴斯合作出战以色列夏琐羽毛球国际赛男子双打项目,在决赛中以0-3的成绩(5-11、10-
  • 蠡县.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
  • 密苏里州议会大厦密苏里州议会大厦(Missouri State Capitol)是美国密苏里州议会的开会地点和密苏里州州长的办公场所,位于密苏里州首府杰佛逊城。密苏里州议会大厦竣工于1917年。议会大厦的穹顶