×

精确读取每个输入位两次的半(d)-超液化问题的多项式大小二元决策图。 (英语) Zbl 1175.68121号

摘要:二进制决策图(BDD)是一种表示布尔函数的基于图形的数据结构\(\ell\)-BDD是具有附加限制的BDD,每个输入位最多可以测试\(\ell)次。(N)顶点上的(d)-一致超图(H)是一个半(d)超液化,如果它的顶点(N/2)形成一个超液化并且其余的顶点是孤立的。T.韦格纳[J.Assoc.Comput.Mach.35,No.2,461–471(1988;Zbl 0652.68063号)]假设正半超液化问题不存在多项式尺寸((d-1)-BDD。我们通过构造多项式尺寸(句法)2-BDD来驳斥这个猜想,该多项式尺寸2-BDD是针对每个(d\geq2)的半(d\)-超液化问题。

MSC公司:

68第05页 数据结构
第68季度25 算法和问题复杂性分析
68兰特 计算机科学中的图论(包括图形绘制)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Ajtai,M.:具有内存限制的线性时间RAM的确定性与非确定性。摘自:第31届ACM计算机理论年会(STOC),第632-641页(1999)·Zbl 1346.68093号
[2] Ajtai,M.:布尔分支程序的非线性时间下限。摘自:第40届计算机科学基础年会(FOCS),第60-70页(1999)
[3] Ajtai,M.、Babai,L.、Hajnal,P.、Komlós,J.、Pudlák,P.,Rödl,V.、Szemerédi,E.、Turán,G.:分支程序的两个下限。摘自:第18届ACM计算机理论研讨会(STOC)会议记录,第30-38页(1986年)
[4] Andreev,A.E.,Baskakov,J.L.,Clementi,A.E.F.,Rolim,J.D.P.:Smal伪随机集产生硬函数:分支程序的新的紧显式下界。收录:第26届国际自动化、语言和编程学术讨论会(ICALP)会议记录。计算机科学讲义,第1644卷,第179-189页。柏林施普林格(1999)·兹伯利0941.68567
[5] Beame,P.,Saks,M.,Sun,X.,Vee,E.:随机计算的超线性时空权衡下限。摘自:第41届计算机科学基础年会(FOCS),第169-179页(2000)
[6] Beame,P.,Saks,M.,Sun,X.,Vee,E.:决策问题随机计算的时空权衡下界。J.ACM 50(2),154-195(2003)·Zbl 1326.68144号 ·doi:10.1145/636865.636867
[7] Beame,P.,Saks,M.,Thathachar,J.S.:分支程序的时空权衡。摘自:第39届计算机科学基础年会(FOCS),第254-263页(1998年)
[8] Beame,P.,Saks,M.,Thathachar,J.S.:分支程序的时空权衡。J.计算。系统。科学。63(4), 542–572 (2001) ·Zbl 1052.68049号 ·doi:10.1006/jcss.2001.1778
[9] Borodin,A.,Razborov,A.A.,Smolensky,R.:读k次分支程序的下限。计算。复杂。3, 1–18 (1993) ·Zbl 0777.68043号 ·doi:10.1007/BF01200404
[10] Bryant,R.:关于应用于整数乘法的布尔函数的VLSI实现和图形表示的复杂性。IEEE传输。计算。40(2), 205–213 (1991) ·Zbl 1220.68060号 ·doi:10.1109/12.73590
[11] 科巴姆:完美正方形集的识别问题。摘自:第七届IEEE计算机科学基础研讨会论文集,第78-87页(1966年)
[12] 朱克纳(Jukna,S.)和拉兹博罗夫(Razborov,A.):两次读取少量比特或非法读取都没有多大帮助。ECCC报告TR96-037·Zbl 0903.68074号
[13] Kára,J.,Král',D.:计算EAR n的最优自由二元决策图。摘自:第27届国际计算机科学数学基础研讨会论文集。计算机科学课堂讲稿,第2420卷,第411-422页。柏林施普林格出版社(2002年)·Zbl 1014.68051号
[14] Pudlák,P.,Zhaak,S.:计算的空间复杂性。数学。研究所,乔·萨维,布拉格(1983),30页·Zbl 0533.03032号
[15] Razborov,A.A.:确定性和非确定性分支程序的下限。摘自:《计算机科学讲义》,第529卷,第47-61页。施普林格,柏林(1991)
[16] Sauerhoff,M.:关于只读分支程序的不确定性与随机性。计算复杂性电子学术讨论会(ECCC)技术报告,TR97-030(1997)
[17] Simon,J.,Szegedy,M.:只读一次分支程序的一个新下界定理及其应用。蔡,J.(编辑)《计算复杂性进展》。离散数学DIMACS系列,第13卷,第183-193页。美国数学。普罗维登斯学会(1993年)·Zbl 0801.68077号
[18] Thathachar,J.S.:关于分离read-k次分支程序层次结构。摘自:第30届ACM计算机理论研讨会(STOC)会议记录,第653-662页(1998年)·Zbl 1006.68054号
[19] Wegener,I.:布尔函数的复杂性。图布纳,斯图加特(1987)·Zbl 0623.94018号
[20] Wegener,I.:关于团函数的分支程序和决策树的复杂性。J.ACM 35(2),461–471(1988)·Zbl 0652.68063号 ·数字对象标识代码:10.1145/42282.46161
[21] 韦格纳,I.:分支程序和二进制决策图——理论和应用。SIAM离散数学与应用专著,第4卷。SIAM,费城(2000)·Zbl 0956.68068号
[22] 夏亚克,S.:单时间分支程序的指数下限。摘自:第十一届计算机科学数学基础国际研讨会论文集。计算机科学课堂讲稿,第176卷,第562-566页。柏林施普林格(1984)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。