NC (复杂度)

✍ dations ◷ 2025-10-18 19:17:28 #数学中未解决的问题,复杂度类,计算机科学中未解决的问题

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

相关

  • 分析力学分析力学是理论力学的一个分支,是对经典力学的高度数学化的表达。可以认为1788年拉格朗日发表的奠基之作《分析力学(Mécanique analytique)》是此分支的开始。经典力学最初的
  • 木瓜木瓜可以指以下事物:
  • 台湾屏东地方法院坐标:22°39′22″N 120°28′59″E / 22.6562479°N 120.4829720°E / 22.6562479; 120.4829720900-05屏东县屏东市棒球路9号08-7550611 屏东简易庭:900-05屏东县屏东市合
  • 驻外武官驻外武官,即外交代表机构(大使馆、领事馆)的武职专员(法语:Attaché)。多由陆海空三军种的校官或将官中选派,处理军事性业务,为使馆中专司国防的馆员,也是一国军队的驻外代表。驻外武
  • 李又汝李又汝(1989年8月19日-),本名李靖茹,出生于台湾高雄市,大学毕业于正修科技大学休闲与运动管理系,高中毕业于冈山农工家政科,曾参加合唱团。在受邀采访时被ETtoday新闻云记者昵称“卧
  • 八齿鼠科八齿鼠科(学名:Octodontidae)也作竖毛鼠科,是啮齿目豪猪亚目中的一科,分布于南美洲,包括以下几属:
  • 阮氏玉玔保顺公主阮氏玉玔(越南语:Bảo Thuận công chúa Nguyễn Thị Ngọc Xuyến/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN
  • 七政四馀七政四馀,又称果老星宗,是中国古代占星学系统,传说是由唐代道士张果老所创。在既有的“七政”之外,新增“四馀”等内容。七政四馀断命,是以人的出生之年月日,观察七政四馀等星曜,所
  • 空间大地测量学空间大地测量学(英语:Space geodesy)是指通过观测外层空间中的自然或人造天体发出的信号,以解决大地测量学中的理论、技术与方法问题的学科,是现代大地测量学的基本分支之一。:5:
  • 帽柱木属帽柱木属(学名:)是茜草科下的一个属,为灌木或乔木植物。该属共有约10种,分布于热带亚洲和非洲。