有比线性下界更好的分解和离散对数吗?


19

是否有任何参考文献提供有关密码学中出现的特定硬问题的电路下限的详细信息,例如整数分解,素数/复合离散对数问题及其在椭圆曲线的点组上的变体(及其较高维的阿贝尔变体)和一般隐藏的子组问题?

特别是,这些问题中是否有任何一个问题超出了线性复杂度的下限?


9
您当然知道,对于<i>任何</ i>显式函数,不仅是您提到的函数,电路复杂度的下限都不会超过5n。因此,您应该指定问题。更好的界限仅对于受限电路是已知的。你可以,也许,找到<a href=" web.science.mq.edu.au/~igor的主页“rel="nofollow"> 上的一些部分答案伊戈尔Sparlinski </A>。
STASYS

8
好吧,我不太确定您在“这个有趣的事实”下意味着什么。无论如何,我即将出版的书thi.informatik.uni-frankfurt.de/~jukna/BFC-book给出了电路复杂性的最新技术。用户名:密码的朋友:catchthecat
STASYS

1
@Stasys,我记得两年前,一位来自俄罗斯的学生谈到了基于门禁消除技术的7n + O(1)形式的下界,但是我不记得更多细节了。
卡夫

12
卡夫,这是(7/3)nc的下限,而不是7n。来自圣彼得堡的Arist Kojevnikov和Sasha Kulikov证明了这一点。他们证明的优点是简单,而不是数值。后来他们给出了普通电路3n-o(1)下限的简单证明(允许所有fanin-2门)。尽管功能非常复杂-仿射分散器。论文在线发布在:logic.pdmi.ras.ru/~kulikov/papers。实际上,Redkin(1973)给出了奇偶校验函数的紧界7n-7,但前提是仅允许NOT和AND门。如果还允许OR,则他的界限为4n-4(也很紧!)。
Stasys

5
@StasysJukna:将您的评论组合作为答案是适当的。
Suresh Venkat

Answers:


26

@Suresh:按照您的建议,这是我的“答案”。电路下限的状态令人沮丧。以下是“当前记录”:

  • 4n4{,,¬}7n7{,¬}{,¬}n(x)=x1x2xn
  • 5no(n)
  • 3no(n)(7/3)no(1)3no(1)
  • n3o(1){,,¬}
  • Ω(n2/logn)2Ω(n2/log2n)Ω(n3/2/logn)

因此,您的问题是“这些问题中,有没有一个比线性复杂度的下限还要大?” 保持开放状态(对于电路)。我对所有年轻研究人员的吸引力:前进,这些“障碍”并非坚不可摧!但是,试着以拉兹伯罗夫(Razborov)和鲁迪奇(Rudich)的方式以“非自然方式”思考。


这是Hastad的1998年论文吗?nada.kth.se/~johanh/monotoneconnect.pdf 我不认为界限涉及“不”。再加上指数是二次方。
T ....

@JA:不,这是他同年J.Håstad的另一篇论文,《收缩指数为2》,SIAM计算杂志,1998年,第27卷,第48-64页。
Stasys 2014年

(3+Ω(1))n
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.