西蒙·波娃;弗里德里希·斯利沃夫斯基 将结构化CNF编译为OBDD。 （英语） Zbl 1378.68028号 理论计算。系统。 61，第2期，637-655（2017）. 摘要：我们提出了关于结构特征类CNF公式的OBDD表示大小的新结果。首先，我们证明可变凸形公式（即具有相对于变量集凸的关联图的公式）具有多项式OBDD大小。其次，我们证明了一类具有有界度关联图的CNF公式的OBDD大小的指数下界。我们通过确定一个简单的充分条件来获得第一个结果，我们称之为少数子项属性–一类CNF公式具有多项式OBDD大小，并表明可变凸公式满足此条件。为了证明第二个结果，我们利用了扩张图的组合性质；这种方法允许我们对满足强语法限制的公式的OBDD大小建立指数下限。 引用于2文件 MSC公司： 68第05页 数据结构 03B05号 经典命题逻辑 65年第68季度 算法和问题复杂性分析 68兰特 计算机科学中的图论（包括图形绘制） 关键词：知识汇编;有序二元决策图;合取范式;展开图 PDF格式BibTeX公司 XML格式引用 \textit｛S.Bova｝和\textit｛F.Slivovsky｝，理论计算。系统。61，No.2，637--655（2017；Zbl 1378.68028） 全文： 内政部 arXiv公司 OA许可证 参考文献： [1] Alon，N.，Spencer，J.H.：概率方法。威利（2000）·Zbl 0912.68148号 [2] Bodlaender，H.L.：具有有界树宽的部分k-树丛图。西奥。计算。科学。209(1-2), 1-45 (1998) ·Zbl 0912.68148号 ·doi:10.1016/S0304-3975（97）00228-4 [3] Bodlaender，H.L.，Kloks，T.：图的路径宽度和树宽度的高效构造算法。《算法》21（2），358-402（1996）·Zbl 0861.68036号 ·doi:10.1006/jagm.1996.0049 [4] Booth，K.S.，Lueker，G.S.：使用pq树算法测试连续一的性质、区间图和图的平面性。J.计算。系统。科学。13(3), 335-379 (1976) ·Zbl 0367.68034号 ·doi:10.1016/S0022-0000（76）80045-1 [5] Brault-Baron，J.、Capelli，F.、Mengel，S.：理解β-无环CNF公式的模型计数。致：STACS会议记录（2015）·Zbl 1355.68112号 [6] Chen，J.，Fomin，F.V.，Liu，Y.，Lu，S.，Villanger，Y.：反馈顶点集问题的改进算法。J.计算。系统。科学。74(7), 1188-1198 (2008) ·兹比尔1152.68055 ·doi:10.1016/j.jcss.2008.05.002 [7] Courcelle，B.，Olariu，S.：图的clique-width的上界。离散。申请。数学。101(1-3), 77-114 (2000) ·Zbl 0958.05105号 ·doi:10.1016/S0166-218X（99）00184-5 [8] Darwiche，A.，Marquis，P.：知识汇编图。J.阿蒂夫。智力。第17号决议，229-264（2002年）·Zbl 1045.68131号 [9] Devadas，S.：比较逻辑函数的两级和有序二元决策图表示。IEEE传输。计算。辅助设计12（5），722-723（1993）·数字对象标识代码：10.1109/43.277617 [10] Diestel，R.：图论。施普林格（2000）·Zbl 0945.05002号 [11] Downey，R.G.，Fellows，M.R.：参数化复杂性的基础。施普林格（2013）·Zbl 1358.68006号 [12] Ferrara，A.，Pan，G.，Vardi，M.Y.：验证中的树宽：本地与全球。In:LPAR会议记录（2005）·Zbl 1143.68450号 [13] Flum，J.，Grohe，M.：参数化复杂性理论。斯普林格（2006）·Zbl 1143.68016号 [14] Gallo，G.：凸二部匹配问题的O（n logn）算法。操作。Res.Lett公司。3(1), 31-34 (1984) ·兹伯利0537.90091 ·doi:10.1016/0167-6377（84）90068-3 [15] Glover，F.：凸二部图中的最大匹配。海军后勤研究。问题14（3），313-316（1967）·Zbl 0183.24501号 ·doi:10.1002/nav.3800140304 [16] Hoory，S.、Linial，N.、Wigderson，A.：展开图及其应用。牛市。美国数学。Soc.43（4），439-561（2006）·兹比尔1147.68608 ·doi:10.1090/S0273-0979-06-01126-8 [17] Jukna，S.：布尔函数复杂性——进展和前沿。施普林格（2012）·兹比尔1235.94005 [18] Kaminski，M.，Lozin，V.V.，Milanic，M.：有界集团宽度图的最新发展。离散。申请。数学。157(12), 2747-2761 (2009) ·Zbl 1211.05165号 ·doi:10.1016/j.dam.2008.08.022 [19] Köbler，J.，Kuhnert，S.，Laubner，B.，Verbitsky，O.：区间图：对数空间中的规范表示。SIAM J.计算。40(5), 1292-1315 (2011) ·Zbl 1235.05140号 ·doi:10.1137/10080395X [20] Lozin，V.，Rautenbach，D.：有界树和团宽的弦二部图。离散数学。283(1-3), 151-158 (2004) ·Zbl 1044.05060号 ·doi:10.1016/j.disc.2004.02.008 [21] Lubotzky，A.：纯数学和应用数学中的扩张图。牛市。美国数学。Soc.49（1），113-162（2012）·Zbl 1232.05194号 ·doi:10.1090/S0273-0979-2011-01359-3 [22] Oztok，U.，Darwiche，A.：CV-宽度：CNF的新复杂性参数。致：ECAI会议记录（2014）·Zbl 1366.68099号 [23] Razgon，I.：关于有界树宽CNF的OBDD。致：KR会议记录（2014）·Zbl 1341.68065号 [24] Steiner，G.、Yeomans，S.：混合模型、实时过程的水平进度表。管理。科学。39(6), 728-735 (1993) ·Zbl 0783.90047号 ·doi:10.1287/mnsc.39.6.728 [25] 韦格纳，I.：分支程序和二进制决策图。SIAM（2000年）·Zbl 0956.68068号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。