NC (复杂度)

✍ dations ◷ 2025-07-27 02:07:57 #数学中未解决的问题,复杂度类,计算机科学中未解决的问题

在计算复杂度理论,NC(Nick's Class),是一个复杂度类,是能被并行计算机在多对数函数时间((log ))内以多项式空间(或者说()并行线程)下解决的判定问题的集合,最先由史提芬·古克提出。

正如P被认为是易解复杂度类一般,NC也被认为是在并行计算上易解的问题。明显的有NC ⊆ P,因为一切并行计算都可以以多项式空间依次的在确定型图灵机上运行。我们目前仍未知道的一个关键问题是,NC = P是否成立。大多数的研究人员都认为这是不可能的——否则的话这意味着一切可计算函数都可以并行计算化。正如NP完全对于P来说是怀疑难解复杂度类一样,P完全对于NC来说也是“怀疑难解”的。

定义中的并行计算机,可以看作为一个并行,公共的PRAM池,所有的并行线程都可以在任意时间访问池的任意位置,NC的定义不受是否可以同时访问的影响,当然无论是CRCW,CREW还是EREW都是不受影响的。

RNC是随机化方向的对NC的扩展。

在计算复杂度理论,NC,是一个复杂度类,是能被并行计算机在(log )时间内以多项式空间下解决的判定问题的集合,那么明显地有以下性质:

此之为NC谱系。如果考虑和L,NL和AC的话那么有:

一个主要的而悬而未决的问题是,计算复杂度理论(的某些部分)对于NC谱系是否真的适用。Papadimitriou发现,如果设存在某些令

那么对于一切均存在

这一命题被称之为NC谱系崩塌,因为根据NC谱系链有

这意味着NC谱系有可能会崩塌到某个i值。对于这个问题,有两种可能性:

人们目前普遍认为(1)正确的,虽然还没有什么确切的证据。

相关

  • 柬埔寨法院特别法庭柬埔寨法院特别法庭(高棉语:អង្គជំនុំជម្រះវិសាមញ្ញក្នុងតុលាការកម្ពុជា,angk chomnoumchomreah visaeamonhnh knong tolakar kampo
  • 原发病例指示病例(英语:index case),又称为原发病例(英语:primary case),俗称零号病人或零号感染源(英语:patient zero),在流行病学调查中是指在一定人群中的最初的病例。指示病例可能表示疾病的
  • 乌羽玉乌羽玉(学名:Lophophora williamsii),又称作威廉斯氏仙人球,俗称无刺的仙人掌,是一种细小及无刺的仙人掌。它们原产于美国德克萨斯州西南部至墨西哥,主要在奇瓦瓦沙漠、塔毛利帕斯
  • 费米凝聚费米凝聚(Fermionic condensate):类似于玻色-爱因斯坦凝聚态,由大量费米子占据同一量子态形成。由于泡利不相容原理,不同的费米子不能占据同一量子态,因此费米子不能像玻色子那样
  • 弗里堡州弗里堡州(法语:Fribourg,德语:Freiburg,意大利语:Friburgo,缩写为FR)是瑞士联邦的一个州,位于瑞士西部,首府为与州名相同的弗里堡。弗里堡州既属于瑞士法语区又属于瑞士德语区,三分之二
  • 塘沽区塘沽区是原中华人民共和国天津市下辖的一个市辖区,现为滨海新区的核心区。原塘沽区面积为790.2平方千米,人口为46.2万。宋庆历八年(公元1048年),黄河改道北移,夺海河河道,在天津附
  • 亚拉文·雅迪嘉亚拉文·雅迪嘉(Aravind Adiga,1974年10月23日-)是一名印度裔澳洲小说家,他生于印度泰米尔纳德邦马德拉斯,即现今的清奈,他来自官宦家庭,祖父是卡纳塔克邦银行的创始人,成长后随家人
  • Rockstar TorontoRockstar Toronto(前身为Rockstar Canada)是一个Rockstar Games旗下的电子游戏开发公司。该公司于1994年成立,最初名称为Alternative Reality Technologies,隶属于GameTek旗下的
  • 希伯来语注音符号נִקּוּד (希伯来文)希伯来注音符号,亦名尼库德(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","
  • 碳纤维强化聚合物碳纤维强化聚合物(英语:carbon fiber reinforced polymer),又称为碳纤维强化塑胶(carbon fiber reinforced plastic)或碳纤维强化热塑性塑胶(carbon fiber reinforced thermoplasti