2026-07-26T01:01:00Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:6932 2024-03-06T10:38:48Z ddc:004 open_access

Turbocharging Treewidth Heuristics Gaspers, Serge Gudmundsson, Joachim Jones, Mitchell Mestre, Julián Rümmele, Stefan tree decomposition heuristic fixed-parameter tractability local search A widely used class of algorithms for computing tree decompositions of graphs are heuristics that compute an elimination order, i.e., a permutation of the vertex set. In this paper, we propose to turbocharge these heuristics. For a target treewidth k, suppose the heuristic has already computed a partial elimination order of width at most k, but extending it by one more vertex exceeds the target width k. At this moment of regret, we solve a subproblem which is to recompute the last c positions of the partial elimination order such that it can be extended without exceeding width k. We show that this subproblem is fixed-parameter tractable when parameterized by k and c, but it is para-NP-hard and W[1]-hard when parameterized by only k or c, respectively. Our experimental evaluation of the FPT algorithm shows that we can trade a reasonable increase of the running time for quality of the solution. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Serge Gaspers and Joachim Gudmundsson and Mitchell Jones and Julián Mestre and Stefan Rümmele 2017 Is Part Of LIPIcs, Volume 63, 11th International Symposium on Parameterized and Exact Computation (IPEC 2016) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.IPEC.2016.13 urn:nbn:de:0030-drops-69322 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2016.13 eng https://creativecommons.org/licenses/by/3.0/legalcode