complexity results for three-dimensional orthogonal graph drawing
description
Transcript of complexity results for three-dimensional orthogonal graph drawing
![Page 1: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/1.jpg)
complexity results for three-dimensional orthogonal
graph drawing
maurizio patrignanithird university of rome
graph drawingdagstuhl 05191-2005
![Page 2: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/2.jpg)
three-dimensional orthogonal GD
• nodes are (distinct) points in 3d space
• edges are composed by sequences of axis-parallel segments
node
bend
edge
• only degree six graphs admit such drawings
![Page 3: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/3.jpg)
what we know (1)
• volume is (n3/2)– rosenberg. three-dimensional vlsi: a case study. j acm
1983
• volume is (n3/2) – eades, stirk, and whitesides, the techniques of
komolgorov and bardzin for three-dimensional orthogonal graph drawings. ipl 96
• up to 16 bends per edge in time
– eades, symvonis, and whitesides, three-dimensional orthogonal graph drawing algorithms. discr. appl. math 2000
• up to 7 bends per edge in time
)( nnO
)( nnO
![Page 4: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/4.jpg)
what we know (2)• if only three bends per edges are allowed
– eades, symvonis, and whitesides, three-dimensional orthogonal graph drawing algorithms. discr. appl. math 2000
• linear time complexity in O(n3) volume– papakostas and tollis. algorithms for incremental orthogonal graph
drawing in three-dimensions. jgaa 1999• linear time complexity in O(n3) volume
• other algorithms– biedl. heuristics for 3d orthogonal graph drawing. twente workshop 1995
• 14 bends per edge in linear time and O(n2) volume– closson, gartshore, johansen, and wismath. fully dynamic 3-dimensional
orthogonal graph drawing. jgaa 2000• 6 bends per edge in O(n2) volume and linear time, but insertions/deletions in
O(1) time– wood. an algorithm for three-dimensional orthogonal graph drawing. gd
1998• 4 bends per edge in O(n3) time, but less than 7m/3 bends in total
– di battista, patrignani, and vargiu. a split&push approach to 3d orthogonal drawing. jgaa 2000
• no bound given
![Page 5: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/5.jpg)
plenty of drawings
[eades, symvonis, and whitesides 2000] [eades, stirk, and whitesides 1996]
[papakostas and tollis 1999]
[di battista, patrignani, and vargiu 2000][eades, symvonis, and whitesides 2000] [biedl 1995]
![Page 6: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/6.jpg)
what we would like to know
two very difficult problems:
1. what happens if a maximum of two bends per edge is allowed?
2. can we extend to 3d the topology-shape-metrics approach?
![Page 7: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/7.jpg)
2-bend drawing problem• does a (degree six) graph always admit a 3d
orthogonal drawing with at most 2 bends per edge?– a positive answer could provide an algorithm of
unprecedented effectiveness
– a negative answer was conjectured…• eades, symvonis, and whitesides. two algorithms for three
dimensional orthogonal graph drawing. gd’96, 1997
– …but the K7 graph that was thought to require 3 bends turned out to admit a 2-bend drawing
• wood. on higher dimensional orthogonal graph drawing. cats’97
– problem #46 of the open problem project • demaine, mitchell, and o’rourke
![Page 8: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/8.jpg)
topology-shape-metrics approach in 2d
V={1,2,3,4,5,6}E={(1,4),(1,5),(1,6), (2,4),(2,5),(2,6), (3,4),(3,5),(3,6)}
6
25
3
4
planarization
orthogonalization
compaction
61
25
3
4
6
1 25
3
4
1
![Page 9: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/9.jpg)
topology-shape-metrics approach in 3d
V={1,2,3,4,5,6}E={(1,4),(1,5),(1,6), (2,4),(2,5),(2,6), (3,4),(3,5),(3,6)}
6
25
3
4
orthogonalization
compaction
1
6
1 25
3
4
![Page 10: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/10.jpg)
simple and not simple shape graphs
simple shape graph(admitting non-intersecting metrics)
not simple shape graph(always intersects)
![Page 11: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/11.jpg)
characterization of simple shapes• known results:
– characterization for cycles• di battista, liotta, lubiw, and whitesides. orthogonal drawings
of cycles in 3d space, gd’00, 2001– characterization for paths (with additional constraints)
• di battista, liotta, lubiw, and whitesides. embedding problems for paths with direction constrained edges. theor. comp. sci., 2002
– proof that the characterization for cycles is not easy to extend to simple graphs (theta graphs)
• di giacomo, liotta, and patrignani. a note on 3d orthogonal drawings with direction constrained edges. ipl, 2004
• characterizing simple shapes is an open problem– problem #20 of brandenburg, eppstein, goodrich,
kobourov, liotta, and mutzel. selected open problems in graph drawing. gd 2003
![Page 12: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/12.jpg)
two open problems
1. existence of a 2-bend drawing
2. characterization of simple shapes
can complexity considerations give us some insight?
![Page 13: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/13.jpg)
what we show
given a 6-degree graph we prove that:statement 1: simplicity testing is NP-hard
if you fix edge shapes (with a maximum of 2 bends per edge) finding the metrics corresponding to a non intersecting drawing is NP-hard
statement 2: 2-bend routing is NP-hardif you fix node positions finding a routing without intersections with a maximum of two bends per edge is NP-hard
![Page 14: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/14.jpg)
consequences of statement 1(simplicity testing is NP-hard)
• any characterization of simple orthogonal shapes involves a hard computation
• even if we were able to find simple orthogonal shapes the compaction step would be NP-hard
• questions:– are there classes of graphs such that the compaction
step is polynomial?
– are there families of shape graphs such that each graph is represented and the metrics can always be computed in polynomial time?
![Page 15: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/15.jpg)
consequences of statement 2(2-bend routing is NP-hard)
• yet another problem where two bends per edge implies NP-hardnesstwo bends per edge + fixed shape NP-hardnesstwo bends per edge + fixed positions NP-hardnesstwo bends per edge + diagonal layout NP-hardness
• wood. minimising the number of bends and volume in 3d orthogonal graph drawings with a diagonal vertex layout. algorithmica, 2004
• question:– what is the problem of finding a 2-bend
drawing of a graph?
![Page 16: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/16.jpg)
how we prove the statements
reductions from the 3sat problem:
instance: a set of clauses {c1, c2, …, cm} each containing three literals from a set of boolean variables {v1, v2, …, vn}
question: can truth values be assigned to the variables so that each clause contains at lest one true literal?
example of 3sat instance: (v1 v3 v4) (v1 v2 v5) (v2 v3 v5)
c1 c2 c3
![Page 17: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/17.jpg)
the 3sat reduction frameworkvariable gadgets
clause gadgets
joint gadgets
![Page 18: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/18.jpg)
variable gadgettrue variable false variable
![Page 19: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/19.jpg)
variable gadget propagating truth values
false variable
![Page 20: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/20.jpg)
joint-gadget
T
T
F
F
![Page 21: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/21.jpg)
joint-gadget
T
T
T
F
F
F
F
T
![Page 22: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/22.jpg)
clause gadget
from the joint gadget
from the joint gadget
from the variable gadget
![Page 23: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/23.jpg)
all literals false intersecting clause gadget
F
F
F
F
F
T F
FF
T
T T
F F T T
T T
F F
T T T T
![Page 24: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/24.jpg)
variable gadgetfalse variabletrue variable
![Page 25: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/25.jpg)
variable gadget propagating truth values
variable gadgetto clause gadget c1
to clause gadget c2
to clause gadget c3
![Page 26: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/26.jpg)
joint gadgetfrom the
variable gadget
![Page 27: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/27.jpg)
joint gadgetfrom the
variable gadget
![Page 28: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/28.jpg)
joint gadgetfrom the
variable gadget
to the clause gadget
![Page 29: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/29.jpg)
clause gadget
![Page 30: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/30.jpg)
conclusions
• simplicity testing is NP-hard
• 2-bend routing is NP-hard
• open problems– classes of graphs for which simplicity testing is
polynomial?– classes of shapes for which simplicity testing is
polynomial?– complexity of finding 2-bend drawings?
![Page 31: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/31.jpg)
questions?
![Page 32: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/32.jpg)
title
![Page 33: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/33.jpg)
title
![Page 34: complexity results for three-dimensional orthogonal graph drawing](https://reader036.fdocuments.in/reader036/viewer/2022070405/56814009550346895dab3fc1/html5/thumbnails/34.jpg)
title