Showing 1–1 of 1 results for author: Brinke, C B T

Practical Algorithms for Linear Boolean-width

Authors: Chiel B. Ten Brinke, Frank J. P. van Houten, Hans L. Bodlaender

Abstract: 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 decompo… ▽ More 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. △ Less

Submitted 25 September, 2015; originally announced September 2015.

ACM Class: G.2.2; F.2.2