任意一组门的电路下限


40

在1980年代,Razborov著名地证明了存在显式单调布尔函数(例如CLIQUE函数),它们需要按指数方式计算许多AND和OR门。但是,布尔域{0,1}上的基数{AND,OR}只是一个有趣的门集的一个例子,它没有通用。这导致了我的问题:

是否还有其他一组与单调门不同的有趣的门,其电路尺寸的指数下限是已知的(电路没有深度或其他限制)?如果不是这样,是否还有其他门框可以作为此类下限的合理候选者?这些边界不一定需要突破自然证明的障碍,而Razborov的单调电路结果却没有?

如果存在这样的门集,那么对于k≥3,肯定会超过k元字母。原因是,在二进制字母上,

(1)个单调门({AND,OR}),

(2)个线性门({NOT,XOR}),和

(3)个通用门({AND,OR,NOT})

基本上用尽了有趣的可能性,如下Post的分类定理所示。(请注意,我假设常量-在二进制情况下为-0和1-始终是免费提供的。)使用线性门时,每个布尔函数f:{0,1} n →{0,1}完全可以通过线性电路计算。有了通用集,我们当然会遇到自然证明和其他可怕的障碍。

另一方面,例如,如果我们考虑以3或4个符号字母表示的门集,则可能会出现更多的可能性-至少就我所知,这些可能性从未被完全描绘出来从复杂性理论的角度来看(如果我错了,请纠正我)。我知道在通用代数中以“克隆”为名对可能的门集进行了广泛的研究。我希望我能更熟悉该文献,以便知道该领域的结果对电路复杂性意味着什么。

在任何情况下,如果我们简单地将门集合的类别扩展到我们愿意考虑的有限字母上,似乎还有其他戏剧性的电路下界需要证明。如果我错了,请告诉我原因!


3
如果考虑函数,则线性门的情况更多,因为计数参数表明有些函数需要门将被计算,尽管据我所知,尚无明确的示例函数需要超线性电路。f:{0,1}n{0,1}nΩ(n2log(n))
Grigory Yaroslavtsev

2
只需注意:如果将单调布尔布尔门替换为计算任何不递减实函数的门,您还将得到电路尺寸的指数下限。Pudlak证明了这一点:分辨率和切割平面的下界证明以及单调计算,Symb。J.。逻辑62(3),1997,981-998页。
Iddo Tzameret

2
格里高利:谢谢。我讨论了是否在OP中提到这一点!没错,我们对计算线性函数f:{0,1} <sup> n </ sup>&rarr; {0,1} <所需的XOR门的数量没有任何明确的超线性下界sup> n </ sup>。另一方面,不难提出<i>应</ i>要求&(n log n)XOR门的线性变换的候选对象(傅里叶变换,“ Sierpinski垫片”矩阵...) ,布拉姆·科恩(Bram Cohen)提出了一个示例函数,该函数应该需要&Omega(n <sup> 3/2 </ sup>)XOR门(我不记得了,但可以问他)。
Scott Aaronson

即使对于字母大小3,克隆的晶格也是不可数的,并且包含每个有限的晶格作为子晶格。因此,有无限多个可能有趣的操作基础要考虑。我不了解使用非布尔型克隆实现电路下限的任何工作,但这似乎值得更深入地研究。
安德拉斯·萨拉蒙(AndrásSalamon)2010年

3
斯科特(Scott),您知道在较大的无铅下使用AC ^ 0类的合适模拟物吗?我还要指出,可以考虑较大字母的单调性概念(我和Elchanan Mossel撰写了有关front.math.ucdavis.edu/1011.3566的尖锐阈值的文章),所以也许Rasborov定理扩展了较大字母的单调曲线,从而满足了某些特定概念的需要。单调性。
Gil Kalai

Answers:


25

(根据Suresh的建议从注释中移出。请注意,此处已修正了注释中的一些错误。)

感谢Scott提出了一个很好的问题。

斯科特似乎认为,下限困难的原因可能是布尔情况下的受限操作语言。香农的计数论证表明大多数电路必须很大,这取决于可计数的表达能力与无数个电路之间的差距。当字母至少包含3个符号时,这种差距似乎消失了。

对于字母大小2(布尔情况),克隆的格子是无穷大的,称为Post的格子

维基百科中Post的点阵图片

Post的晶格也清楚地说明了为什么布尔布尔运算只有几个有趣的运算基础。

对于3或更大的字母,克隆的格子是不可数的。此外,晶格不满足任何非平凡的晶格身份,因此似乎不可能提供晶格的完整描述。对于4或更大的字母,克隆的晶格实际上包含每个有限晶格作为子晶格。因此,当字母具有3个或更多符号时,要考虑的操作可能有无限多种可能。

斯科特进一步问:如果我们假设常量是免费的,那么克隆的格是否仍然不可数?

