NC (复杂度)

✍ dations ◷ 2024-12-22 22:04:44 #数学中未解决的问题,复杂度类,计算机科学中未解决的问题

在计算复杂度理论,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)正确的,虽然还没有什么确切的证据。

相关

  • 鲸目鲸下目 (学名:Cetacea)旧称鲸目,是偶蹄目的演化支之一,包含了大约八十多种大型的有胎盘海洋哺乳动物,即鲸鱼﹑海豚和鼠海豚。鲸下目的现存物种可分为两个小目:齿鲸(Odontoceti)及须鲸(My
  • 资产会计学上的资产(英文:Asset),指一企业透过交易或非交易事项所获得之经济资源,能以货币衡量,并预期未来能提供效益者。资产,就是能够为个人或企业带来收益的东西。在财务会计中,资产
  • 瘢痕疤痕是皮肤损伤后取代正常皮肤的纤维组织(纤维化),它是生物身体皮肤和其他组织的创面修复过程中的结果。因此,疤痕是自然愈合过程的一部分。除了非常轻微的病变,每一个伤口(如意外
  • 美洲野牛美洲野牛(学名:Bison bison),又名美洲水牛或犎牛,是偶蹄目牛科哺乳动物,也是北美洲体型最大的哺乳动物和世界上最大野牛之一。尽管体型庞大,仍可维持60公里的奔跑速度。主要群体由
  • 布莱顿坐标:50°50′35″N 0°07′53″W / 50.842941°N 0.1313120°W / 50.842941; -0.1313120布莱顿(英语:Brighton),英国英格兰东南部东萨塞克斯郡布莱顿-霍夫的海滨城镇,北距伦敦47
  • 塞米迪群岛塞米迪群岛是美国的群岛,位于科迪亚克岛西南的阿拉斯加湾,由9座岛屿组成,行政方面由阿拉斯加州科的阿克岛自治市镇负责管辖,总土地面积30.18平方公里,群岛上无人居住。坐标:56°03
  • 下诺曼底下诺曼底(法语:Basse-Normandie)是法国西北部一个大区的名称,北邻英吉利海峡与英国相望。下辖卡尔瓦多斯省(14)、芒什省(50)、奥恩省(61)。下诺曼底的经济以农业为主,牲畜与乳牛牧场、
  • 埃伯斯纸草卷埃伯斯纸草卷(英语:Ebers Papyrus),是埃及草药知识的莎草纸,可追溯到公元前1550年。是古埃及最古老、最重要的医学莎草纸,格奥尔格·埃伯斯(Georg Ebers)于1873–74年冬天在埃及的卢
  • 长宗我部信亲长宗我部信亲(1565年-1587年),长宗我部元亲的嫡男,有弟亲和、亲忠、盛亲、右近大夫、康丰。幼年因聪明而得到其父元亲的宠爱。元亲与织田信长交好时,派遣家臣中岛可之助担任使者前
  • 无境之兽《无境之兽》()是一部2015年凯瑞·福永编剧、执导和拍摄的美国战争剧情片,改编自2005年出版的由尼日利亚裔美国籍作家乌佐丁玛·伊维拉(Uzodinma Iweala)所写的同名小说。伊卓瑞