Turbocharging Treewidth Heuristics

Gaspers, Serge; Gudmundsson, Joachim; Jones, Mitchell; Mestre, Julián; Rümmele, Stefan

doi:10.4230/LIPIcs.IPEC.2016.13

涡轮增压树宽度启发

作者详细信息

Serge Gaspers公司

约阿希姆·古德蒙德森

米切尔·琼斯

朱利安·梅斯特雷

斯特凡·吕梅尔

引用为获取BibTex

谢尔盖·加斯佩斯（Serge Gaspers）、约阿希姆·古德蒙德森（Joachim Gudmundsson）、米切尔·琼斯（Mitchell Jones）、朱利安·梅斯特雷（Julián Mestre）和斯特凡·吕梅尔（Stefan Rümmele）。涡轮增压树宽度启发。第十一届参数化和精确计算国际研讨会（IPEC 2016）。莱布尼茨国际信息学论文集（LIPIcs），第63卷，第13:1-13:13页，达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所（2017）
https://doi.org/10.4230/LIPIcs.IPEC.2016.13

@会议记录{gasers_et_al:LIPIcs.IPEC.2016.13，author={Gaspers、Serge和Gudmundsson、Joachim和Jones、Mitchell和Mestre、Juli{a} n个和R“{u} 梅尔，斯特凡}，title={{涡轮增压树宽度启发}}，booktitle={第十一届参数化和精确计算国际研讨会（IPEC 2016）}，页数={13:1--13:13}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-95977-023-1}，ISSN={1868-8969}，年份={2017年}，体积={63}，editor={Guo，Jiong和Hermelin，Danny}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2016.13},URN={URN:nbn:de:0030-drops-69322}，doi={10.4230/LIPIcs.IPEC.2016.13}，annote={关键词：树分解，启发式，固定参数可处理性，局部搜索}}

<trans data-src="@InProceedings{gaspers_et_al:LIPIcs.IPEC.2016.13,">@会议记录{gasers_et_al:LIPIcs.IPEC.2016.13，</trans><trans data-src="author =	{Gaspers, Serge and Gudmundsson, Joachim and Jones, Mitchell and Mestre, Juli\'">author={Gaspers、Serge和Gudmundsson、Joachim和Jones、Mitchell和Mestre、Juli</trans><trans data-src="{a}n">{a} n个</trans><trans data-src=" and R\"">和R“</trans><trans data-src="{u}mmele">{u} 梅尔</trans><trans data-src=", Stefan},">，斯特凡}，</trans><trans data-src="title =	{{Turbocharging Treewidth Heuristics}},">title={{涡轮增压树宽度启发}}，</trans><trans data-src="booktitle =	{11th International Symposium on Parameterized and Exact Computation (IPEC 2016)},">booktitle={第十一届参数化和精确计算国际研讨会（IPEC 2016）}，</trans><trans data-src="pages =	{13:1--13:13},">页数={13:1--13:13}，</trans><trans data-src="series =	{Leibniz International Proceedings in Informatics (LIPIcs)},">series={Leibniz国际信息学论文集（LIPIcs）}，</trans><trans data-src="ISBN =	{978-3-95977-023-1},">国际标准图书编号={978-3-95977-023-1}，</trans><trans data-src="ISSN =	{1868-8969},">ISSN={1868-8969}，</trans><trans data-src="year =	{2017},">年份={2017年}，</trans><trans data-src="volume =	{63},">体积＝{63}，</trans><trans data-src="editor =	{Guo, Jiong and Hermelin, Danny},">editor={Guo，Jiong和Hermelin，Danny}，</trans><trans data-src="publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},">publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，</trans><trans data-src="address =	{Dagstuhl, Germany},">地址={Dagstuhl，德国}，</trans><trans data-src="URL =		{">URL={</trans><trans data-src="https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2016.13">https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2016.13</trans><trans data-src="},">},</trans><trans data-src="URN =		{urn:nbn:de:0030-drops-69322},">URN={URN:nbn:de:0030-drops-69322}，</trans><trans data-src="doi =		{10.4230/LIPIcs.IPEC.2016.13},">doi={10.4230/LIPIcs.IPEC.2016.13}，</trans><trans data-src="annote =	{Keywords: tree decomposition, heuristic, fixed-parameter tractability, local search}">annote={关键词：树分解，启发式，固定参数可处理性，局部搜索}</trans><trans data-src="}">}</trans>

摘要

用于计算图的树分解的一类广泛使用的算法是启发式算法，其计算消去次序，即顶点集的排列。在本文中，我们建议对这些启发式进行增压。对于目标树宽度k，假设启发式算法已经计算出宽度的部分消去顺序，最多为k，但再将其扩展一个顶点，就会超过目标宽度k，我们解决了一个子问题，该子问题是重新计算部分消元序的最后c个位置，使其可以在不超过宽度k的情况下进行扩展。我们证明，当用k和c参数化时，该子课题是固定参数可处理的，但当仅用k或c参数化的时候，它是para-NP-hard和W[1]-hard。我们对FPT算法的实验评估表明，我们可以通过合理增加运行时间来换取解的质量。

工具书类

Stefan Arnborg、Derek G.Corneil和Andrzej Proskurowski。在ak-tree中查找嵌入的复杂性。SIAM代数离散方法杂志，8（2）：277-2841987。
汉斯·博德兰德。一种用于寻找小树宽的树分解的线性时间算法。SIAM J.计算。，25(6):1305-1317, 1996.
Hans L.Bodlaender和Arie M.C.A.Koster。树宽计算I.上限。信息计算。，208(3):259-275, 2010. 网址：http://dx.doi.org/10.1016/j.ic.2009.03.008.
罗德尼·G·唐尼（Rodney G.Downey）和迈克尔·R·费罗斯（Michael R.Fellows）。固定参数可处理性和完备性II：关于W[1]的完备性。西奥。计算。科学。，141(1&2):109-131, 1995.
迈克尔·加里（Michael R.Garey）和大卫·约翰逊（David S.Johnson）。计算机与不可纠正性：NP-完备性理论指南。W.H.Freeman，1979年。
Vibhav Gogate和Rina Dechter。一个完整的任意树宽算法。程序中。UAI’04第201-208页。AUAI出版社，2004年。
Sepp Hartung和Rolf Niedermeier。图的增量列表着色，通过守恒参数化。西奥。计算。科学。，494:86-98, 2013.
Arie M.C.A.Koster、Hans L.Bodlaender和Stan P.M.van Hoesel。树形：计算实验。离散数学电子笔记，8:54-572001。

涡轮增压树宽度启发

作者谢尔盖·加斯佩斯, 约阿希姆·古德蒙德森, 米切尔·琼斯, 朱利安·梅斯特雷, 斯特凡·吕梅尔

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

韵律学

工具书类

感谢您的反馈！

无法发送消息

涡轮增压树宽度启发

作者 谢尔盖·加斯佩斯, 约阿希姆·古德蒙德森, 米切尔·琼斯, 朱利安·梅斯特雷, 斯特凡·吕梅尔

文件

文件标识符

作者详细信息

引用为获取BibTex

摘要

关键词

韵律学

工具书类

感谢您的反馈！

无法发送消息

作者谢尔盖·加斯佩斯, 约阿希姆·古德蒙德森, 米切尔·琼斯, 朱利安·梅斯特雷, 斯特凡·吕梅尔