×
贝特·博利格

关于阈值函数的OBDD复杂性和变量排序问题（扩展摘要）。 （英语） Zbl 1206.68100号

Nielsen，Mogens（编辑）等人，SOFSEM 2009：计算机科学的理论与实践。2009年1月24日至30日，第35届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-95890-1/pbk）。计算机科学课堂讲稿5404129-140（2009）。
摘要：有序二进制决策图（OBDD）是布尔函数最常见的动态数据结构之一。在许多应用领域中，包括验证、模型检查、计算机辅助设计、关系代数和符号图算法。阈值函数是离散神经网络的基本函数，在符号图算法的设计中用作构建块。本文给出了比OBDD更一般的模型大小的第一个指数下界和阈值函数的OBDD大小的第一非平凡渐近最优界。此外，如果不同权重的数量是常数，则表明计算多个输出阈值函数的最优变阶是NP困难的，而对于单个输出函数，该问题在确定性多项式时间内是可解的。
关于整个系列，请参见[Zbl 1154.68020号].

MSC公司：

68第05页 数据结构
65年第68季度 算法和问题复杂性分析

关键词：

计算复杂性；有序二元决策图；阈值函数；变量排序问题

软件：

氮氧化物
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，莱克特。注释计算。科学。5404、129--140（2009年；Zbl 1206.68100）
全文： 内政部

参考文献：

