Presentation is loading. Please wait.

Presentation is loading. Please wait.

First of all …. Thanks to Janos Shakhar Smorodinsky Tel Aviv University Conflict-free coloring problems Part of this work is joint with Guy Even, Zvi.

Similar presentations


Presentation on theme: "First of all …. Thanks to Janos Shakhar Smorodinsky Tel Aviv University Conflict-free coloring problems Part of this work is joint with Guy Even, Zvi."— Presentation transcript:

1

2 First of all …. Thanks to Janos

3 Shakhar Smorodinsky Tel Aviv University Conflict-free coloring problems Part of this work is joint with Guy Even, Zvi Lotker and Dana Ron.

4 1 A Coloring of pts Definition of Conflict-Free Coloring 2 1 2 3 3 3 4 is Conflict Free if: 4 Any (non-empty) disc contains a unique color

5 1 A Coloring of pts What the … is Conflict-Free Coloring? 2 1 2 3 3 3 4 is Conflict Free if: 1

6 Problem Statement What is the smallest number f(n) s.t. any n points can be CF-colored with only f(n) colors? Remark: We can define a CF-coloring for a general set system (X,A) where A  P(X) i.e., a coloring of the elements of X s.t. each set s  A contains an element with a unique color

7 Motivation from Frequency Assignment in cellular networks mobile clients: create links with base-stations within reception radius 1

8 Frequency assignment 1 1 2 If 2 is unique Power and location of clients’ cellular may vary

9 Problem Statement (cont) Thm: f(n) > log n What is the minimum number f(n) s.t. any n points can be CF-colored with f(n) colors? Easy: n pts on a line! Discs = Intervals 1 3 2  log n colors n pts n/2n/2  n / 4

10 Points on a line (cont) log n colors suffice (in this special case) Divide & Conquer 132 Color median with 1 Recurse on right and left Reusing colors! 32 3 3 1

11 CF-coloring in general case Thm: f(n) = O(log n) Divide & Conquer doesn’t work! n pts

12 Proof of: f(n) = O(log n) Consider the Delauney Graph i.e., the “empty pairs” graph It is planar. Hence, By the four colors Thm  “large” independent set n pts

13 Proof of: f(n) = O(log n) (cont)  IS  P s.t. |IS|  n/4 and IS is independent |P|=n 1. Color IS with 1 2. Remove IS 1 1 1

14 Proof of: f(n) = O(log n) (cont)  IS  P s.t. |IS|  n/4 and IS is independent! |P|=n 1.Color IS with 1 2. remove IS 3. Construct the new Delauney graph … and iterate (O(log n) times ) on remaining pts 22

15 Proof of: f(n) = O(log n) (cont)  IS  P s.t. |IS|  n/4 and IS is independent! |P|=n 1.Color IS with 1 2. remove IS 3. Iterate (O(log n) times ) on remaining pts 5 3 4

16 Algorithm is correct Proof of: f(n) = O(log n) (cont) 1 1 1 5 3 4 2 2 Consider a non-empty disc “maximal” color 3 “maximal” color is unique

17 Proof of: f(n) = O(log n) (cont) “maximal” color i is unique Proof: Assume i is not unique and ignore colors < i “maximal” color i i

18 Proof of: f(n) = O(log n) (cont) “maximal” color i is unique Assume i is not unique and ignore colors < i “maximal” color i i i

19 Proof: maximal color i is unique Consider the i ’th iteration independent i i A third point exists i

20 Proof: maximal color i is unique Consider the i ’th iteration i i Contradiction! i

21 Remarks: Algorithm is very easy to implement

22 What about other ranges? CF-coloring pts w/ respect to other ranges? Previous proof works for homothetic copies of a convex body Thm: O ( sqrt (n) ) colors always suffice How about axis-parallel rectangles?

23 Thm: O ( sqrt (n) ) colors always suffice CF-coloring pts w.r.t axis-parallel rectangles How small is an independent set in the “Delauney” graph ? I DON’T KNOW!

24 Note: CF-coloring pts w.r.t axis-parallel rectangles


Download ppt "First of all …. Thanks to Janos Shakhar Smorodinsky Tel Aviv University Conflict-free coloring problems Part of this work is joint with Guy Even, Zvi."

Similar presentations


Ads by Google