Coloring Points for Bottomless Rectangles Andrei Asinowski, Jean - - PowerPoint PPT Presentation

coloring points for bottomless rectangles
SMART_READER_LITE
LIVE PREVIEW

Coloring Points for Bottomless Rectangles Andrei Asinowski, Jean - - PowerPoint PPT Presentation

Coloring Points for Bottomless Rectangles Andrei Asinowski, Jean Cardinal, Nathann Cohen, S ebastien Collette, Thomas Hackl, Michael Hoffmann, Kolja Knauer, Stefan Langerman, Piotr Micek, G unter Rote, Torsten Ueckerdt Berlin, Brussels,


slide-1
SLIDE 1

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Coloring Points for Bottomless Rectangles

Andrei Asinowski, Jean Cardinal, Nathann Cohen, S´ ebastien Collette, Thomas Hackl, Michael Hoffmann, Kolja Knauer, Stefan Langerman, Piotr Micek, G¨ unter Rote, Torsten Ueckerdt

Berlin, Brussels, Graz, Krak´

  • w, Prague, Z¨

urich

slide-2
SLIDE 2

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Problem Statement

GIVEN: point set, k = 3 colors FIND a coloring such that every bottomless rectangle with at least q = 7 points contains all k colors

slide-3
SLIDE 3

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Problem Statement

GIVEN: point set, k = 3 colors FIND a coloring such that every bottomless rectangle with at least q = 7 points contains all k colors

slide-4
SLIDE 4

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Problem Statement

GIVEN: point set, k = 3 colors FIND a coloring such that every bottomless rectangle with at least q = 7 points contains all k colors

slide-5
SLIDE 5

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Problem Statement

GIVEN: point set, k = 3 colors FIND a coloring such that every bottomless rectangle with at least q = 7 points contains all k colors

slide-6
SLIDE 6

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Problem Statement

GIVEN: point set, k = 3 colors FIND a coloring such that every bottomless rectangle with at least q = 7 points contains all k colors

slide-7
SLIDE 7

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Problem Statement

GIVEN: point set, k = 3 colors FIND a coloring such that every bottomless rectangle with at least q = 7 points contains all k colors f(k) := the smallest q for which such a coloring always exists

slide-8
SLIDE 8

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Problem Statement

GIVEN: point set, k = 3 colors FIND a coloring such that every bottomless rectangle with at least q = 7 points contains all k colors f(k) := the smallest q for which such a coloring always exists RESULTS: 1.63k ≤ f(k) ≤ 3k−2

slide-9
SLIDE 9

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Other Ranges

Axis-aligned rectangles: f(k) = ∞, even for k = 2 colors

[ Pach, Tardos 2010 ]

Aligned equilateral triangles: f(2) ≤ 12

[ Keszegh, P´ alv¨

  • lgyi 2011 ]

OPEN: f(k) = finite or infinite? related to cover-decomposability / dual cover-decomposability

slide-10
SLIDE 10

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Bottom-Up Sweep

IDEA: Color the points from bottom to top

slide-11
SLIDE 11

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Bottom-Up Sweep

IDEA: Color the points from bottom to top

slide-12
SLIDE 12

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Bottom-Up Sweep

IDEA: Color the points from bottom to top ONLINE: without knowing future points → FAILURE

slide-13
SLIDE 13

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Bottom-Up Sweep

IDEA: Color the points from bottom to top ONLINE: without knowing future points → FAILURE Every interval of q consecutive points must contain all colors. legal coloring:

slide-14
SLIDE 14

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Bottom-Up Sweep

IDEA: Color the points from bottom to top ONLINE: without knowing future points → FAILURE Every interval of q consecutive points must contain all colors. SEMI-ONLINE: Points need not be colored immediately. Points can be colored any time, but then the color remains fixed. legal coloring:

slide-15
SLIDE 15

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Bottom-Up Sweep

IDEA: Color the points from bottom to top ONLINE: without knowing future points → FAILURE Every interval of q consecutive points must contain all colors. SEMI-ONLINE: Points need not be colored immediately. Points can be colored any time, but then the color remains fixed. legal coloring:

slide-16
SLIDE 16

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Bottom-Up Sweep

IDEA: Color the points from bottom to top ONLINE: without knowing future points → FAILURE Every interval of q consecutive points must contain all colors. SEMI-ONLINE: Points need not be colored immediately. Points can be colored any time, but then the color remains fixed. legal coloring:

slide-17
SLIDE 17

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

The Semi-Online Coloring Problem on the Line

A new uncolored point arrives: Any uncolored points can be colored . . . . . . to make the coloring legal: Every interval of q consecutive points must contain all colors. repeat

slide-18
SLIDE 18

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

The Semi-Online Coloring Problem on the Line

A new uncolored point arrives: Any uncolored points can be colored . . . . . . to make the coloring legal: Every interval of q consecutive points must contain all colors. f ′(k) := the smallest q for which there is a semi-online coloring algorithm RESULTS: f(k) ≤ f ′(k) ≤ 3k − 2 COMPUTER LOWER BOUNDS: f ′(2) = 4, f ′(3) = 7, 9 ≤ f ′(4) ≤ 10 repeat

slide-19
SLIDE 19

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Upper Bound: f ′(k) ≤ 3k − 2

gap = 5

slide-20
SLIDE 20

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Upper Bound: f ′(k) ≤ 3k − 2

gap = 5 INVARIANT: k − 1 ≤ gap ≤ 3k − 3 for every color gap = 3k − 2 k − 1 k k − 1 Each of the remaining k − 1 colors can occur at most once in the middle part.

slide-21
SLIDE 21

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

(Weaker) Lower Bound: f(k) ≥ 1.58k

many points B q points A αj = gap before the first

  • ccurrence of color j

α = 3 α = 4 α = 0

slide-22
SLIDE 22

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

(Weaker) Lower Bound: f(k) ≥ 1.58k

many points B q points A αj = gap before the first

  • ccurrence of color j

α = 3 α = 4 α = 0 q − αj Any q − αj consecutive points of B must contain color j: frequency of j is ≥

1 q−αj k

  • j=1

1 q − αj ≤ 1 FREQUENCY condition

slide-23
SLIDE 23

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

(Weaker) Lower Bound: f(k) ≥ 1.58k

many points B q points A αj = gap before the first

  • ccurrence of color j

α = 3 α = 4 α = 0 q − αj Any q − αj consecutive points of B must contain color j: frequency of j is ≥

1 q−αj k

  • j=1

1 q − αj ≤ 1 α1 ≥ 0, w.l.o.g. α2 ≥ 1, α3 ≥ 2, . . .

k

  • j=1

1 q − j + 1 ≤ 1 FREQUENCY condition

slide-24
SLIDE 24

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Lower Bound: f(k) ≥ 1.58k

k

  • j=1

1 q − j + 1 ≤ 1 !

1 q + 1 q−1 + · · · + 1 q−k+1 ≈ ln q − ln(q − k) = ln q q−k = 1

= ⇒ q =

e e−1k ≈ 1.58k

slide-25
SLIDE 25

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Three Lines: f(k) ≥ 1.63k

many points B q points A many points C

slide-26
SLIDE 26

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Three Lines: f(k) ≥ 1.63k

many points B q points A many points C Any initial seqment of B can play the role of A:

slide-27
SLIDE 27

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Three Lines: f(k) ≥ 1.63k

many points B q points A many points C Any initial seqment of B can play the role of A: βj

slide-28
SLIDE 28

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Three Lines: f(k) ≥ 1.63k

many points B q points A many points C Any initial seqment of B can play the role of A: βj F(β1, . . . , βk) :=

k

  • j=1

1 q − βj F(β1, . . . , βk) ≤ 1 !

slide-29
SLIDE 29

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Three Lines: f(k) ≥ 1.63k

many points B q points A many points C Any initial seqment of B can play the role of A: βj F(β1, . . . , βk) :=

k

  • j=1