[1] Behle，M.：关于阈值BDD和最优变量排序问题。收录：Dress，A.W.M.，Xu，Y.，Zhu，B.（编辑）COCOA 2007。LNCS，第4616卷，第124-135页。斯普林格，海德堡（2007）·Zbl 1175.90324号 ·doi:10.1007/978-3-540-73556-4_15
[2] Bollig，B.：关于整数乘法最重要位的OBDD复杂性。In：Agrawal，M.，Du，D.-Z.，Duan，Z.，Li，A.（编辑）TAMC 2008。LNCS，第4978卷，第306–317页。斯普林格，海德堡（2008）·Zbl 1139.68342号 ·doi:10.1007/978-3-540-79228-4_27
[3] Bollig，B.，Range，N.，Wegener，I.：一些基本函数的精确OBDD边界。收录人：Geffert，V.、Karhumäki，J.、Bertoni，A.、Preneel，B.、Návrat，P.、Bieliková，M.（编辑）SOFSEM 2008。LNCS，第4910卷，第174-185页。斯普林格，海德堡（2008）·Zbl 1132.68347号 ·doi:10.1007/978-3-540-77566-9_15
[4] Bollig，B.，Wegener，I.：改进OBDD的变量顺序是NP-完全的。IEEE传输。《计算机》45（9），993–1002（1996）·Zbl 1048.68571号 ·数字对象标识代码：10.1109/12.537122
[5] Bollig，B.，Wegener，I.：OBDD的渐近最优界和一些基本OBDD问题的解决方案。《计算机与系统科学杂志》61，558–579（2000）·Zbl 0970.68041号 ·doi:10.1006/jcss.2000.1733
[6] Bryant，R.E.：布尔函数操作的基于图形的算法。IEEE传输。在计算机上35，677–691（1986）·Zbl 0593.94022号 ·doi:10.1109/TC.1986.1676819
[7] Fortune，F.、Hopcroft，J.E.、Schmidt，E.M.：自由单变量程序方案等价性和包含性的复杂性。收录：Ausiello，G.，Böhm，C.（编辑）ICALP 1978。LNCS，第62卷，第227-240页。斯普林格，海德堡（1978）·Zbl 0382.68021号 ·doi:10.1007/3-540-08860-1_17
[8] Friedman，S.，Supowit，K.：寻找二元决策图的最优变量排序。IEEE传输。计算机39（5），710-713（1990）·doi:10.1109/12.53586
[9] Gentilini，R.，Piazza，C.，Policriti，A.：在线性符号步数中计算强连接组件。In：程序。SODA，第573-582页。ACM出版社，纽约（2003）·兹比尔1092.68716
[10] Gentilini，R.，Piazza，C.，Poliriti，A.：符号图：连通性相关问题的线性解。Algorithmica算法50、120–158（2008）·Zbl 1203.68039号 ·doi:10.1007/s00453-007-9079-5
[11] Hosaka，K.，Takenaga，Y.，Kaneda，T.，Yajima，S.：代表阈值函数的有序二元决策图的大小。理论计算机科学180，47–60（1997）·Zbl 0898.94018号 ·doi:10.1016/S0304-3975（97）83807-8
[12] Iwama，K.，Nozoe，M.，Yajima，S.：对于单调函数来说，优化OBDD仍然很难。收录人：Brim，L.、Gruska，J.、Zlatuška，J.（编辑）MFCS 1998。LNCS，第1450卷，第625–635页。斯普林格，海德堡（1998）·Zbl 1031.68539号 ·doi:10.1007/BFB005813
[13] Jukna，S.：空字符对联系方案复杂性的影响。收录人：Csirik，J.A.、Demetrovics，J.、Gecseg，F.（编辑）FCT 1989。LNCS，第380卷，第246–256页。斯普林格，海德堡（1989）·doi:10.1007/3-540-51498-8_24
[14] Krause，M.，Meinel，C.，Waack，S.：分离橡皮擦图灵机器类L e，NL e，co-NL e和P e。理论计算机科学86，267–275（1991）·Zbl 0749.68036号 ·doi:10.1016/0304-3975（91）90021-S
[15] Muroga，S.：阈值逻辑及其应用。威利，纽约（1971）·Zbl 0243.94014号
[16] Sawitzki，D.：符号最短路径算法的实验研究。收录：Ribeiro，C.C.，Martins，S.L.（编辑）WEA 2004。LNCS，第3059卷，第482-497页。斯普林格，海德堡（2004）·doi:10.1007/978-3-540-24838-5_36
[17] Sawitzki，D.：关于执行时间受限的符号调度独立任务。收录：Nikoletseas，S.E.（编辑）WEA 2005。LNCS，第3503卷，第277-289页。斯普林格，海德堡（2005）·Zbl 1121.90339号 ·doi:10.1007/11427186_25
[18] Sieling，D.，Wegener，I.：二元决策图操作的NC-算法。并行处理信件48、139–144（1993）·Zbl 0787.94027号 ·doi:10.1016/0020-0190（93）90256-9
[19] Takenaga，Y.，Nozoe，M.，Yajima，S.：代表阈值函数的OBDD的大小和可变顺序。收录：Jiang，T.，Lee，D.T.（编辑）COCOON 1997。LNCS，第1276卷，第91-100页。斯普林格，海德堡（1997）·Zbl 0898.94020号 ·doi:10.1007/BFb0045076
[20] Tani，S.、Hamagushi，K.、Yajima，S.：共享二元决策图最优变量排序问题的复杂性。收录人：Ng，K.W.，Balasubramanian，N.V.，Raghavan，P.，Chin，F.Y.L.（编辑）ISAAC 1993。LNCS，第762卷，第389–396页。斯普林格，海德堡（1993）·doi:10.1007/3-540-57568-5_270
[21] 韦格纳，I.：分支程序和二进制决策图-理论和应用。SIAM离散数学与应用专著（2000）·Zbl 0956.68068号 ·数字对象标识代码：10.1137/1.9780898719789
[22] Woelfel，P.：OBDD的符号拓扑排序。收录：Rovan，B.，Vojtáš，P.（编辑）MFCS 2003。LNCS，第2747卷，第671-680页。斯普林格，海德堡（2003）·兹比尔1124.68352 ·doi:10.1007/978-3-540-45138-961
[23] Woelfel，P.：OBDD的符号拓扑排序。《离散算法杂志》4（1），51–71（2006）·兹比尔1128.68030 ·doi:10.1016/j.jda.2005.01.008
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。