×
安德烈亚斯·比约克隆德;托尔·胡斯菲尔德

精确算法的精确可满足性和完美匹配的数量。 （英语） Zbl 1170.68046号

算法 52，第2期，226-249（2008）.
摘要：基于分治和包含-排除特征，我们提出了具有指数运行时间的元素集覆盖问题的精确算法。我们证明了带（m）子句的大小为（l）的精确可满足性问题可以在时间（2^ml^{O（1）}）和多项式空间中求解。计算解的数量也有相同的界限。作为一个特例，我们可以计算时间（2^n^{O（1）}）和多项式空间中的（n）-顶点图中的完美匹配数。我们还展示了如何计算时间（O（1.732^n））和指数空间中的完美匹配数。我们给出了一些例子，如果集合覆盖实例对应的超图具有较低的路径宽度，那么运行时间可以进一步提高。这就产生了指数时间算法来计算度最多为三的图中的（k）维匹配、精确均匀集覆盖、团划分和最小支配集。我们将分析扩展到一些相关问题，如TSP和色数。

引用于20文件

MSC公司：

68周05 非数值算法
2015年1月5日 精确枚举问题，生成函数
05C70号 具有特殊属性的边子集（因子分解、匹配、分区、覆盖和打包等）
2015年第68季度 复杂性类（层次结构、复杂性类之间的关系等）
65年第68季度 算法和问题复杂性分析
90C27型 组合优化

关键词：

精确算法;固定盖板;集合分区;精确可满足性;完美匹配的数量
PDF格式BibTeX公司 XML格式引用
\textit{A.Björklund}和\textit{T.Husfeldt}，《算法》52，第2期，226--249（2008；Zbl 1170.68046）
全文： 内政部

参考文献：