1 q − βj We know more about βj than about αj: βj ≤ q − (j − 1) F(β1, . . . , βk) ≤ 1 ! We can pick an initial segment of B.

slide-30
SLIDE 30

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Three Lines: f(k) ≥ 1.63k

Any initial seqment of B can play the role of A: F(β1, . . . , βk) :=

k

  • j=1

1 q − βj We know more about βj than about αj: βj ≤ q − (j − 1) F(β1, . . . , βk) ≤ 1 ! We can pick an initial segment of B. IDEA: If q < 1.63k, then the average value of F(β1, . . . , βk) over all initial segments is > 1.

slide-31
SLIDE 31

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Evolution of βj

β = 3 β = 4 β = 0

slide-32
SLIDE 32

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Evolution of βj

β = 3 β = 4 β = 0 5 1

slide-33
SLIDE 33

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Evolution of βj

β = 3 β = 4 β = 0 5 1 1 6

slide-34
SLIDE 34

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Evolution of βj

β = 3 β = 4 β = 0 5 1 1 6 2 1

slide-35
SLIDE 35

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Evolution of βj

β = 3 β = 4 β = 0 5 1 1 6 2 1 0 1 0 1 2 0 1 2 3 4 5 0 1 . . . 1 0 1 2 0 1 2 0 1 2 0 1 0 . . . 2 3 4 0 1 2 0 1 0 0 1 2 3 . . .

slide-36
SLIDE 36

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Evolution of βj

β = 3 β = 4 β = 0 5 1 1 6 2 1 0 1 0 1 2 0 1 2 3 4 5 0 1 . . . 1 0 1 2 0 1 2 0 1 2 0 1 0 . . . 2 3 4 0 1 2 0 1 0 0 1 2 3 . . . xjr := the relative frequency of r as a value of βj xj0 + xj1 + xj2 + · · · + xj,q−j = 1 (βj ≤ q − j) xjr ≥ xj,r+1 x1r + x2r + · · · + xjr ≤ 1 (all βj values are distinct.)

k

  • j=1
  • r≥0

xjr 1 q − r → MIN! If min>1, then q is too small. The average value of F(β1, . . . , βk) = k

j=1 1 q−βj is

slide-37
SLIDE 37

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

A Linear Programming Problem

r=0 r=1 · · · q − k + 1 · · · q − 3 q − 2 q − 1 color 1: x10 x11 · · · x1,q−k+1 · · · x1,q−3 x1,q−2 x1,q−1 = color 2: x20 x21 · · · x2,q−k+1 · · · x2,q−3 x2,q−2 = color 3: x30 x31 · · · x3,q−k+1 · · · x3,q−3 = . . . . . . . . . ... . . . color k: xk0 xk1 · · · xk,q−k+1 = ≤ 1 ≤ 1 · · · ≤ 1 · · · ≤ 1 ≤ 1 ≤ 1

k

  • j=1

q−j

  • r=0

xjr 1 q − r → MIN!

xjr decreasing in rows The solution can be worked out explicitly.

slide-38
SLIDE 38

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Semi-Online Coloring as a Game

COLORER colors uncolored points, must make the coloring legal. repeat ADVERSARY inserts an uncolored point.

slide-39
SLIDE 39

G¨ unter Rote, Freie Universit¨ at Berlin Coloring Points for Bottomless Rectangles EuroGIGA Midterm Conference, Prague, July 9–13, 2012

Semi-Online Coloring as a Game

COLORER colors uncolored points, must make the coloring legal. ADVERSARY inserts an uncolored point. If more than s points, ADVERSARY must discard the leftmost or rightmost point This becomes a game on a finite bipartite graph. ADVERSARY wins for k = 2, q = 3, s = 5 = ⇒ f ′(2) ≥ 4 k = 3, q = 6, s = 10 = ⇒ f ′(3) ≥ 7 k = 4, q = 8, s = 11 = ⇒ f ′(4) ≥ 9 ADVERSARY loses for k = 4, q = 9, s = 13. (> 108 edges)