Moving Vertices to Make Drawings Plane Xavier Goaoc INRIA Lorraine - - PowerPoint PPT Presentation

moving vertices to make drawings plane
SMART_READER_LITE
LIVE PREVIEW

Moving Vertices to Make Drawings Plane Xavier Goaoc INRIA Lorraine - - PowerPoint PPT Presentation

Moving Vertices to Make Drawings Plane Xavier Goaoc INRIA Lorraine FR Jan Kratochv l Charles U CZ Yoshio Okamoto Toyohashi U Tech JP Chan-Su Shin Hankuk U Foreign Studies KR Alexander Wolff TU Eindhoven NL September 24, 2007 @


slide-1
SLIDE 1

Moving Vertices to Make Drawings Plane

Xavier Goaoc

INRIA Lorraine FR

Jan Kratochv´ ıl

Charles U CZ

Yoshio Okamoto

Toyohashi U Tech JP

Chan-Su Shin

Hankuk U Foreign Studies KR

Alexander Wolff

TU Eindhoven NL

September 24, 2007 @ 15th International Conference on Graph Drawing Swiss-Grand Resort & Spa Bondi Beach, Sydney, Australia

slide-2
SLIDE 2

1

p Game “Planarity” by John Tantalo

http://www.planarity.net/ . Given: Given: a straight-line drawing of a planar graph G

slide-3
SLIDE 3

1

p Game “Planarity” by John Tantalo

http://www.planarity.net/ . Given: Given: a straight-line drawing of a planar graph G . Task: Task: to make it non-crossing (i.e., plane)

slide-4
SLIDE 4

1

p Game “Planarity” by John Tantalo

http://www.planarity.net/ . Given: Given: a straight-line drawing of a planar graph G . Task: Task: to make it non-crossing (i.e., plane) . Operation: Operation: move vertices on the plane (by dragging)

slide-5
SLIDE 5

1

p Game “Planarity” by John Tantalo

http://www.planarity.net/ . Given: Given: a straight-line drawing of a planar graph G . Task: Task: to make it non-crossing (i.e., plane) . Operation: Operation: move vertices on the plane (by dragging)

slide-6
SLIDE 6

1

p Game “Planarity” by John Tantalo

http://www.planarity.net/ . Given: Given: a straight-line drawing of a planar graph G . Task: Task: to make it non-crossing (i.e., plane) . Operation: Operation: move vertices on the plane (by dragging)

slide-7
SLIDE 7

1

p Game “Planarity” by John Tantalo

http://www.planarity.net/ . Given: Given: a straight-line drawing of a planar graph G . Task: Task: to make it non-crossing (i.e., plane) . Operation: Operation: move vertices on the plane (by dragging)

slide-8
SLIDE 8

1

p Game “Planarity” by John Tantalo

http://www.planarity.net/ . Given: Given: a straight-line drawing of a planar graph G . Task: Task: to make it non-crossing (i.e., plane) . Operation: Operation: move vertices on the plane (by dragging)

slide-9
SLIDE 9

2

p As a theoretician...

. Questions Questions

  • (computational question)
  • (combinatorial question)

− →

slide-10
SLIDE 10

2

p As a theoretician...

. Questions Questions

  • (computational question)

How hard to find a min # of vertices to move?

  • (combinatorial question)

− →

slide-11
SLIDE 11

2

p As a theoretician...

. Questions Questions

  • (computational question)

How hard to find a min # of vertices to move?

  • (combinatorial question)

How many vertices must be moved in worst case? − →

slide-12
SLIDE 12

3

p Complexity results

. Theorem Theorem

  • It is NP-hard to compute the min # of vertices to move

in order to make a given drawing plane

slide-13
SLIDE 13

3

p Complexity results

. Theorem Theorem

  • It is NP-hard to compute the min # of vertices to move

