反NP

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

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

相关

  • 酶(英语:Enzyme(/ˈɛnzaɪm/ )),是一类大分子生物催化剂。酶能加快化学反应的速度(即具有催化作用)。由酶催化的反应中,反应物称为底物,生成的物质称为产物。几乎所有细胞内的代谢过
  • 万有引力定律牛顿的万有引力定律(英语:Newton's law of universal gravitation),通称万有引力定律,定律指出,两个质点彼此之间相互吸引的作用力,是与它们的质量乘积成正比,并与它们之间的距离成
  • span class=nowrapRaClsub2/sub/span氯化镭,化学式RaCl2,是第一种被制出的镭化合物,由玛丽·居里制得。金属镭最初由汞电极电解氯化镭溶液制得。氯化镭在溶液中结晶生成二水合物(RaCl2·2H2O)。在空气中100°C加热
  • 类淀粉沉积症类淀粉沉积症(英语:Amyloidosis),又称类淀粉堆积症或淀粉样变,是指类淀粉蛋白(一种异常蛋白质)沉积在组织引起的一类疾病。类淀粉沉积症的病征视乎淀粉样蛋白沉积的所在地而有所不
  • 陪都陪都(性质相同或相近的有“留都”、“次都”、“副都”或“别都”等)指一个国家在首都之外另外设立的都城,一般不设中央政府机构,通常不是全国的政治中心。陪都至少都是区域性的
  • 微型摄影术微型摄影术(英语:Subminiature photography)是用微型相机拍摄相片的技术。微型摄影术以胶卷底片的类别界定,凡底片小于35毫米、大于2毫米直径的摄影术,称为微型摄影术,底片小于2毫
  • 丁酸甲酯丁酸甲酯是无色透明易挥发、有苹果香味的液体。由丁酸和甲醇经由硫酸催化反应而得。带有宜人的香味和味道,也因此被用作食品和香水添加剂。溶于乙醇、乙醚等有机溶剂。
  • 土耳其饮食土耳其菜(土耳其语:Türk mutfağı)或土耳其饮食,大体上指的是奥斯曼饮食的延伸,而奥斯曼料理也借鉴切尔克斯(英语:Circassian cuisine)、中亚(英语:Central Asian cuisine)、高加索(英
  • 木下杢太郎木下杢太郎(木下杢太郎,きのした もくたろう,1885年8月1日-1945年10月15日)是一位日本诗人、剧作家、小说家、美术史家与医学学者,并曾担任爱知医科大学教授,本名为太田正雄,出生于
  • 泮村泮村(반촌)是朝鲜王朝时泮民(반민,服务于成均馆儒生的奴婢)聚居的一个围绕汉阳成均馆的村庄。根据《礼记·王制》:“大学在郊,天子曰辟雍,诸侯曰泮宫”,朝鲜因为是明朝和清朝的藩属国