Reduction Algorithms for Constructing Solutions in Graphs with Small Treewidth

This paper presents some new ideas and results on graph reduction applied to graphs with bounded treewidth. Arnborg et al. [2] have shown that many decision problems on graphs can be solved in linear time on graphs with bounded treewidth, by using a finite set of reduction rules. Bodlaender [5] has shown that a number of optimization problems can also be solved in this way. We show that these methods can be extended to solve the construction variants of many of these problems on graphs with bounded treewidth. For example, the construction variants of decision problems that are definable in monadic second order logic can be solved in this way, and construction variants of Independent set and Hamiltonian completion number can be solved in this way.