PACE Solver Description: Exact (GUTHMI) and Heuristic (GUTHM)
18th International Symposium on Parameterized and Exact Computation …, 2023•drops.dagstuhl.de
Twin-width (tww) is a parameter measuring the similarity of an undirected graph to a co-
graph [Édouard Bonnet et al., 2022]. It is useful to analyze the parameterized complexity of
various graph problems. This paper presents two algorithms to compute the twin-width and
to provide a contraction sequence as witness. The two algorithms are motivated by the
PACE 2023 challenge, one for the exact track and one for the heuristic track. Each algorithm
produces a contraction sequence witnessing (i) the minimal twin-width admissible by the …
graph [Édouard Bonnet et al., 2022]. It is useful to analyze the parameterized complexity of
various graph problems. This paper presents two algorithms to compute the twin-width and
to provide a contraction sequence as witness. The two algorithms are motivated by the
PACE 2023 challenge, one for the exact track and one for the heuristic track. Each algorithm
produces a contraction sequence witnessing (i) the minimal twin-width admissible by the …
Abstract
Twin-width (tww) is a parameter measuring the similarity of an undirected graph to a co-graph [Édouard Bonnet et al., 2022]. It is useful to analyze the parameterized complexity of various graph problems. This paper presents two algorithms to compute the twin-width and to provide a contraction sequence as witness. The two algorithms are motivated by the PACE 2023 challenge, one for the exact track and one for the heuristic track. Each algorithm produces a contraction sequence witnessing (i) the minimal twin-width admissible by the graph in the exact track (ii) an upper bound on the twin-width as tight as possible in the heuristic track. Our heuristic algorithm relies on several greedy approaches with different performance characteristics to find and improve solutions. For large graphs we use locality sensitive hashing to approximately identify suitable contraction candidates. The exact solver follows a branch-and-bound design. It relies on the heuristic algorithm to provide initial upper bounds, and uses lower bounds via contraction sequences to show the optimality of a heuristic solution found in some branch.
drops.dagstuhl.de
Showing the best result for this search. See all results