in order to make a given drawing plane

  • It is NP-hard to approximate (1 + min #)

within a factor of n1−ε (for any fixed ε ∈ (0, 1]) where n = # of vertices

slide-14
SLIDE 14

4

p Combinatorial results

We switch to the max # of vertices that we can keep fixed

  • For n-vertex cycles

(Pach & Tardos (GD ’01, DCG ’02))

we can always keep ⌊√n⌋ vertices we can’t keep O((n log n)2/3) vertices in some cases . Theorem Theorem

  • For n-vertex trees
  • For n-vertex planar graphs
slide-15
SLIDE 15

4

p Combinatorial results

We switch to the max # of vertices that we can keep fixed

  • For n-vertex cycles

(Pach & Tardos (GD ’01, DCG ’02))

we can always keep ⌊√n⌋ vertices we can’t keep O((n log n)2/3) vertices in some cases . Theorem Theorem

  • For n-vertex trees

we can always keep ⌊√n/3⌋ vertices we can’t keep ⌈n/3⌉+4 vertices in some cases

  • For n-vertex planar graphs
slide-16
SLIDE 16

4

p Combinatorial results

We switch to the max # of vertices that we can keep fixed

  • For n-vertex cycles

(Pach & Tardos (GD ’01, DCG ’02))

we can always keep ⌊√n⌋ vertices we can’t keep O((n log n)2/3) vertices in some cases . Theorem Theorem

  • For n-vertex trees

we can always keep ⌊√n/3⌋ vertices we can’t keep ⌈n/3⌉+4 vertices in some cases

  • For n-vertex planar graphs

we can always keep 3 vertices we can’t keep ⌈ √ n−2⌉+1 vertices in some cases

slide-17
SLIDE 17

5

p Combinatorial results

We switch to the max # of vertices that we can keep fixed . Theorem Theorem Lower Bound Upper Bound Cycles ⌊√n⌋ O((n log n)2/3) Trees ⌊√n/3⌋ ⌈n/3⌉ + 4 General 3 ⌈ √ n−2⌉+1

Pach & Tardos (GD ’01, DCG ’02)

slide-18
SLIDE 18

6

p History

  • Aug 06: this work started
  • Jun 07: submitted to GD
  • Jul 07: accepted for GD
  • Today: presented at GD
slide-19
SLIDE 19

6

p History

  • Aug 06: this work started
  • May 07: Verbitsky @ arXiv
  • Jun 07: submitted to GD
  • Jul 07: accepted for GD
  • Today: presented at GD
slide-20
SLIDE 20

6

p History

  • Aug 06: this work started
  • May 07: Verbitsky @ arXiv
  • Jun 07: submitted to GD
  • Jun 07: aware of Pach & Tardos (DCG ’02)
  • Jul 07: accepted for GD
  • Today: presented at GD
slide-21
SLIDE 21

6

p History

  • Aug 06: this work started
  • May 07: Verbitsky @ arXiv
  • Jun 07: submitted to GD
  • Jun 07: aware of Pach & Tardos (DCG ’02)
  • Jul 07: accepted for GD
  • Jul 07: Kang, Schacht & Verbitsky @ arXiv
  • Today: presented at GD
slide-22
SLIDE 22

6

p History

  • Aug 06: this work started
  • May 07: Verbitsky @ arXiv
  • Jun 07: submitted to GD
  • Jun 07: aware of Pach & Tardos (DCG ’02)
  • Jul 07: accepted for GD
  • Jul 07: Kang, Schacht & Verbitsky @ arXiv
  • Sep 07: Spillner & Wolff @ arXiv
  • Today: presented at GD
slide-23
SLIDE 23

7

p Contents

We concentrate on the complexity result

  • Problem statement (more formally)
  • NP-hardness proof
  • Inapproximability (briefly)
  • Connection to the one-bend embeddability problem
slide-24
SLIDE 24

8

p Def.: Straight-Line Drawing

. Setup: Setup: G = (V, E) an undirected graph (w/o loop or parallel edges)

slide-25
SLIDE 25

8

p Def.: Straight-Line Drawing

. Setup: Setup: G = (V, E) an undirected graph (w/o loop or parallel edges) . Def: Def: A (straight-line) drawing of G is an injective map δ: V → I R2, image of {u, v} ∈ E is a line segment δ(u)δ(v)

slide-26
SLIDE 26

9

p Def.: Plane Drawing

. Setup: Setup: G = (V, E) an undirected graph (w/o loop or parallel edges) . Def: Def: A drawing δ of G is plane if (the images under δ of) two edges are

  • nly allowed to share a common endpoint
slide-27
SLIDE 27

9

p Def.: Plane Drawing

. Setup: Setup: G = (V, E) an undirected graph (w/o loop or parallel edges) . Def: Def: A drawing δ of G is plane if (the images under δ of) two edges are

  • nly allowed to share a common endpoint
slide-28
SLIDE 28

10

p Def.: Planar Graph

. Setup: Setup: G = (V, E) an undirected graph (w/o loop or parallel edges) . Def: Def: A graph G is planar if ∃ a plane drawing of G

(characterization due to F´ ary ’48)

slide-29
SLIDE 29

10

p Def.: Planar Graph

. Setup: Setup: G = (V, E) an undirected graph (w/o loop or parallel edges) . Def: Def: A graph G is planar if ∃ a plane drawing of G

(characterization due to F´ ary ’48)

slide-30
SLIDE 30

11

p Def.: Distance of Drawings

. Setup: Setup: G = (V, E) an undirected graph (w/o loop or parallel edges) . Def: Def: The distance of two drawings δ, δ′ of G is d(δ, δ′) = |{v ∈ V | δ(v) = δ′(v)}|

slide-31
SLIDE 31

12

p Def.: MMV (Min Moved Vertices)

. Setup: Setup: G = (V, E) an undirected graph (w/o loop or parallel edges) δ a drawing of G . Def: Def: MMV(G, δ) = min

δ ′plane d(δ, δ′)

slide-32
SLIDE 32

13

p Def.: MKV (Max Kept Vertices)

. Setup: Setup: G = (V, E) an n-vertex undirected graph (w/o loop or parallel edges) δ a drawing of G . Def: Def: MKV(G, δ) = n − MMV(G, δ)

slide-33
SLIDE 33

14

p Contents

  • Problem statement (more formally)
  • NP-hardness proof
  • Inapproximability (briefly)
  • Connection to the one-bend embeddability problem
slide-34
SLIDE 34

15

p Complexity results

. Theorem Theorem

  • For a given planar graph G and a drawing δ of G,

it is NP-hard to compute MMV(G, δ)

slide-35
SLIDE 35

15

p Complexity results

. Theorem Theorem

  • For a given planar graph G and a drawing δ of G,

it is NP-hard to compute MMV(G, δ) . Proof Proof

  • Reduction from Planar 3SAT

.

NP-complete (Lichtenstein (SICOMP ’82))

slide-36
SLIDE 36

15

p Complexity results

. Theorem Theorem

  • For a given planar graph G and a drawing δ of G,

it is NP-hard to compute MMV(G, δ) . Proof Proof

  • Reduction from Planar 3SAT

.

NP-complete (Lichtenstein (SICOMP ’82))

. Note Note

  • More direct proof by Verbitsky (arXiv ’07),

but does not generalize to inapproximability

slide-37
SLIDE 37

16

p Planar 3SAT

. Input Input : 3CNF formula ϕ with a planar variable-clause graph . Question Question : Is ϕ satisfiable? Note: such a graph can be embedded as below

(Knuth & Ragunathan (SIAMDM ’92))

x1 x2 x3 x4 x5 x6

slide-38
SLIDE 38

17

p Basic strategy

Given a planar 3CNF formula ϕ

  • Construct a planar graph Gϕ and a drawing δϕ s.t.
  • ϕ is satisfiable ⇔

δϕ can be made plane by moving ≤ K vertices

  • Vertices: two types
  • Mobile vertices (those that may move)
  • Immobile vertices (those that are meant not to move)
  • Edges: each contributes to ≤ 1 crossing
  • Gadgets: two types
  • Variable gadgets
  • Clause gadgets
slide-39
SLIDE 39

18

p Gadget: block

slide-40
SLIDE 40

18

p Gadget: block

immobile vertex mobile vertex

slide-41
SLIDE 41

18

p Gadget: block

slide-42
SLIDE 42

18

p Gadget: block

slide-43
SLIDE 43

18

p Gadget: block

slide-44
SLIDE 44

19

p Important properties of gadgets

  • Each mobile vertex has exactly two incident edges
  • These two edges have crossings
  • Mobile vertices are not adjacent
  • Movement of a mobile vertex can get rid of two crossings
slide-45
SLIDE 45

20

p Gadget: variable

# blocks = # occurences

slide-46
SLIDE 46

20

p Gadget: variable

# blocks = # occurences

slide-47
SLIDE 47

20

p Gadget: variable

# blocks = # occurences

slide-48
SLIDE 48

20

p Gadget: variable

# blocks = # occurences

slide-49
SLIDE 49

20

p Gadget: variable

# blocks = # occurences

slide-50
SLIDE 50

20

p Gadget: variable

# blocks = # occurences

slide-51
SLIDE 51

20

p Gadget: variable

# blocks = # occurences

slide-52
SLIDE 52

20

p Gadget: variable

# blocks = # occurences

slide-53
SLIDE 53

21

p Gadgets: connection to clause gadgets

slide-54
SLIDE 54

21

p Gadgets: connection to clause gadgets

slide-55
SLIDE 55

21

p Gadgets: connection to clause gadgets

slide-56
SLIDE 56

21

p Gadgets: connection to clause gadgets

slide-57
SLIDE 57

21

p Gadgets: connection to clause gadgets

slide-58
SLIDE 58

21

p Gadgets: connection to clause gadgets

a clause gadget Interfere!

slide-59
SLIDE 59

21

p Gadgets: connection to clause gadgets

a clause gadget Interfere!

slide-60
SLIDE 60

21

p Gadgets: connection to clause gadgets

a clause gadget Interfere iff the blue choice is taken

slide-61
SLIDE 61

21

p Gadgets: connection to clause gadgets

a clause gadget is taken the green choice Interfere iff

slide-62
SLIDE 62

22

p Gadgets: clause

connections connections

slide-63
SLIDE 63

22

p Gadgets: clause

connections connections

slide-64
SLIDE 64

22

p Gadgets: clause

connections connections

slide-65
SLIDE 65

22

p Gadgets: clause

connections connections

slide-66
SLIDE 66

22

p Gadgets: clause

connections connections

slide-67
SLIDE 67

22

p Gadgets: clause

connections connections

slide-68
SLIDE 68

22

p Gadgets: clause

connections connections

slide-69
SLIDE 69

22

p Gadgets: clause

connections connections

slide-70
SLIDE 70

22

p Gadgets: clause

connections connections interfere!

slide-71
SLIDE 71

22

p Gadgets: clause

connections connections

slide-72
SLIDE 72

22

p Gadgets: clause

connections connections interfere!

slide-73
SLIDE 73

22

p Gadgets: clause

connections connections

slide-74
SLIDE 74

22

p Gadgets: clause

connections connections interefere!

slide-75
SLIDE 75

22

p Gadgets: clause

connections connections interefere!

slide-76
SLIDE 76

22

p Gadgets: clause

connections connections

slide-77
SLIDE 77

22

p Gadgets: clause

connections connections

slide-78
SLIDE 78

22

p Gadgets: clause

connections connections

slide-79
SLIDE 79

22

p Gadgets: clause

connections connections

slide-80
SLIDE 80

22

p Gadgets: clause

connections connections

slide-81
SLIDE 81

22

p Gadgets: clause

connections connections

slide-82
SLIDE 82

23

p Summing up...

  • ϕ satisfiable ⇒

Movement of blue vertices suffices # moved vertices = # initial crossings/2

slide-83
SLIDE 83

23

p Summing up...

  • ϕ satisfiable ⇒

Movement of blue vertices suffices # moved vertices = # initial crossings/2

  • ϕ unsatisfiable ⇒

Movement of blue vertices doesn’t suffice ∴ at least one crossing requires both endpoints to move # moved vertices ≥ # initial crossings/2 + 1

slide-84
SLIDE 84

23

p Summing up...

  • ϕ satisfiable ⇒

Movement of blue vertices suffices # moved vertices = # initial crossings/2

  • ϕ unsatisfiable ⇒

Movement of blue vertices doesn’t suffice ∴ at least one crossing requires both endpoints to move # moved vertices ≥ # initial crossings/2 + 1 Conclude the reduction

slide-85
SLIDE 85

24

p Contents

  • Problem statement (more formally)
  • NP-hardness proof
  • Inapproximability (briefly)
  • Connection to the one-bend embeddability problem
slide-86
SLIDE 86

25

p Inapproximability result

. Theorem Theorem

  • For a given planar graph G and a drawing δ of G,

it is NP-hard to approximate 1+MMV(G, δ) within a factor of n1−ε (∀ fixed ε ∈ (0, 1]) Remark

  • Since MMV(G, δ) could be zero,

we modify the objective value by adding one for the approximation to make sense.

slide-87
SLIDE 87

26

p Proof idea

  • Use the same reduction as the NP-hardness proof
  • Replace every immobile vertex with an immobile star
  • Immobile stars give us a large gap

∴ Calculation shows our inapproximability

slide-88
SLIDE 88

27

p Contents

  • Problem statement (more formally)
  • NP-hardness proof
  • Inapproximability (briefly)
  • Connection to the one-bend embeddability problem
slide-89
SLIDE 89

28

p Def.: k-bend embedding

. Setup: Setup: G = (V, E) a planar graph . Def: Def: A k-bend embedding of G is an embedding of G into a plane s.t. every edge is drawn as a non-crossing polygonal chain with k bends

slide-90
SLIDE 90

28

p Def.: k-bend embedding

. Setup: Setup: G = (V, E) a planar graph . Def: Def: A k-bend embedding of G is an embedding of G into a plane s.t. every edge is drawn as a non-crossing polygonal chain with k bends

slide-91
SLIDE 91

29

p Def.: k-bend point-set embeddability

. Setup: Setup: G = (V, E) a planar graph . Def: Def: G is k-bend (point-set) embeddable if ∀ S ⊂ I R2 with |S| = |V| ∃ a bijection δ: V → S s.t. G can be k-bend embedded while each v ∈ V is placed at δ(v) ∈ S

slide-92
SLIDE 92

30

p Known results

(Kaufmann & Wiese (GD ’99, JGAA ’02))

  • G 4-connected planar ⇒ G 1-bend embeddable
  • G planar ⇒ G 2-bend embeddable
  • It is NP-complete to decide if

for a given planar G = (V, E) and a point set S ∃ a bijection δ: V → S that makes it possible to 1-bend embed G on S

slide-93
SLIDE 93

31

p New result

. Theorem Theorem

  • For a given planar graph G = (V, E), a point set S and

a bijection δ: V → S it is NP-hard to decide if δ makes it possible to 1-bend embed G on S Reminder . Kaufmann–Wiese ’02 Kaufmann–Wiese ’02

  • For a given planar graph G = (V, E) and a point set S

it is NP-hard to decide if ∃ a bijection δ: V → S that makes it possible to 1-bend embed G on S

slide-94
SLIDE 94

32

p Proof idea

  • Use the same reduction as the NP-hardness of MMV
  • But contract the mobile vertices
slide-95
SLIDE 95

32

p Proof idea

  • Use the same reduction as the NP-hardness of MMV
  • But contract the mobile vertices

Remark: a similar inapproximability holds . Theorem Theorem

  • For a given planar graph G = (V, E), a point set S and

a bijection δ: V → S it is NP-hard to approximate min # total bends (+1) when G is embedded on S with the correspondence δ within a factor of n1−ε (∀ fixed ε ∈ (0, 1])

slide-96
SLIDE 96

33

p Contents

  • Problem statement (more formally)
  • NP-hardness proof
  • Inapproximability (briefly)
  • Connection to the one-bend embeddability problem
  • Concluding remarks
slide-97
SLIDE 97

34

p Combinatorial results

max # of vertices that we can keep fixed Lower Bound Upper Bound Cycles ⌊√n⌋ O((n log n)2/3) Trees ⌊√n/3⌋ ⌈n/3⌉ + 4 General 3 ⌈ √ n−2⌉+1

Pach & Tardos (GD ’01, DCG ’02)

slide-98
SLIDE 98

34

p Combinatorial results

max # of vertices that we can keep fixed Lower Bound Upper Bound Cycles ⌊√n⌋ O((n log n)2/3) Trees ⌊√n/3⌋ ⌈n/3⌉ + 4 Outerplanar √ n−1/3 2 √ n−1+1 General 3 ⌈ √ n−2⌉+1 Ω(

  • log n/ log log n)

Pach & Tardos (GD ’01, DCG ’02) Spillner & Wolff (arXiv Sept ’07)

slide-99
SLIDE 99

35

p Summary and open problems: computational

Results

  • Minimizing the number of moved vertices is
  • NP-hard to compute precisely
  • NP-hard to compute approximately with factor n1−ε
slide-100
SLIDE 100

35

p Summary and open problems: computational

Results

  • Minimizing the number of moved vertices is
  • NP-hard to compute precisely
  • NP-hard to compute approximately with factor n1−ε

Open Problems

  • Minimizing the number of moved vertices is
  • hard in the parameterized sense?
  • Maximizing the number of kept vertices is
  • NP-hard to compute approximately??
  • hard in the parameterized sense?
  • How about when we restrict a graph class?
slide-101
SLIDE 101

35

p Summary and open problems: computational

Results

  • Minimizing the number of moved vertices is
  • NP-hard to compute precisely
  • NP-hard to compute approximately with factor n1−ε

Open Problems

  • Minimizing the number of moved vertices is
  • hard in the parameterized sense?
  • Maximizing the number of kept vertices is
  • NP-hard to compute approximately??
  • hard in the parameterized sense?
  • How about when we restrict a graph class?

[End of Talk]

slide-102
SLIDE 102

36

