A graph is planar if and only if it does not contain a Kuratowski subdivision. Hence such a subdivision can be used as a witness for non-planarity. Modern planarity testing algorithms allow to extract a single such witness in linear time. We present the first linear time algorithm which is able to extract multiple Kuratowski subdivisions at once. This is of particular interest for, e.g., Branch-and-Cut algorithms which require multiple such subdivisions to generate cut constraints. The algorithm is not only described theoretically, but we also present an experimental study of its implementation. © 2008 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Chimani, M., Mutzel, P., & Schmidt, J. M. (2008). Efficient extraction of multiple Kuratowski subdivisions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4875 LNCS, pp. 159–170). https://doi.org/10.1007/978-3-540-77537-9_17
Mendeley helps you to discover research relevant for your work.