Complexity results for three-dimensional orthogonal graph drawing maurizio patrignani third university of rome graph drawing dagstuhl 05191-2005.

Slides:



Advertisements
Similar presentations
Drawing trees in a streaming model Carla Binucci Ulrik Brandes Giuseppe Di Battista Walter Didimo Marco Gaertler Pietro Palladino Maurizio Patrignani Antonios.
Advertisements

Complexity Classes: P and NP
Complexity ©D.Moshkovits 1 Where Can We Draw The Line? On the Hardness of Satisfiability Problems.
Alternatives to Truthfulness Are Hard to Recognize Carmine Ventre (U. of Liverpool) Joint work with: Vincenzo Auletta & Paolo Penna & Giuseppe Persiano.
Orthogonal Drawing Kees Visser. Overview  Introduction  Orthogonal representation  Flow network  Bend optimal drawing.
Planar Orientations Chapter 4 ( ) in the book Written By: Tomer Heber.
1 NP-Complete Problems. 2 We discuss some hard problems:  how hard? (computational complexity)  what makes them hard?  any solutions? Definitions 
CS Department Fireside Chat All are welcome! Wed Nov 18, 5-6pm, Ols 228e/236d Kim Hazelwood and Wes Weimer Meet and ask them questions in a non-academic.
On the complexity of orthogonal compaction maurizio patrignani univ. rome III.
CSC5160 Topics in Algorithms Tutorial 2 Introduction to NP-Complete Problems Feb Jerry Le
Complexity 11-1 Complexity Andrei Bulatov NP-Completeness.
Constrained Optimisation and Graph Drawing Tim Dwyer Monash University Australia
Visual Analysis of Large Graphs Using (X, Y)-clustering and Hybrid Visualizations V. Batagelj, W. Didimo, G. Liotta, P. Palladino, M. Patrignani (Univ.
February 23, 2015CS21 Lecture 201 CS21 Decidability and Tractability Lecture 20 February 23, 2015.
Computability and Complexity 15-1 Computability and Complexity Andrei Bulatov NP-Completeness.
Semidefinite Programming
Techniques for Proving NP-Completeness
Reduction Techniques Restriction Local Replacement Component Design Examples.
The Theory of NP-Completeness
Analysis of Algorithms CS 477/677
Last class Decision/Optimization 3-SAT  Independent-Set Independent-Set  3-SAT P, NP Cook’s Theorem NP-hard, NP-complete 3-SAT  Clique, Subset-Sum,
1 CSE 417: Algorithms and Computational Complexity Winter 2001 Lecture 24 Instructor: Paul Beame.
Chapter 5: Computational Complexity of Area Minimization in Multi-Layer Channel Routing and an Efficient Algorithm Presented by Md. Raqibul Hasan Std No.
Data reduction lower bounds: Problems without polynomial kernels Hans L. Bodlaender Joint work with Downey, Fellows, Hermelin, Thomasse, Yeo.
Complexity results for three-dimensional orthogonal graph drawing maurizio “titto” patrignani third university of rome graph drawing 2005.
The complexity of the matching-cut problem Maurizio Patrignani & Maurizio Pizzonia Third University of Rome.
I NTRODUCTION TO G RAPH DRAWING Fall 2010 Battista, G. D., Eades, P., Tamassia, R., and Tollis, I. G Graph Drawing: Algorithms for the Visualization.
Orthogonal Drawings of Series-Parallel Graphs Joint work with Xiao Zhou by Tohoku University Takao Nishizeki.
MCS 312: NP Completeness and Approximation algorithms Instructor Neelima Gupta
Tonga Institute of Higher Education Design and Analysis of Algorithms IT 254 Lecture 8: Complexity Theory.
Theory of Computation, Feodor F. Dragan, Kent State University 1 NP-Completeness P: is the set of decision problems (or languages) that are solvable in.
The Complexity of Optimization Problems. Summary -Complexity of algorithms and problems -Complexity classes: P and NP -Reducibility -Karp reducibility.
A split&push approach to 3D orthogonal drawings giuseppe di battista univ. rome III maurizio patrignani univ. rome III francesco vargiu aipa.
NP Complexity By Mussie Araya. What is NP Complexity? Formal Definition: NP is the set of decision problems solvable in polynomial time by a non- deterministic.
1 3-COLOURING: Input: Graph G Question: Does there exist a way to 3-colour the vertices of G so that adjacent vertices are different colours? 1.What could.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
EMIS 8373: Integer Programming NP-Complete Problems updated 21 April 2009.
Techniques for Proving NP-Completeness Show that a special case of the problem you are interested in is NP- complete. For example: The problem of finding.
A Note on the Self-Similarity of some Orthogonal Drawings Maurizio “Titto” Patrignani Roma Tre University, Italy GD2004 NYC 28 Sept – 2 Oct 2004.
NP-Complete Problems. Running Time v.s. Input Size Concern with problems whose complexity may be described by exponential functions. Tractable problems.
CS 3343: Analysis of Algorithms Lecture 25: P and NP Some slides courtesy of Carola Wenk.
CS6045: Advanced Algorithms NP Completeness. NP-Completeness Some problems are intractable: as they grow large, we are unable to solve them in reasonable.
Department of Computer Science and Engineering Bangladesh University of Engineering and Technology M. Sc. Engg. Thesis Md. Emran Chowdhury ( P)
Chapter 11 Introduction to Computational Complexity Copyright © 2011 The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 1.
NPC.
CSC 413/513: Intro to Algorithms
CSE 421 Algorithms Richard Anderson Lecture 27 NP-Completeness Proofs.
Given this 3-SAT problem: (x1 or x2 or x3) AND (¬x1 or ¬x2 or ¬x2) AND (¬x3 or ¬x1 or x2) 1. Draw the graph that you would use if you want to solve this.
Computability Examples. Reducibility. NP completeness. Homework: Find other examples of NP complete problems.
CS 154 Formal Languages and Computability May 10 Class Meeting Department of Computer Science San Jose State University Spring 2016 Instructor: Ron Mak.
Computing NodeTrix Representations of Clustered Graphs
More NP-Complete and NP-hard Problems
Richard Anderson Lecture 26 NP-Completeness
COMPLEXITY THEORY IN PRACTICE
Computability and Complexity
NP-Completeness (2) NP-Completeness Graphs 7/23/ :02 PM x x x x
NP-Completeness Proofs
Richard Anderson Lecture 26 NP-Completeness
Hard Problems Introduction to NP
NP-Completeness Yin Tat Lee
CS21 Decidability and Tractability
Where Can We Draw The Line?
Complexity 6-1 The Class P Complexity Andrei Bulatov.
Clustered Planarity = Flat Clustered Planarity
NP-Completeness Yin Tat Lee
CSE 6408 Advanced Algorithms.
NP-Completeness Yin Tat Lee
CS21 Decidability and Tractability
Complexity Theory in Practice
Lecture 23 NP-Hard Problems
Presentation transcript:

complexity results for three-dimensional orthogonal graph drawing maurizio patrignani third university of rome graph drawing dagstuhl

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

what we know (1) volume is  (n 3/2 ) –rosenberg. three-dimensional vlsi: a case study. j acm 1983 volume is  (n 3/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

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(n 3 ) volume –papakostas and tollis. algorithms for incremental orthogonal graph drawing in three-dimensions. jgaa 1999 linear time complexity in O(n 3 ) volume other algorithms –biedl. heuristics for 3d orthogonal graph drawing. twente workshop bends per edge in linear time and O(n 2 ) volume –closson, gartshore, johansen, and wismath. fully dynamic 3-dimensional orthogonal graph drawing. jgaa bends per edge in O(n 2 ) volume and linear time, but insertions/deletions in O(1) time –wood. an algorithm for three-dimensional orthogonal graph drawing. gd bends per edge in O(n 3 ) 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

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]

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?

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 K 7 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

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)} planarization orthogonalization compaction

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)} orthogonalization compaction

