We give an effective way to compute the minimal forbidden minors for a minor-closed class of graphs of bounded tree-width from an algorithm that decides a finite congruence that recognizes the class. We prove constructively that every minor closed class of graphs of bounded tree-width that is recognized by a finite congruence has a finite number of minimal forbidden minors. Our proof gives a bound of the size of a minimal forbidden minor. We define explicitly a relation prove that it is a finite congruence that recognizes the graphs of tree-width at most w, and show how to decide it. Hence, we can find the minimal forbidden minors for graphs of tree-width at most w and bounds on their sizes. An algorithm that recognizes graphs of tree-width at most w in linear time is also obtained.
CITATION STYLE
Lagergren, J., & Arnborg, S. (1991). Finding minimal forbidden minors using a finite congruence. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 510 LNCS, pp. 532–543). Springer Verlag. https://doi.org/10.1007/3-540-54233-7_161
Mendeley helps you to discover research relevant for your work.