答案是确实如此,例如

  • GradimirVojvodić,JovankaPantović和RatkoTošić, 具有一元功能的克隆数,NSJOM 27 83-87,1997 。(PDF
  • J.Pantović,R。Tošić和G.Vojvodić, “三元集上的功能完全代数的基数”,《通用代数》 38 136–140,1997。doi10.1007 / s000120050042

尽管显然这是早先发布的:

  • 阿戈什顿,I.,Demetrovics,J.,和Hannák,L. 在包含所有常量克隆的数量时,Coll。数学。Soc。詹尼斯·波利亚(JánosBolyai), 43 21–25,1983年。

一个不错的具体声明来自:

  • A. Bulatov,A。Krokhin,K。Safin和E. Sukhanov,《关于克隆格 的结构》,载于:“通用代数与离散数学”,编辑:K。Denecke和O.Lueders,27-34。Heldermann Verlag,柏林,1995年。(PS

推论3(如上所述,归因于Ágoston等人):令。那么包含所有常量的克隆数为。k3Lk20

总结一下,我不知道使用非布尔型克隆来实现电路下限的任何工作。这似乎值得更深入地研究。鉴于对克隆晶格知之甚少,可能有一些有趣的操作基础正在等待发现。

克隆理论与计算机科学之间的更多联系对于从事通用代数工作的数学家来说也可能很感兴趣。当Peter Jeavons表明代数可以与约束语言相关联时,便出现了这种交互作用的示例,该方式可以将易处理性结果转换为代数的性质。Andrei Bulatov用它证明了域大小为3的CSP的二分法。反之,由于计算机科学的应用,人们对驯服的一致性理论产生了兴趣。我不知道克隆理论与非布尔电路复杂性之间的联系会带来什么。


非常感谢,安德拉什!我将检查Ágoston等人的论文。当我有机会的时候。同时,我浏览了Pantović等人的3元素集上最大预完成克隆的列表。您链接到的论文,我认为它们都不是“新”电路下限的候选人。(对于其中一些,指数下界紧随Razborov的单调下界;对于其他一些,对于通用电路或线性电路,我们需要下界。)但是即使在k = 3的情况下,克隆也比预完成的小似乎仍然值得一看。
Scott Aaronson

15

正如Suresh所建议的,这是从评论移开的。

如果考虑函数,则线性门的情况更多,因为计数参数表明有些函数需要门需要计算,尽管没有明确的示例需要超线性电路。f:0,1n0,1nΩ(n2log(n))

编辑。也可以使用count参数显示,对于某些常数,大多数函数的复杂度都大于,因此,如果您只是随机选择一个函数,则会得到一个复杂功能的可能性很高。n2log(n)cc

在另一方面,作为在评论斯科特·阿伦森点,就不难想出候选线性变换是应该需要异或门(的傅立叶变换中,“谢尔宾斯基垫片”矩阵... ),Bram Cohen提出了一个示例函数,该函数需要 XOR门。Ω(nlogn)Ω(n3/2)

编辑2。主要障碍是,据我所知,即使对于线性门,我们也没有任何方法来证明非线性下界(对于线性下界,可以使用门消除,这很可能不会产生非线性下界。 -线性界限)。尽管看起来线性代数的某些方法确实很有帮助。因此,提出候选人很不错,但是仍然需要一些新方法。


11
  1. 实际上,已经尝试证明工作在比大的域上的电路的下界。Tkachov说[莫斯科大学Vestnik,Nr。[1977年1月1日,俄语]考虑使用输入向量电路。作为门,他允许和。他认为下面的函数:如果含有或数量 'S IN是至少的数目的。他表明,任何电路(超过MIN / XOR)都需要大约门来计算{0,1}aZ3n={0,1,2}nmin(x,y)xymod2f(a)=0a02a12n/nf。但是那是!我不知道会有任何其他类似结果的结果(进入更大但仍然有限的域),当然,除了算术电路之外。但是仅对于电路而言,将程序分支到更大的域会使下界的任务变得容易一些。

  2. 在具有XOR门的电路上。在这里,即使深度的情况也是广泛开放的。显式的线性变换的最高下界过度具有以下形式。要证明对于常数像这样的边界,即使在深度,即使只允许XOR门,也是一个挑战。2y=AxGF(2)nlog3/2nn1+cc>02


2
亲爱的Stasys,我建议您注册帐户吗?它将允许您使用相同的用户帐户发布答案,并在以后进行编辑。(让我知道您是否决定注册,我将与您合并以前的帐户,以便您也可以编辑以前的帖子。)
Kaveh

1
谢谢,Kaveh,我现在注册。从“务实”的角度来看,斯科特的建议(进入更大的领域)可能也很有趣。假设,对于具有子背包容量的子集和问题,电路中最大/最大门数是多少?为了模拟标准的动态编程算法,足以允许线对我们域中的整数进行测试。该算法还给出了门数的上限。问题:证明门是必需的。这意味着DP不能为背包背包做得更好。Kxi=aanKΩ(nK)
Stasys
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.