simple and not simple shape graphs simple shape graph (admitting non-intersecting metrics) not simple shape graph (always intersects)

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

two open problems 1.existence of a 2-bend drawing 2.characterization of simple shapes can complexity considerations give us some insight?

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-hard if you fix node positions finding a routing without intersections with a maximum of two bends per edge is NP-hard

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?

consequences of statement 2 (2-bend routing is NP-hard) yet another problem where two bends per edge implies NP-hardness two bends per edge + fixed shape  NP-hardness two bends per edge + fixed positions  NP-hardness two 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?

how we prove the statements reductions from the 3sat problem: instance: a set of clauses {c 1, c 2, …, c m } each containing three literals from a set of boolean variables {v 1, v 2, …, v n } question: can truth values be assigned to the variables so that each clause contains at lest one true literal? example of 3sat instance: (v 1  v 3  v 4 )  (v 1  v 2  v 5 )  (v 2  v 3  v 5 ) c1c1 c2c2 c3c3

the 3sat reduction framework variable gadgets clause gadgets joint gadgets

variable gadget true variable false variable

variable gadget propagating truth values false variable

joint-gadget T T F F

T T T F F F F T

clause gadget from the joint gadget from the joint gadget from the variable gadget

all literals false  intersecting clause gadget F F F F F T F F F T T T F F T T T T F F T T T T

variable gadget false variable true variable

variable gadget propagating truth values variable gadget to clause gadget c 1 to clause gadget c 2 to clause gadget c 3

joint gadget from the variable gadget

joint gadget from the variable gadget

joint gadget from the variable gadget to the clause gadget

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?

questions?

title