exact bounds for distributed graph colouring
play

Exact bounds for distributed graph colouring Jukka Suomela Joel - PowerPoint PPT Presentation

Exact bounds for distributed graph colouring Jukka Suomela Joel Rybicki Max Planck Institute for Helsinki Institute for Information Informatics Technology & Aalto University SIROCCO 2015 July15, 2015 Graph colouring Input: A cycle with


  1. Exact bounds for distributed graph colouring Jukka Suomela Joel Rybicki Max Planck Institute for Helsinki Institute for Information Informatics Technology & Aalto University SIROCCO 2015 July15, 2015

  2. Graph colouring Input: A cycle with a consistent orientation G = ( V, E )

  3. Graph colouring Input: A cycle with a consistent orientation Given a colouring f : V → { 1 , . . . , n } { u, v } 2 E ) f ( u ) 6 = f ( v ) G = ( V, E )

  4. Task: Colour reduction Input: Output: n -colouring 3-colouring

  5. Model of computing Synchronous rounds. Each node 1. sends messages 2. receives messages 3. updates local state

  6. Local views v 0 rounds

  7. Local views v 1 round

  8. Local views v 2 rounds

  9. Local views v r rounds An algorithm is a map ) ∈ { } A ( , ,

  10. Time complexity C ( n, 3) is the exact number of rounds it takes to 3-colour any n -coloured directed cycle

  11. Prior work Complexity of 3-colouring 1 2 log ∗ n − 1 ≤ C ( n, 3) ≤ 1 2 log ∗ n + 3 Linial (1992) i z }| { log ∗ n = min { i : log · · · log n ≤ 1 }

  12. Prior work Complexity of 3-colouring 1 2 log ∗ n − 1 ≤ C ( n, 3) ≤ 1 2 log ∗ n + 3 Cole & Vishkin (1987) i z }| { log ∗ n = min { i : log · · · log n ≤ 1 }

  13. Prior work Complexity of 3-colouring 1 2 log ∗ n − 1 ≤ C ( n, 3) ≤ 1 2 log ∗ n + 3 Cole & Vishkin (1987) Linial (1992) i z }| { log ∗ n = min { i : log · · · log n ≤ 1 }

  14. Prior work Complexity of 3-colouring C ( n, 3) = 1 2 log ∗ n + O (1) In “practice”, the additive term dominates: log ∗ 10 19728 = 5

  15. Our result For infinitely many values of n , 3-colouring requires exactly 1 2 log ∗ n rounds.

  16. The approach Lower bound: Tighten Linial’s bound using new computational techniques Upper bound: A careful analysis of Naor– Stockmeyer (1995) colour reduction

  17. The lower bound Step 1. Bound the complexity of finding a 16-colouring Step 2. Show that a fast 3-colouring algorithm implies a fast 16-colouring algorithm

  18. The lower bound Step 1. Bound the complexity of finding a 16-colouring “Dependence on n” Step 2. Show that a fast 3-colouring algorithm implies a fast 16-colouring algorithm “The additive O(1) term ”

  19. Two-sided ≈ one-sided Two-sided view v C ( n, 3) r rounds One-sided view v 0 T ( n, 3) 2 r rounds C ( n, 3) = d T ( n, 3) / 2 e

  20. The speed-up lemma a v -colouring in r rounds c

  21. The speed-up lemma a v -colouring in r rounds c ⇒ a v -colouring in r − 1 rounds (2 c − 2)

  22. New technique: Successor Graphs Fix any (e.g. optimal) algorithm

  23. New technique: Successor Graphs Fix any (e.g. optimal) algorithm and apply the speed-up lemma to get A 0 A 1 A t . . . 2 3 − 2 #colours ≥ n 3 . . . 0 #rounds t − 1 t . . .

  24. New technique: Successor Graphs Fix any (e.g. optimal) algorithm and apply the speed-up lemma to get A 0 A 1 A t . . . 2 3 − 2 #colours ≥ n 3 . . . 0 #rounds t − 1 t . . .

  25. New technique: Successor Graphs Fix any (e.g. optimal) algorithm and apply the speed-up lemma to get A 0 A 1 A t . . . 2 3 − 2 #colours ≥ n 3 . . . 0 #rounds t − 1 t . . .

  26. Successor relation Consider that outputs colours from A k { } C k = . . . . Colour is a successor of colour if outputs A k u v

  27. Successor graph { } C k = Nodes: . . . Edges: the successor relation

  28. Starting from any algorithm we get A 0 A t A 1 Algorithm: . . . Successor S 0 S 1 S t graph: . . .

  29. Colourability lemma S k is c- colourable ⇒ there is a c -colouring algorithm running in t-k rounds

  30. A finite super graph For all k, there is a finite graph that contains the successor graph of any algorithm as a subgraph.

  31. Proving lower bounds Super graph + colorability lemma: Chromatic number an upper bound for all successor graphs! Finite super graph: Easy to use a computer search for small enough super graphs!

  32. The key result For any t -time 3-colouring algorithm, S 2 the successor graph is 16-colourable

  33. Complement of S ₂ 1 2 12 1 12 13 23 13 23 1 2 3 1 3 12 1 2 12 1 2 13 3 13 12 13 12 13 23 13 23 23 1 12 3 12 2 3 12 3 12 2 13 1 13 13 13 23 23 23 23 2 3 12 1 3 12 1 2 3 2 3 13 1 3 13 12 23 13 13 12 23 23 23 2 12 2 12 1 2 3 13 23 13 23 2 3 13 1 3 13 2 3 23 12 2 13 1 2 13 13 1 13 3 23 2 23 1 12 1 2 12 1 2 3 3 13 23 2 12 13 1 3 12 1 23 1 2 3 1 2 3 1 2 3 2 3 12 1 3 23 1 2 3 12 23 2 3 1 3 1 2 3 12 1 2 23

  34. The key result For any t -time 3-colouring algorithm, S 2 the successor graph is 16-colourable By colourability lemma , there exists a 16-colouring algorithm running in t − 2 rounds

  35. The lower bound Step 1. Iterated speed-up lemma: log ∗ n − 2 16-colouring takes rounds Step 2. Successor graph bound: log ∗ n 3-colouring takes rounds

  36. Two-sided ≈ one-sided Two-sided view C ( n, 3) v r rounds One-sided view v 0 T ( n, 3) 2 r rounds C ( n, 3) = d T ( n, 3) / 2 e

  37. Conclusions For infinitely many values C ( n, 3) = 1 2 log ∗ n. Use successor graphs and computers for lower bound proofs!

  38. Conclusions For infinitely many values C ( n, 3) = 1 2 log ∗ n. Use successor graphs and computers for lower bound proofs! Thanks!

Recommend


More recommend