improved edge coloring with three colors
play

Improved Edge Coloring with Three Colors ukasz Kowalik Max Planck - PowerPoint PPT Presentation

Improved Edge Coloring with Three Colors ukasz Kowalik Max Planck Institut fr Informatik, Saarbrcken Instytut Informatyki, Warsaw University ukasz Kowalik, WG06, Improved Edge Coloring with Three Colors p. 1 Edge-Coloring


  1. Improved Edge Coloring with Three Colors Łukasz Kowalik Max Planck Institut für Informatik, Saarbrücken Instytut Informatyki, Warsaw University Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 1

  2. Edge-Coloring Assign colors to edges so that incident edges get distinct colors. What is known? ( ∆ = max v degree( v ) ) ∆ colors needed (trivial) ∆ + 1 colors suffice (Vizing) Deciding “ ∆ / (∆ + 1) ” is NP-complete even when ∆ = 3 . Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 2

  3. Edge-Coloring Assign colors to edges so that incident edges get distinct colors. What is known? ( ∆ = max v degree( v ) ) ∆ colors needed (trivial) ∆ + 1 colors suffice (Vizing) Deciding “ ∆ / (∆ + 1) ” is NP-complete even when ∆ = 3 . We will focus on the ∆ = 3 case (subcubic graphs). Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 2

  4. 3-Edge-Coloring: Results Let G be the input graph, n = | V ( G ) | . Naive backtracking: O (2 | E ( G ) | ) = O (2 3 / 2 n ) = O (2 . 83 n ) . Approach: vertex-coloring the line graph L ( G ) . 3-coloring algorithm by Beigel & Eppstein [JAlg’05] gives time: O (1 . 3289 | V ( L ( G )) | ) = O (1 . 3289 | E ( G ) | ) = O (1 . 532 n ) . (for ≥ 4 colors the above approach is the best known.) Beigel & Eppstein [JAlg’05]: nontrivial preprocessing + reduction to (3 , 2) -CSP . Time: O (1 . 415 n ) = O (2 n/ 2 ) . Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 3

  5. 3-Edge-Coloring: Results Let G be the input graph, n = | V ( G ) | . Naive backtracking: O (2 | E ( G ) | ) = O (2 3 / 2 n ) = O (2 . 83 n ) . Approach: vertex-coloring the line graph L ( G ) . 3-coloring algorithm by Beigel & Eppstein [JAlg’05] gives time: O (1 . 3289 | V ( L ( G )) | ) = O (1 . 3289 | E ( G ) | ) = O (1 . 532 n ) . (for ≥ 4 colors the above approach is the best known.) Beigel & Eppstein [JAlg’05]: nontrivial preprocessing + reduction to (3 , 2) -CSP . Time: O (1 . 415 n ) = O (2 n/ 2 ) . This work: O (1 . 344 n ) = O (2 0 . 427 n ) Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 3

  6. Basic Idea (Counterpart of Lawler’s ’76 algorithm for 3-vertex-coloring) A matching M in graph G is fitting when G − M is 2-edge-colorable. G is 3-edge-colorable iff G contains a fitting matching. G is 3-edge-colorable iff G contains a (inclusion-wise) maximal matching which is fitting. 2-edge-colorability is in P . Algorithm 1: generate all maximal matchings, for each verify whether it is fitting. Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 4

  7. Basic Idea Refined Observation: Fitting matching matches every 3-vertex. A matching which matches every 3-vertex will be called semi-perfect . Algorithm 2: generate all maximal semi-perfect matchings, for each verify whether it is fitting. Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 5

  8. Basic Idea Refined Observation: Fitting matching matches every 3-vertex. A matching which matches every 3-vertex will be called semi-perfect . Algorithm 2: generate all maximal semi-perfect matchings, for each verify whether it is fitting. Observation: Good for cubic graphs. Conclusion: Reduce 3-edge-coloring for subcubic graphs to 3-edge-coloring in graphs “close to cubic”... Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 5

  9. Basic Idea Refined Observation: Fitting matching matches every 3-vertex. A matching which matches every 3-vertex will be called semi-perfect . Algorithm 2: generate all maximal semi-perfect matchings, for each verify whether it is fitting. Observation: Good for cubic graphs. Conclusion: Reduce 3-edge-coloring for subcubic graphs to 3-edge-coloring in graphs “close to cubic”... = semi-cubic : vertices of degree 2 and 3, distance between 2-vertices at least 3 Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 5

  10. Reducing to a semi-cubic graph Let G be the input graph. Assume G contains a 1-vertex v . Then G is 3-edge-colorable iff G − v is 3-edge-colorable. Assume G contains an edge uv , deg( u ) = deg( v ) = 2 . Then G is 3-edge-colorable iff G − uv is 3-edge-clrble. Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 6

  11. Reducing to a semi-cubic graph, contd. Assume G contains a path xuzvy , deg( u ) = deg( v ) = 2 . G is 3-edge-colorable iff G 1 or G 2 is 3-edge-colorable. How expensive is it? T ( n ) = T ( n − 2) + T ( n − 3) + poly( n ) , so T ( n ) = O (1 . 325 n ) Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 7

  12. Reducing to a semi-cubic graph, contd. We get a recursion tree: Each instance I j is a semi-cubic graph. Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 8

  13. Reducing to a semi-cubic graph, contd. We get a recursion tree: Each instance I j is a semi-cubic graph. In each I j we want to check all semi-perfect matchings. Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 8

  14. Checking all semi-perfect matchings The recursion tree rooted at generates all semi-perfect matchings that extend M i using edges from G i (e.g. N q ⊂ E ( G 1 ) ). Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 9

  15. Base Case Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 10

  16. Forced and Unforced Vertices Let I be the initial semi-cubic graph in which we generate semi-perfect matchings. a vertex of degree 3 will be called forced . other vertices (of degree 2) are unforced . Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 11

  17. Trivial Case 1 Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 12

  18. Trivial Case 2 Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 13

  19. Trivial Case 3 Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 14

  20. Branching Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 15

  21. Checking all semi-perfect matchings procedure F ITTING M ATCH ( I , G , M ) 1: if V ( G ) = ∅ then 2: if M is fi tting in I then return T RUE else return F ALSE 3: else if exists a forced vertex v ∈ V ( G ) such that deg G ( v ) = 0 then 4: return FALSE 5: else if exists a non-forced vertex v ∈ V ( G ) such that deg G ( v ) = 0 then 6: return F ITTING M ATCH ( I , G − { v } , M ) 7: else if exists a forced vertex v ∈ V ( G ) such that deg G ( v ) = 1 then 8: u ← the neighbor of v in G 9: return F ITTING M ATCH ( I , G − { u, v } , M ∪ { uv } ) 10: else 11: uv ← any edge in G with both ends forced. 12: return F ITTING M ATCH ( I , G − { u, v } , M ∪ { uv } ) or F ITTING M ATCH ( I , G − uv , M ) Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 16

  22. Two sample cases of branching Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 17

  23. One more trick (details skipped) Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 18

  24. The full picture Instances in the leaves are triples ( G 0 , G, M ) such that G is a collection of 4-paths from case B. Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 19

  25. Conclusion To sum up: Time complexity is O (1 . 344 n ) , Space complexity is O ( n ) , the algorithm is simple to implement, main ingredients: “cheap” reduction to instances of special structure, solving special cases polynomially, “measure and conquer” technique for analysis. Łukasz Kowalik, WG’06, Improved Edge Coloring with Three Colors – p. 20

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend