The Community for Technology Leaders
2013 IEEE 54th Annual Symposium on Foundations of Computer Science (1991)
San Juan, Puerto Rico
Oct. 1, 1991 to Oct. 4, 1991
ISBN: 0-8186-2445-0
pp: 802-811
A. Gupta , Sch. of Comput. Sci., Simon Fraser Univ., Burnaby, BC, Canada
ABSTRACT
The proof of Wagner's conjecture by N. Robertson and P. Seymour gives a finite description of any family of graphs which is closed under the minor ordering, called the obstructions of the family. Since the intersection and the union of two minor closed graph families are again a minor closed graph family, an interesting question is that of computing the obstructions of the new family given the obstructions for the original two families. It is easy to compute the obstructions of the intersection, but, until very recently, it was an open problem to compute the obstructions of the union. It is shown that if the original families are planar, then the obstructions of the union are no larger than n to the O(n/sup 2/) power, where n is the size of the largest obstruction of the original family.
INDEX TERMS
minor closed graph families, graph family obstructions, planar intertwines, minor ordering
CITATION
R. Impagliazzo, A. Gupta, "Computing planar intertwines", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 802-811, 1991, doi:10.1109/SFCS.1991.185452
81 ms
(Ver 3.3 (11022016))