p

Supplementary slides

slide-103
SLIDE 103

37

p Min Vertex Cover of line segments

Vertex cover = set of vertices that doesn’t miss any edge.

slide-104
SLIDE 104

37

p Min Vertex Cover of line segments

Vertex cover = set of vertices that doesn’t miss any edge.

slide-105
SLIDE 105

38

p Reduction

slide-106
SLIDE 106

38

p Reduction

slide-107
SLIDE 107

39

p Cycles: Lower Bound

Recall: MKV(G, δ) = max # vertices we can keep fixed to make δ plane . Theorem Theorem (Pach & Tardos GD ’01, DCG ’02) For any drawing δ of an n-cycle Cn MKV(Cn, δ) ≥ ⌊√n⌋

slide-108
SLIDE 108

39

p Cycles: Lower Bound

Recall: MKV(G, δ) = max # vertices we can keep fixed to make δ plane . Theorem Theorem (Pach & Tardos GD ’01, DCG ’02) For any drawing δ of an n-cycle Cn MKV(Cn, δ) ≥ ⌊√n⌋ . Proof Proof Use the Erd˝

  • s–Szekeres theorem
slide-109
SLIDE 109

40

p Erd˝

  • s–Szekeres for a monotone subsequence

. Lemma Lemma

(Erd˝

  • s and Szekeres ’35)

A sequence of n different real numbers contains a monotone subsequence of length (at least) ⌊√n⌋ 3 9 12 16 7 6 13 1 10 11 4 8 2 15 5 14 n = 16

slide-110
SLIDE 110

40

p Erd˝

  • s–Szekeres for a monotone subsequence

. Lemma Lemma

(Erd˝

  • s and Szekeres ’35)

A sequence of n different real numbers contains a monotone subsequence of length (at least) ⌊√n⌋ 3 9 12 16 7 6 13 1 10 11 4 8 2 15 5 14 n = 16

slide-111
SLIDE 111

40

p Erd˝

  • s–Szekeres for a monotone subsequence

. Lemma Lemma

(Erd˝

  • s and Szekeres ’35)

A sequence of n different real numbers contains a monotone subsequence of length (at least) ⌊√n⌋ 3 9 12 16 7 6 13 1 10 11 4 8 2 15 5 14 n = 16

slide-112
SLIDE 112

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Given a drawing...

slide-113
SLIDE 113

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

A point in general position

slide-114
SLIDE 114

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-115
SLIDE 115

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-116
SLIDE 116

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-117
SLIDE 117

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-118
SLIDE 118

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-119
SLIDE 119

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-120
SLIDE 120

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-121
SLIDE 121

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-122
SLIDE 122

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Obtain a sequence according to the angular order 5 8 7 4 6 1 3 2 9

slide-123
SLIDE 123

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Choose a monotone subsequence of length ⌊√n⌋ 5 8 7 4 6 1 3 2 9

slide-124
SLIDE 124

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Choose a monotone subsequence of length ⌊√n⌋ 5 8 7 4 6 1 3 2 9

slide-125
SLIDE 125

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8

Keep pts in the subseq fixed, and move remaining pts 5 8 7 4 6 1 3 2 9

slide-126
SLIDE 126

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8 1 4 5 6 7 9 8 2 3

Keep pts in the subseq fixed, and move remaining pts 5 8 7 4 6 1 3 2 9

slide-127
SLIDE 127

41

p From drawings to sequences 1 3 4 5 6 7 2 9 8 1 4 7 9 8 2 3 5 6

Keep pts in the subseq fixed, and move remaining pts 5 8 7 4 6 1 3 2 9

slide-128
SLIDE 128

42

p Cycles: Easy Upper Bound

Recall: MKV(G, δ) = max # vertices we can keep fixed to make δ plane . Theorem Theorem ∃ a drawing δ of Cn (n odd) s.t. MKV(Cn, δ) ≤ ⌊n/2⌋

slide-129
SLIDE 129

42

p Cycles: Easy Upper Bound

Recall: MKV(G, δ) = max # vertices we can keep fixed to make δ plane . Theorem Theorem ∃ a drawing δ of Cn (n odd) s.t. MKV(Cn, δ) ≤ ⌊n/2⌋ . Proof Proof Use a thrackle:

slide-130
SLIDE 130

43

p Results of others

Verbitsky (’07) independently obtained the following

  • It is NP-hard to compute MMV(G, δ)
  • For n-vertex planar graphs, MKV ≥ 3
  • MMV(G, δ) ≥ (matching no. of G) − 1
  • For n-vertex planar graphs, δ ≥ 3 and n ≥ 10

we cannot keep (2n + 1)/3 vertices in some cases

the matching no. ≥ (n+2)/3 (Nishizeki & Baybars ’79)

  • For n-vertex planar graphs, 4-connected

we cannot keep (n + 3)/2 vertices in some cases

4-conn. planar graphs are Hamiltonian (Tutte ’56)

  • Also investigate “obfuscation complexity of a graph”

that might be called “max rectilinear crossing number”