Planar Embeddings of Graphs with Specified Edge Lengths Sergio - - PowerPoint PPT Presentation
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
Problem and motivation
Given a graph G
Sergio Cabello, sergio@cs.uu.nl, 2/11
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
Problem and motivation
Applications:
- Sensor networks
- Structural analysis of molecules
- Linear cartograms
Sergio Cabello, sergio@cs.uu.nl, 3/11
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
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
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
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
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
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
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
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
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
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
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
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
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
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
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
NP-hardness
The holder gadget.
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 7/11
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
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
NP-hardness
The inverter gadget. pushing towards variable
- pushing towards clause
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 9/11
NP-hardness
The inverter gadget. pushing towards variable
- pushing towards clause
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 9/11
NP-hardness
The inverter gadget. pushing towards variable
- pushing towards clause
v3 v4 v5
Sergio Cabello, sergio@cs.uu.nl, 9/11
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
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
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
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
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
Contents
- Problem and motivation
- Our results
- Triangulated graphs
- NP-hardness
- What did I explain?
Sergio Cabello, sergio@cs.uu.nl, 12/11