尼克级的“正确”统一性条件


9

DLOGTIME在http://en.wikipedia.org/wiki/DLOGTIME 定义。在http://en.wikipedia.org/wiki/L_%28complexity%29和在http://en.wikipedia.org/wiki/NC_%28complexity%29上定义
L
NCNCn

DLOGTIME似乎是最小的可行方法。
我在各个地方都读过,尽管我 发现的每个 表明一致性条件的结果都使用 -均匀性 是否存在确定性类,使得用 -uniform和 1 已知...已知持有? 2....LNC2
L


XLNCXNC
XL
XL已知持有,不知道持有吗?X=L

(1,或在较小程度上,2似乎暗示 -uniformity是正确的条件)L


为什么我们知道L在非均匀NC中?没有这一点,我们不能希望它会出现在统一的NC中。
domotorp 2011年

好吧,我已经在“计算机科学和技术百科全书”的第235页以及www.cs.tau.ac.il/~zwick/circ-comp-new/three.ps上找到了它。但是,当我搜索本书所指向的参考文献时,这本书是唯一的结果,而ps文件未提供证明。我想我应该进一步研究。

3
LNC2NC
Kaveh

真是的,对不起,我虽然是关于的问题。NC1
domotorp 2011年

Answers:


8

您可以使用来确保和一致性。没问题,并且统一的保持相同并等于(对于)。DLogTimeNCNC2NCkATimeSpace(O(lgkn),O(lgn))k1

通常,唯一需要我们格外小心的情况是情况,在这种情况下,应该注意。如果您使用电路的扩展连接语言描述,则即使在情况下,所有内容也可以正常工作。NC1DLogTimeNC1

有关均匀性的更多信息,请参见:

Walter L. Ruzzo,“ 关于统一电路复杂性 ”,计算机与系统科学学报,第1卷。22(1981),第365-383页。


“可以使用保持统一性”是指“仍然成立”吗?DLogTimeLNC2

是的,这意味着统一等于,其中包含。DLogTimeNC2ATimeSpace(O(lg2n),O(lgn))NL=NSpace(O(lgn))DSpace(O(lgn))=L
卡夫
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.