Planar Embeddings of Graphs with Specified Edge Lengths Sergio - - PowerPoint PPT Presentation

planar embeddings of graphs with specified edge lengths
SMART_READER_LITE
LIVE PREVIEW

Planar Embeddings of Graphs with Specified Edge Lengths Sergio - - PowerPoint PPT Presentation

Planar Embeddings of Graphs with Specified Edge Lengths Sergio Cabello GIVE, University Utrecht Erik D. Demaine MIT G unter Rote FU Berlin Problem and motivation Given a graph G Sergio Cabello, sergio@cs.uu.nl, 2/11 Problem and


slide-1
SLIDE 1

Planar Embeddings of Graphs with Specified Edge Lengths

Sergio Cabello GIVE, University Utrecht Erik D. Demaine MIT G¨ unter Rote FU Berlin

slide-2
SLIDE 2

Problem and motivation

Given a graph G

Sergio Cabello, sergio@cs.uu.nl, 2/11

slide-3
SLIDE 3

Problem and motivation

Given a graph G

1 1 1 2 2 3 3 2 1 2 3 3 2 1 1 2 1 1

and specified edge lengths Question: Can we draw G with these edge lengths?

Sergio Cabello, sergio@cs.uu.nl, 2/11

slide-4
SLIDE 4

Problem and motivation

Applications:

  • Sensor networks
  • Structural analysis of molecules
  • Linear cartograms

Sergio Cabello, sergio@cs.uu.nl, 3/11

slide-5
SLIDE 5

Our results

Restriction to planar embeddings (so planar graphs):

  • Triangulated graphs

⇒ linear time decision

            3-connected ( → fixed topology) unit edge lengths, bounded face degree, and generically rigid              ⇒ NP-hard. Improves Eades and Wormald ’90    2-connected + unit length, or 3-connected    also in simplicity

Sergio Cabello, sergio@cs.uu.nl, 4/11

slide-6
SLIDE 6

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed.

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-7
SLIDE 7

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-8
SLIDE 8

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-9
SLIDE 9

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-10
SLIDE 10

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-11
SLIDE 11

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-12
SLIDE 12

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-13
SLIDE 13

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-14
SLIDE 14

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-15
SLIDE 15

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-16
SLIDE 16

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Longest edge in the outermost face ⇒ Two outer face candidates.

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-17
SLIDE 17

Triangulated graphs

Planar triangulation ⇒ Planar 3-connected Planar 3-connected ⇒ One topological embedding in S2 [Whitney] ⇒ In R2: fixing outer face, the topology is completely fixed. ⇒ Fixed outer face, incremental treatment of triangles in O(n) time.

1 2 3 4 5 6 7 8

Longest edge in the outermost face ⇒ Two outer face candidates.

L i n e a r t i m e .

Sergio Cabello, sergio@cs.uu.nl, 5/11

slide-18
SLIDE 18

NP-hardness

Th: It is NP-hard for planar 3-connected graphs. Reduction from planar 3-SAT . . . v1 v2 v3 v4 v5 vn

Sergio Cabello, sergio@cs.uu.nl, 6/11

slide-19
SLIDE 19

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-20
SLIDE 20

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-21
SLIDE 21

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-22
SLIDE 22

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-23
SLIDE 23

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-24
SLIDE 24

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-25
SLIDE 25

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-26
SLIDE 26

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-27
SLIDE 27

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-28
SLIDE 28

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-29
SLIDE 29

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-30
SLIDE 30

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-31
SLIDE 31

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-32
SLIDE 32

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-33
SLIDE 33

NP-hardness

The holder gadget.

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 7/11

slide-34
SLIDE 34

NP-hardness

The variable gadget. (true literal ≡ pushing towards variable)

v3 v4 v5

vi ≡ true vi ¬vi vi vi vi ¬vi

Sergio Cabello, sergio@cs.uu.nl, 8/11

slide-35
SLIDE 35

NP-hardness

The variable gadget. (true literal ≡ pushing towards variable)

v3 v4 v5

vi ¬vi vi vi vi ¬vi vi ≡ false

Sergio Cabello, sergio@cs.uu.nl, 8/11

slide-36
SLIDE 36

NP-hardness

The inverter gadget. pushing towards variable

  • pushing towards clause

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 9/11

slide-37
SLIDE 37

NP-hardness

The inverter gadget. pushing towards variable

  • pushing towards clause

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 9/11

slide-38
SLIDE 38

NP-hardness

The inverter gadget. pushing towards variable

  • pushing towards clause

v3 v4 v5

Sergio Cabello, sergio@cs.uu.nl, 9/11

slide-39
SLIDE 39

NP-hardness

The clause gadget. (realizable ⇔ ∃ literal pushing towards clause)

v3 v4 v5

the same

lk ≡ false li ≡ false lj ≡ false

Sergio Cabello, sergio@cs.uu.nl, 10/11

slide-40
SLIDE 40

NP-hardness

The clause gadget. (realizable ⇔ ∃ literal pushing towards clause)

v3 v4 v5

lk ≡ false li ≡ true lj ≡ false

Sergio Cabello, sergio@cs.uu.nl, 10/11

slide-41
SLIDE 41

NP-hardness

The clause gadget. (realizable ⇔ ∃ literal pushing towards clause)

v3 v4 v5

lk ≡ true li ≡ true lj ≡ true

Sergio Cabello, sergio@cs.uu.nl, 10/11

slide-42
SLIDE 42

NP-hardness

The clause gadget. (realizable ⇔ ∃ literal pushing towards clause)

v3 v4 v5

lk ≡ true li ≡ false lj ≡ false

Sergio Cabello, sergio@cs.uu.nl, 10/11

slide-43
SLIDE 43

What did I explain?

Planar drawing of graphs with specified edge lengths.

  • Triangulated graphs

⇒ linear time decision

            3-connected ( → fixed topology) unit edge lengths, bounded face degree, and generically rigid              ⇒ NP-hard.

Sergio Cabello, sergio@cs.uu.nl, 11/11

slide-44
SLIDE 44

Contents

  • Problem and motivation
  • Our results
  • Triangulated graphs
  • NP-hardness
  • What did I explain?

Sergio Cabello, sergio@cs.uu.nl, 12/11