In this paper, we give a number of new exact algorithms and heuristics to compute linear boolean decompositions, and experimentally evaluate these algorithms. The experimental evaluation shows that significant improvements can be made with respect to running time without increasing the width of the generated decompositions. We also evaluated dynamic programming algorithms on linear boolean decompositions for several vertex subset problems. This evaluation shows that such algorithms are often much faster (up to several orders of magnitude) compared to theoretical worst case bounds.
@InProceedings{tenbrinke_et_al:LIPIcs.IPEC.2015.187, author = {ten Brinke, Chiel B. and van Houten, Frank J. P. and Bodlaender, Hans L.}, title = {{Practical Algorithms for Linear Boolean-width}}, booktitle = {10th International Symposium on Parameterized and Exact Computation (IPEC 2015)}, pages = {187--198}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-92-7}, ISSN = {1868-8969}, year = {2015}, volume = {43}, editor = {Husfeldt, Thore and Kanj, Iyad}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2015.187}, URN = {urn:nbn:de:0030-drops-55821}, doi = {10.4230/LIPIcs.IPEC.2015.187}, annote = {Keywords: graph decomposition, boolean-width, heuristics, exact algorithms, vertex subset problems} }
Feedback for Dagstuhl Publishing