×
贝特·博利格;斯蒂芬·瓦克;菲利普·沃尔费尔

奇偶图驱动的只读分支程序和整数乘法的指数下限。 （英语） Zbl 1100.68024号

西奥。计算。科学。 362，编号1-3，86-99（2006）.
摘要：分支程序是布尔函数的一种公认的计算模型，尤其是对分支程序进行了深入研究后的可读模型。长期以来，只读分支程序的指数下限是众所周知的。另一方面，奇偶校验只读分支程序的超多项式下界的证明问题仍然没有解决。本文考虑了限制奇偶校验读分支程序，并证明了整数乘法的所谓结构良好的奇偶图驱动读分支程序的大小的指数下界。这是显式定义布尔函数的奇偶非遗忘读-开分支程序模型大小的第一个强指数下限。此外，对整数乘法的结构有了更多的了解。

引用于11文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

计算复杂性;二元决策图;分支程序;整数乘法;下限;奇偶不确定性
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，Theor。计算。科学。362，编号1--3，86-99（2006；Zbl 1100.68024）
全文： 内政部

参考文献：

[1] M.Ajtai，具有内存限制的线性时间RAM的确定性与非确定性，in：Proc。STOC第31号，1999年，第632-641页。；M.Ajtai，具有内存限制的线性时间RAM的确定性与非确定性，in：Proc。STOC第31期，1999年，第632-641页·Zbl 1346.68093号
[2] M.Ajtai，布尔分支程序的非线性时间下限，in：Proc。第40届FOCS，1999年，第60-70页。；M.Ajtai，布尔分支程序的非线性时间下限，in：Proc。第40届FOCS，1999年，第60-70页。
[3] Alon，N。；Dietzfelbinger，M。；Miltersen，P.B。；Petrank，E。；Tardos，G.，线性散列函数，J.ACM，46，667-683（1999）·Zbl 1065.68520号
[4] Alon，N。；Maass，W.，Meanders及其在下限参数中的应用，J.Compute。系统科学。，37, 118-129 (1988) ·Zbl 0664.68045号
[5] Beame，P。；Jayram，T.S。；Saks，M.，《分支程序的时空权衡》，J.Compute。系统科学。，63, 4, 542-572 (2001) ·Zbl 1052.68049号
[6] Beame，P。；萨克斯，M。；太阳，X。；Vee，E.，决策问题随机计算的时间-空间权衡下界，J.ACM，50，2154-195（2003）·Zbl 1326.68144号
[7] Bollig，B.，《受限的非确定性只读分支程序和整数乘法的指数下限》，RAIRO Theoret。通知。申请。，35, 149-162 (2001) ·Zbl 0992.68057号
[8] B.Bollig，P.Woelfel，一次读取分支程序\（\ operatorname｛\Omega；｝（2^｛n/4｝）\）的下界；B.Bollig，P.Woelfel，（\operatorname{\Omega；}（2^{n/4}）\的一个只读分支程序下界·Zbl 1323.68293号
[9] 硼蛋白，A。；Razborov，A。；Smolensky，R.，《关于读-（k）次分支程序的下限》，计算。复杂性，3，1-18（1993）·Zbl 0777.68043号
[10] Brosenne，H。；霍米斯特，M。；Waack，St.，图驱动自由奇偶校验BDD:算法和下限，RAIRO理论。通知。申请。，36, 229-247 (2002) ·Zbl 1032.68081号
[11] H.Brosenne，M.Homester，St.Waack，《一般图形驱动的只读奇偶校验分支程序的下限》，in：Proc。第26届MFCS，《计算机科学讲义》，第2747卷，2003年，第290-299页。；H.Brosenne，M.Homester，St.Waack，《一般图形驱动的只读奇偶校验分支程序的下限》，in：Proc。第26届MFCS，《计算机科学讲义》，第2747卷，2003年，第290-299页·Zbl 1124.68360号
[12] Bryant，R.E.，基于图的布尔运算算法，IEEE Trans。计算。，35, 677-691 (1986) ·Zbl 0593.94022号
[13] Bryant，R.E.，《关于布尔函数的VLSI实现和图形表示的复杂性及其在整数乘法中的应用》，IEEE Trans。计算。，40, 205-213 (1991) ·Zbl 1220.68060号
[14] Carter，J.L。；Wegman，M.N.，哈希函数的通用类，J.Compute。系统科学。，18, 143-154 (1979) ·Zbl 0412.68090号
[15] M.Dietzfelbinger，通用散列和（k）；M.Dietzfelbinger，通用散列和（k\）·Zbl 1379.68104号
[16] Dietzfelbinger，M。；Hagerup，T。；Katajainen，J。；Penttonen，M.，最接近对问题的可靠随机算法，J.Algorithms，25，19-51（1997）·Zbl 0888.68061号
[17] Gergov，J.，《不同类型的输入不经意序列机器上整数乘法的时空权衡》，Inform。过程。莱特。，51, 265-269 (1994)
[18] 格尔戈夫，J。；Meinel，C.，OBDD的高效布尔操作可以扩展到FBDD，IEEE Trans。计算。，43, 1197-1209 (1994) ·Zbl 1063.68573号
[19] A.Hajnal，W.Maass，P.Pudlák，G.Turán，有界深度的阈值电路，见：Proc。第28届FOCS，1987年，第99-110页。；A.Hajnal，W.Maass，P.Pudlák，G.Turán，有界深度的阈值电路，见：Proc。第28届FOCS，1987年，第99-110页。
[20] Krause，M.，将L从NL、co-NL和AL中分离出来，用于线性访问时间的不经意图灵机，RAIRO Theoret。通知。申请。，26, 507-522 (1992) ·兹伯利0766.68042
[21] Meinel，C.，《多项式大小（Omega）-分支程序及其计算能力》，Inform。和计算。，85, 163-182 (1990) ·Zbl 0705.68052号
[22] Ponzio，S.，带只读分支程序的整数乘法下限，SIAM J.Compute。，28，798-815（1998），（STOC 1995的程序中出现了初步版本。）·Zbl 0918.68025号
[23] A.A.Razborov，确定性和非确定性分支程序的下限，in：Proc。计算理论基础（FCT），计算机科学讲义，第529卷，1991年，第47-60页。；A.A.Razborov，确定性和非确定性分支程序的下限，in：Proc。计算理论基础（FCT），计算机科学讲义，第529卷，1991年，第47-60页。
[24] P.Savickí，D.Sieling，具有限制奇偶校验不确定性的只读分支程序的层次结构结果，in：Proc。第25届MFCS，《计算机科学讲义》，第1893卷，2000年，第650-659页。；P.Savickí，D.Sieling，具有限制奇偶校验不确定性的只读分支程序的层次结构结果，in：Proc。第25届MFCS，《计算机科学讲义》，第1893卷，2000年，第650-659页·Zbl 0996.68513号
[25] 西林，D。；Wegener，I.，图驱动BDD——布尔函数的一种新数据结构，Theoret。计算。科学。，141, 283-310 (1995) ·Zbl 0873.68036号
[26] J.Thathachar，《关于分隔读-\（k\）》；J.Thathachar，关于分隔读-\（k\）·Zbl 1006.68054号
[27] Wegener，I.，《布尔函数的复杂性》（1987），Wiley-Teubner·Zbl 0623.94018号
[28] Wegener，I.，分支程序和二元决策图-理论和应用（2000），SIAM离散数学和应用专著·Zbl 0956.68068号
[29] P.Woelfel，高效强通用和最优通用散列，in：Proc。第24届MFCS，《计算机科学讲义》，第1672卷，1999年，第262-272页。；P.Woelfel，高效强通用和最优通用哈希，在：Proc。第24届MFCS，《计算机科学讲义》，第1672卷，1999年，第262-272页·Zbl 0955.68035号
[30] P.Woelfel，通过通用散列实现整数乘法的OBDD大小的新边界，in：Proc。第18届STACS，计算机科学讲义，2010年，2001年，第563-574页。；P.Woelfel，通过通用哈希的整数乘法的OBDD大小的新边界，在：Proc。第18届STACS，计算机科学讲义，2010年，2001年，第563-574页·Zbl 0976.68510号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。