反NP

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

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

相关

  • 五倍子五倍子(又名百虫仓、百药煎、棓子)为同翅目蚜虫科的角倍蚜或倍蛋蚜雌虫寄生于漆树科植物“盐肤木”及其同属其他植物的嫩叶或叶柄,刺伤而生成一种囊状聚生物虫瘿,经烘倍干燥后所
  • 五南文化广场五南图书出版股份有限公司(英语:Wu-Nan Book Inc.,简称五南图书公司),是台湾的出版社,主要出版各学门教科书和工具书。五南图书出版公司始于由杨荣川于1966年在苗栗县通霄镇五南里
  • 动物生态学动物学人类学 · 人与动物关系学 蜜蜂学 · 节肢动物学 医学节肢动物学 · 鲸类学 贝类学 · 昆虫学 动物行为学 · 蠕虫学 两栖爬行动物学 · 鱼类学 软体动物学 · 哺乳动
  • 第77届金球奖第77届金球奖(77th Golden Globe Awards)在2020年1月5日于美国加州洛杉矶比佛利山比华利希尔顿酒店举行颁奖典礼,由全国广播公司进行电视转播,用以表彰2019年出色的电影及电视作
  • 中山片广东省中山市沙溪、大涌、南蓢、三乡及火炬开发区等地;中山闽语是汉藏语系汉语族闽语支闽南语在广东省境内的一种方言,通行于古香山县之隆都、得能都、四大都、谷都和恭常都等
  • 金华府坐标:22°59′51″N 120°11′48″E / 22.997391°N 120.196582°E / 22.997391; 120.196582台南金华府位于台南市中西区。于民国九十四年(2005年)11月7日公告为市定古迹,庙内主
  • 欧洲最大以下列出欧洲人口超过一百万的大都会区列表:都会区是指以中心城市为核心,向周围辐射构成城市的集合区域,因此表中人口数据不仅限于行政区内的人口。俄罗斯与土耳其之国土横跨
  • 连二硫酸连二硫酸(H2S2O6)是一种只能在溶液中存在的化合物。连二硫酸是一种较稳定的强酸。室温下,稀的连二硫酸溶液较稳定。溶液被浓缩或者受热时,缓慢歧化分解为硫酸和二氧化硫:连二硫酸
  • 朱台浤庆定王朱台浤(1475年-1551年),明朝第六代庆王,恭王朱寘錖的庶第一子。弘治十六年(1503年)袭封庆王,在位二十一年。嘉靖三年(1524年),朱台浤因贿赂镇守太监李昕、总兵官种勋,及在安化王之
  • 沙尔瓦·奥塔罗维奇·采列捷利沙尔瓦·奥塔罗维奇·采列捷利(俄语:Шалва Отарович Церетели,1894年-1955年11月15日)格鲁吉亚人,主持格鲁吉亚大清洗的领导人之一,是贝利亚的亲信,格鲁吉亚共