1 / 12

A linear time algorithm for recognizing a K 5 -minor

This paper discusses a linear time algorithm for recognizing the presence of a K5-minor in a graph. The algorithm utilizes Wagner's theorem for K5 and constructs a 1-cut, 2-cut, and (3,3)-cut decomposition. The algorithm also considers highly connected graphs and uses a recursive approach to handle larger graphs efficiently.

suzannebrown
Download Presentation

A linear time algorithm for recognizing a K 5 -minor

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. A linear time algorithm for recognizing a K5-minor Bruce Reed Zhentao Li

  2. Definitions K5 K5-model

  3. Connectivity G2 G1 G3

  4. Wagner’s theorem for K5 A 3-connected graph without a K5-model or a cut of size 3 which splits it into at least 3 components is either planar or L L

  5. K5 minor containment Construction of 1-cut, 2-cut, and (3,3)-cut decomposition K5 minor containment in “highly” connected graphs

  6. K5 minor containment Construction of 1-cut, 2-cut, and (3,3)-cut decomposition K5 minor containment in “highly” connected graphs 1 and 2-cuts (3,3)-cut decomp Test planarity Test if the graph is L (HT73) (HT74)

  7. Finding a (3,3)-block tree Some assumptions • G is 3-connected • G has no K5-minor • |E(G)|<64|V(G)| (RS95) Properties • Unique (not K3,3) • Linear size (3,3)-cut (3,3)-block tree

  8. A recursive algorithm • Use brute force if the graph is small. • Otherwise, build a smaller graph to recurse on. Running time: |V(G)|[1+(1-e)+(1-e)2 +(1-e)3+…]=O(|V(G)|) G H >e|V(G)| vertices

  9. Rest of the graph Common neighbours Common neighbours Common neighbours Building a smaller graph by: Removing degree 3 vertices

  10. Building a smaller graph by: Contracting a matching G H • Induced • Low degree vertices • Size > e|V(G)| • Resulting graph is 3-connected

  11. Building a smaller graph by: Contracting a matching (3,3)-block tree for H (3,3)-block tree for G

  12. Building a smaller graph by: Contracting a matching 1 2 3 4 5 6 7 8 9 (2,4) (1,3) 1 (1,7) 1 (7,9) (2,8) 2 2 (7,9) 3 (6,9) 3 4 7 (4,5) 4 7 (1,6) 5 8 5 8 6 9 6 9 G H

More Related