[1] Angelsmark，O.，Thapper，J.：一些着色问题的基于分区的算法。In：约束的最新进展。《人工智能课堂讲稿》，第3978卷，第44-58页。柏林施普林格出版社（2005）·Zbl 1180.68242号
[2] Bax，E.T.：哈密顿路径问题的包含和排除算法。信息处理。莱特。47（4），203–207（1993）·Zbl 0778.68069号 ·doi:10.1016/0020-0190（93）90033-6
[3] Björklund，A.，Husfeldt，T.Koivisto，M.：通过包含-排除进行集划分。SIAM J.计算。，出现。初稿。2006年10月21日至24日，加利福尼亚州伯克利市，第47届IEEE计算机科学基础年会论文集，第575–582、583–590页。IEEE计算机学会，加利福尼亚州洛斯阿拉米托斯（2006）
[4] Bodlaender，H.，Kratsch，D.：具有多项式记忆的图着色的精确算法。技术报告UU-CS-2006-015，乌得勒支大学（2006）
[5] Byskov，J.M.：枚举最大独立集及其在图着色中的应用。Res.Lett公司。32, 547–556 (2004) ·Zbl 1052.05055号 ·doi:10.1016/j.org.2004.03.002
[6] Byskov，J.M.：图着色的精确算法和精确可满足性。奥胡斯大学博士论文（2004）·Zbl 1052.05055号
[7] Byskov，J.M.，Madsen，B.A.，Skjernaa，B.：精确可满足性的新算法。西奥。计算。科学。332(1–3), 515–541 (2005) ·Zbl 1070.68049号 ·doi:10.1016/j.tcs.2004.12.023
[8] Chien，S.：一种基于确定性的算法，用于计算一般图中的完美匹配。In：程序。第15届SODA，第728–735页（2004年）·Zbl 1318.05074号
[9] Christofides，N.：图的色数的算法。计算。J.14，38–39（1971）·Zbl 0215.05601号 ·doi:10.1093/comjnl/14.138
[10] Coppersmith，D.，Winograd，S.：通过算术级数进行矩阵乘法。J.塞姆。计算。9(3), 251–280 (1990) ·Zbl 0702.65046号 ·doi:10.1016/S0747-7171（08）80013-2
[11] Downey，R.G.，Fellows，M.R.：参数化复杂性。Springer，纽约（1999）。国际标准书号0-387-94883-X
[12] Dahllöf，V.，Jonsson，P.，Beigel，R.：精确可满足性的四种变体的算法。西奥。计算。科学。320(2–3), 373–394 (2004) ·Zbl 1068.68068号 ·doi:10.1016/j.tcs.2004.02.035文件
[13] Davis，M.，Logemann，G.，Loveland，D.：定理证明的机器程序。Commun公司。ACM 5（7），394–397（1962）·Zbl 0217.54002号 ·电话：10.1145/368273.368557
[14] Eppstein，D.：小的最大独立集和更快的精确图着色。《图形算法应用》。7(2), 131–140 (2003) ·Zbl 1027.05092号
[15] Fomin，F.V.，Grandoni，F.，Kratsch，D.：精确（指数）算法设计和分析中的一些新技术。In：公牛。EATCS，第87卷（2005年）·Zbl 1169.68669号
[16] Fomin，F.V.，Grandoni，F.，Kratsch，D.：衡量与征服：统治——案例研究。载：第32届ICALP会议记录，第191–203页（2005年）·Zbl 1082.68866号
[17] Fomin，F.V.，Höie，K.：三次图的路径宽度和精确算法。信息处理。莱特。97(5), 191–196 (2006) ·Zbl 1191.68826号 ·doi:10.1016/j.ipl.2005.10.012
[18] Feder，T.，Motwani，R.：着色和可满足性问题的最坏情况时间界限。《算法杂志》45（2），192-201（2002）·Zbl 1051.68076号 ·doi:10.1016/S0196-6774（02）00224-9
[19] Feige，U.，Kilian，J.：计算图形带宽的指数时间算法。手稿。引用于[38]·Zbl 1006.68103号
[20] Gurevich，Y.，Shelah，S.：哈密顿路径问题的预期计算时间。SIAM J.计算。16(3), 486–502 (1987) ·Zbl 0654.68083号 ·数字对象标识代码：10.1137/0216034
[21] Hujter，M.，Tuza，Z.：关于无三角图中最大独立集的个数。SIAM J.离散数学。6(2), 284–288 (1993) ·Zbl 0779.05025号 ·数字对象标识代码：10.1137/0406022
[22] Jerrum，M.，Sinclair，A.，Vigoda，E.：具有非负项的矩阵永久性的多项式时间近似算法。In：程序。第33届STOC，第712–721页（2001年）·Zbl 1323.68571号
[23] Karp，R.M.：动态编程符合包含-排除的原则。操作。Res.Lett公司。1, 49–51 (1982) ·Zbl 0486.90083号 ·doi:10.1016/0167-6377（82）90044-X
[24] Kohn，S.，Gottlieb，A.，Kohn，M.：旅行推销员问题的生成函数方法。收录于：ACM’77：1977年年度会议记录，第294-300页。纽约ACM出版社（1977年）
[25] Kneis，J.，Mölle，D.，Richter，S.，Rossmanith，P.：基于稀疏图树宽的算法。摘自：第31届计算机科学图论概念国际研讨会论文集，第385-396页（2005）·Zbl 1171.05428号
[26] Lawler，E.L.：关于色数问题复杂性的注释。信息处理。莱特。5(3), 66–67 (1976) ·Zbl 0336.68021号 ·doi:10.1016/0020-0190（76）90065-X
[27] Lovász，L.，Plummer，M.D.：匹配理论。荷兰北部，阿姆斯特丹（1986年）·Zbl 0618.05001号
[28] Madsen，B.A.：以子句数为参数分析精确可满足性的算法。信息处理。莱特。97(1), 28–30 (2006) ·Zbl 1185.68647号 ·doi:10.1016/j.ipl.2005.08.011
[29] Moon，J.W.，Moser，L.：关于图中的团。以色列。数学杂志。(1965) ·Zbl 0144.23205号
[30] Monien，B.，Speckenmeyer，E.，Vornberger，O.：覆盖问题的上界。方法操作。第43、419–431号决议（1981年）·Zbl 0508.90065号
[31] Porschen，S.：关于一些加权可满足性和图问题。In：程序。第31届索菲姆。计算机科学课堂讲稿，第3381卷，第278–287页（2005）·Zbl 1117.68382号
[32] Ryser，H.J.：组合数学。Carus数学。专著，第14期。数学。美国协会，华盛顿特区（1963年）
[33] Tsukiyama，S.，Ide，M.，Ariyoshi，H.，Shirakawa，I.：生成所有最大独立集的新算法。SIAM J.计算。6(3), 505–517 (1977) ·Zbl 0364.05027号 ·数字对象标识代码：10.1137/0206036
[34] Vadhan，S.P.：稀疏、规则和平面抓取中计数的复杂性。SIAM J.计算。32(2), 398–427 (2001) ·兹比尔0994.68070 ·网址：10.1137/S0097539797921602
[35] Valiant，L.G.：计算永久性的复杂性。西奥。计算。科学。8, 189–201 (1979) ·兹比尔0415.68008 ·doi:10.1016/0304-3975（79）90044-6
[36] Williams，R.：最优2-约束满足的新算法及其含义。西奥。计算。科学。348(1–2), 357–365 (2005) ·Zbl 1081.68095号 ·doi:10.1016/j.tcs.2005.09.023
[37] Woeginger，G.J.：NP-hard问题的精确算法：一项调查。In：组合优化：Eureka，You Shrink！，第185-207页。柏林施普林格出版社（2003）·兹比尔1024.68529
[38] Woeginger，G.J.：精确算法的空间和时间复杂性：一些开放问题。In：程序。第一届IWPEC。计算机科学课堂讲稿，第3162卷，第281-290页（2004年）·Zbl 1104.68520号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。