反NP

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

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

相关

  • 迷幻音乐迷幻音乐 是一种音乐流派,有着丰富的流行音乐风格。上世纪60年代兴起了一种叫作迷幻文化的亚文化,人们沉迷于各类迷幻药物,如迷幻剂,迷幻蘑菇,麦司卡林和DMT等,以此引起幻觉,扭曲正
  • 科西嘉坐标:42°9′N 9°5′E / 42.150°N 9.083°E / 42.150; 9.083科西嘉领土集体(Collectivité Territoriale de Corse)是法国的一个领土集体,其范围包括科西嘉岛及附近小岛。科西
  • 静脉肾盂造影术静脉肾盂造影(英文IVP(intravenous pyelography)或IVU (intravenous urogram))是一种特殊的X光检查,用来检查泌尿系统(如肾脏、输尿管、膀胱等)有无异常,包括结石、肿瘤、阻塞或各
  • 预产期预产期(英语:Expected Date of Delivery or Estimated Due Date),缩写为EDD,是一个医学概念,用于预测孕妇的生产时间,即婴儿的出生时间。根据内格莱氏法则进行推算,一般为末次月经
  • dz浊齿龈塞擦音(voiced alveolar affricate)是塞音d和擦音z紧密结合形成的一个浊塞擦音,国际音标为⟨d͡z⟩或⟨d͜z⟩。意大利语的浊z是此音。浊齿龈塞擦音的特征包括:当符号成对
  • 尤克人尤克人,是西伯利亚土著,分布于叶尼塞河下游。他们一直也是克季人一部分,在1960年代成为一个独立民族。有他们自己的区域,在八十年代曾并入克季人,在90年代重新独立。在1991年有10
  • 经济局经济局(葡萄牙语:Direcção dos Serviços de Economia,葡文缩写:DSE)是澳门特别行政区的经济部门,负责协助制订和执行经济活动范畴、知识产权范畴以及其他法律规定属其范畴的经
  • 伊利诺伊东区美国伊利诺伊东区联邦地区法院(引用时缩写为E.D. Ill.)是美国伊利诺伊州的一个已废除的联邦地区法院。该法院是通过 33 Stat. 992 于1905年3月3日建立。 1978年10月2日,伊利诺
  • 艾山艾山街道,是中华人民共和国山东省济南市钢城区下辖的一个乡镇级行政单位。艾山街道下辖以下地区:北城子坡社区、南城子坡社区、逯家庄社区、周家坡社区、张庄社区、陶家岭社区
  • 巴尔托洛梅奥·哥伦布巴尔托洛梅奥·哥伦布(意大利语:Bartolomeo Colombo,热拿亚语:Bertomê Corombo,西班牙语:Bartolomé Colón;1464年-1515年),欧洲航海家,克里斯托弗·哥伦布的弟弟。1470年代,巴尔托洛