×
马可·萨梅尔;斯泽德，斯特凡

命题模型计数算法。 （英语） Zbl 1214.05166号

J.离散算法 8，第1号，50-64（2010）.
总结：我们提出了命题模型计数问题#SAT的算法。这些算法利用与给定CNF公式相关的某些图的树分解；我们特别考虑了原始图、对偶图和关联图。我们连贯地描述了这些算法，以便进行直接比较，并提供了足够的详细信息，使实际实现相当容易。我们讨论了算法的几个方面，包括最坏情况下的时间和空间要求。

引用于29文件

MSC公司：

05立方厘米85 图形算法（图形理论方面）

关键词：

模型计数;命题可满足;参数化算法
PDF格式BibTeX公司 XML格式引用
\textit{M.Samer}和\textit{S.Szeider}，J.离散算法8，No.1，50--64（2010；Zbl 1214.05166）
全文： 内政部

参考文献：

[1] 阿霍，A.V。；霍普克罗夫特，J.E。；Ullman，J.D.，计算模型，（计算机算法的设计与分析（1974），Addison-Wesley），1-41，（第1章）·Zbl 0326.68005号
[2] Aspvall，B。；Proskurowski，A。；Telle，J.A.，部分（k）树算法中表计算的内存要求，《算法》，27，3-4，382-394（2000）·Zbl 0959.68096号
[3] 巴克斯，F。；Dalmao，S。；Pitassi，T.，#SAT和Bayesian推理的算法和复杂性结果，（第44届IEEE计算机科学基础年会（FOCS’03）（2003），IEEE计算机学会），340-351·Zbl 1182.68294号
[4] Bodlaender，H.L.，《穿越树干的导游》，《控制学报》，第11期，第1-21页（1993年）·Zbl 0804.68101号
[5] Bodlaender，H.L.，求小树宽树分解的线性时间算法，SIAM计算杂志，25，6，1305-1317（1996）·Zbl 0864.68074号
[6] Bodlaender，H.L.，《发现树宽》，（第31届计算机科学理论与实践当前趋势会议论文集（SOFSEM'05）。程序。第31届计算机科学理论与实践当前趋势会议（SOFSEM'05），LNCS，第3381卷（2005），Springer-Verlag，1-16·Zbl 1117.68451号
[7] 科恩，D。；杰文斯，P。；Gyssens，M.，约束满足问题的结构可处理性统一理论，《计算机与系统科学杂志》，74,5721-743（2008）·兹比尔1151.68640
[8] 库塞尔，B。；Makowsky，J.A。；Rotics，U.，有界围宽图上的线性时间可解优化问题，计算系统理论，33，2，125-150（2000）·Zbl 1009.68102号
[9] 库塞尔，B。；Makowsky，J.A。；关于一元二阶逻辑中可定义的图枚举问题的固定参数复杂性，《离散应用数学》，108，1-2，23-52（2001）·Zbl 0972.05023号
[10] 北卡罗来纳州克里诺。；Hermann，M.，广义可满足性计数问题的复杂性，信息与计算，125，16，1-12（1996）·Zbl 0853.68110号
[11] Dechter，R.，约束处理（2003），Morgan Kaufmann
[12] 唐尼，R.G。；研究员，M.R.，参数化复杂性（1999），Springer-Verlag·Zbl 0914.68076号
[13] Fischer，E。；Makowsky，J.A。；Ravve，E.R.，有界树宽或截宽公式的计数真值赋值，离散应用数学，156，4，511-529（2008）·兹比尔1131.68093
[14] 弗鲁姆，J。；Grohe，M.，参数化复杂性理论（2006），Springer-Verlag·Zbl 1143.68016号
[15] Fürer，M.，《更快的整数乘法》，（第39届ACM计算理论年会（STOC'07）（2007），ACM），57-66·Zbl 1179.68198号
[16] Gottlob，G。；塞拉利昂，北卡罗来纳州。；Scarcello，F.，超树分解可处理查询，《计算机与系统科学杂志》，64，3，579-627（2002）·Zbl 1052.68025号
[17] Gottlob，G。；斯卡切罗，F。；Sideri，M.，人工智能和非单调推理中的固定参数复杂性，人工智能，138，1-2，55-86（2002）·Zbl 0995.68118号
[18] 格罗，M。；Marx，D.，通过分数边覆盖求解约束，（ACM-SIAM离散算法年度研讨会论文集（SODA'06）（2006），ACM出版社），289-298·Zbl 1192.68642号
[19] 赫莱宁（Hlinen），P。；Oum，S.-I.，《寻找分支分解秩分解》，SIAM计算杂志，38，3，1012-1032（2008）·Zbl 1163.05331号
[20] Kloks，T.，《树宽：计算与近似》（Treewidth:Computations and Approximations）（1994年），施普林格-弗拉格出版社·Zbl 0825.68144号
[21] Knuth，D.E.，我们能乘多快？，（《计算机编程艺术》，第2卷：半数值算法（1998），Addison-Wesley），294-318，（第4.3.3章）·Zbl 0895.65001号
[22] Kolaitis，P.G。；Vardi，M.Y.，连接查询包含约束满足，《计算机与系统科学杂志》，61，2，302-332（2000）·Zbl 0963.68059号
[23] 科斯特，A.M.C.A。；博德兰德，H.L。；van Hoesel，S.P.M.，Treewidth:计算实验，离散数学电子笔记，8，54-57（2001），扩展版可作为技术报告ZIB 01-38获得，Konrad-Zuse-Zentrum für Informationstechnik Berlin，2001·Zbl 1409.05176号
[24] Niedermeier，R.，固定参数算法邀请函（2006），牛津大学出版社·Zbl 1095.68038号
[25] 北西村。；Ragde，P。；Szeider，S.，使用顶点覆盖求解#SAT，《信息学报》，44，7-8，509-523（2007）·Zbl 1133.68073号
[26] 罗伯逊，N。；Seymour，P.D.，图的子项X。树分解的障碍，组合理论杂志，B辑，52，2，153-190（1991）·兹比尔0764.05069
[27] Roth，D.，《论近似推理的难度》，《人工智能》，第82、1-2、273-302页（1996年）·Zbl 1506.68143号
[28] 萨默，M。；Szeider，S.，命题模型计数算法，（第14届编程、人工智能和推理逻辑国际会议论文集（LPAR'07）。程序。第14届程序设计、人工智能和推理逻辑国际会议（LPAR’07），LNCS，第4790卷（2007），Springer-Verlag，484-498·Zbl 1137.68623号
[29] M.Samer，S.Szeider，《有界树宽约束满足重访》，《计算机与系统科学杂志》（2009），doi:10.1016/j.jcss.2009.04.003，出版社；M.Samer，S.Szeider，重访有界树宽的约束满足，《计算机与系统科学杂志》（2009），doi:10.1016/j.jcss.2009.04.003，正在出版·Zbl 1160.68563号
[30] Schönhage，A。；斯特拉森，V.，Schnelle Multiplikation ganzer Zahlen，Computing，7，281-292（1971）·Zbl 0223.68007号
[31] Valiant，L.G.，计算永久性的复杂性，理论计算机科学，8，2，189-201（1979）·兹比尔0415.68008
[32] Viennot，X.G.，Trees，（Mots-Melanges offertsáM.-P.Schützenberger（1990），Hermes Science Publications），第265-297页
[33] Yannakakis，M.，《非循环数据库方案的算法》，（第七届超大数据库国际会议论文集（VLDB’81）（1981），IEEE出版社），81-94
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。