Obstructions to within a few vertices or edges of acyclic
Combinatorics
2016-09-06 v1
Abstract
Finite obstruction sets for lower ideals in the minor order are guaranteed to exist by the Graph Minor Theorem. It has been known for several years that, in principle, obstruction sets can be mechanically computed for most natural lower ideals. In this paper, we describe a general-purpose method for finding obstructions by using a bounded treewidth (or pathwidth) search. We illustrate this approach by characterizing certain families of cycle-cover graphs based on the two well-known problems: -{\sc Feedback Vertex Set} and -{\sc Feedback Edge Set}. Our search is based on a number of algorithmic strategies by which large constants can be mitigated, including a randomized strategy for obtaining proofs of minimality.
Keywords
Cite
@article{arxiv.math/9502226,
title = {Obstructions to within a few vertices or edges of acyclic},
author = {Kevin Cattell and Michael J. Dinneen and Michael R. Fellows},
journal= {arXiv preprint arXiv:math/9502226},
year = {2016}
}
Comments
16 pages