Debajyoti Mondal Department of Computer Science University of Manitoba Department of Computer Science University of Colorado Denver Stephane Durocher Department.

Slides:



Advertisements
Similar presentations
Warm Up Example 1 Check whether the ordered pair is a solution of 2x – 3y > -2 a.(0,0) 2(0)-3(0)> -2 0> -2 True b.(0,1) 2(0)-3(1)> -2 -3> -2 False.
Advertisements

Distance and Routing Labeling Schemes in Graphs
Simple Graph Warmup. Cycles in Simple Graphs A cycle in a simple graph is a sequence of vertices v 0, …, v n for some n>0, where v 0, ….v n-1 are distinct,
The Theory of NP-Completeness
1 Construction of Hamiltonian Cycles in Layered Cubic Planar Graphs Graphs and Combinatorics 2002 D.S. Franzblau Department of Mathematics, CUNY/College.
On the complexity of orthogonal compaction maurizio patrignani univ. rome III.
Debajyoti Mondal, Rahnuma Islam Nishat, Md. Saidur Rahman and Md. Jawaherul Alam Graph Drawing and Information Visualization Laboratory Department of Computer.
Stephane Durocher 1 Debajyoti Mondal 1 Rahnuma Islam Nishat 2 Sue Whitesides 2 1 Department of Computer Science, University of Manitoba 2 Department of.
Graph Drawing and Information Visualization Laboratory Department of Computer Science and Engineering Bangladesh University of Engineering and Technology.
1 Debajyoti Mondal 2 Rahnuma Islam Nishat 2 Sue Whitesides 3 Md. Saidur Rahman 1 University of Manitoba, Canada 2 University of Victoria, Canada 3 Bangladesh.
WALCOM 2012February 16, 2012 Stephane Durocher Debajyoti Mondal Department of Computer Science University of Manitoba.
Computability and Complexity 15-1 Computability and Complexity Andrei Bulatov NP-Completeness.
Rectangle Visibility Graphs: Characterization, Construction, Compaction Ileana Streinu (Smith) Sue Whitesides (McGill U.)
UMass Lowell Computer Science Analysis of Algorithms Prof. Karen Daniels Fall, 2001 Wednesday, 9/26/01 Graph Basics.
Graphic Tool for Computer Chip Layout Laura McLane Saint Michael’s College Advisor: Joanna Ellis-Monaghan.
Computational Complexity of Approximate Area Minimization in Channel Routing PRESENTED BY: S. A. AHSAN RAJON Department of Computer Science and Engineering,
Applied Computer Science II Chapter 7: Time Complexity Prof. Dr. Luc De Raedt Institut für Informatik Albert-Ludwigs Universität Freiburg Germany.
Complexity ©D.Moshkovitz 1 Paths On the Reasonability of Finding Paths in Graphs.
Clique Cover Cook’s Theorem 3SAT and Independent Set
B. Li F. Moataz N. Nisse K. Suchan 1 Minimum Size Tree Decompositions 1, Inria, France 2, University Nice Sophia Antipolis, CNRS, I3S, France 3, Institute.
Complexity results for three-dimensional orthogonal graph drawing maurizio “titto” patrignani third university of rome graph drawing 2005.
Coloring 3/16/121. Flight Gates flights need gates, but times overlap. how many gates needed? 3/16/122.
CSE 589 Applied Algorithms Spring Colorability Branch and Bound.
MAPS OF DNA AND INTERVAL GRAPHS by Akshita Gurram.
Graph Coalition Structure Generation Maria Polukarov University of Southampton Joint work with Tom Voice and Nick Jennings HUJI, 25 th September 2011.
The Rectilinear Symmetric Crossing Minimization Problem Seokhee Hong The University of Sydney.
Applications of types of SATs Arash Ahadi What is SAT?
1 The Theory of NP-Completeness 2012/11/6 P: the class of problems which can be solved by a deterministic polynomial algorithm. NP : the class of decision.
Department of Computer Science and Engineering Bangladesh University of Engineering and Technology Md. Emran Chowdhury Department of CSE Northern University.
On Balanced + -Contact Representations Stephane Durocher & Debajyoti Mondal University of Manitoba.
MCS 312: NP Completeness and Approximation algorithms Instructor Neelima Gupta
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.
GD 2014 September 26, 2014 Department of Computer Science University of Manitoba Stephane Durocher Debajyoti Mondal.
Stephane Durocher 1 Debajyoti Mondal 1 Md. Saidur Rahman 2 1 Department of Computer Science, University of Manitoba 2 Department of Computer Science &
On s-t paths and trails in edge-colored graphs L. Gourvès, A. Lyra*, C. Martinhon, J. Monnot, F. Protti Lagos 2009 (RS, Brazil)
CSC 172 P, NP, Etc. “Computer Science is a science of abstraction – creating the right model for thinking about a problem and devising the appropriate.
Combinatorial Auctions with Structured Item Graphs Vincent Conitzer, Jonathan Derryberry, and Tuomas Sandholm Computer Science Department Carnegie Mellon.
GD 2014 September 25, 2014 Department of Computer Science University of Manitoba, Canada Stephane Durocher Debajyoti Mondal.
Lecture 14: Graph Theory I Discrete Mathematical Structures: Theory and Applications.
VLSI Layout Algorithms CSE 6404 A 46 B 65 C 11 D 56 E 23 F 8 H 37 G 19 I 12J 14 K 27 X=(AB*CD)+ (A+D)+(A(B+C)) Y = (A(B+C)+AC+ D+A(BC+D)) Dr. Md. Saidur.
Complexity results for three-dimensional orthogonal graph drawing maurizio patrignani third university of rome graph drawing dagstuhl
Lecture 6 NP Class. P = ? NP = ? PSPACE They are central problems in computational complexity.
WADS 2013 August 12, 2013 Department of Computer Science University of Manitoba Stephane Durocher Debajyoti Mondal.
Beyond planarity of graphs Eyal Ackerman University of Haifa and Oranim College.
Sudip Biswas 1, Stephane Durocher 2, Debajyoti Mondal 2 and Rahnuma Islam Nishat 3 Hamiltonian Paths and Cycles in Planar Graphs 1 Department of Computer.
David Stotts Computer Science Department UNC Chapel Hill.
Lecture 16: Graph Theory III Discrete Mathematical Structures: Theory and Applications.
NPC.
Introduction to NP-Completeness Tahir Azim. The Downside of Computers Many problems can be solved in linear time or polynomial time But there are also.
The Theory of NP-Completeness 1. Nondeterministic algorithms A nondeterminstic algorithm consists of phase 1: guessing phase 2: checking If the checking.
CCCG 2014 August 11, 2014 Department of Computer Science University of Manitoba Stephane Durocher Debajyoti Mondal.
What is a graph? e = the number of edges v = the number of vertices C 3 is a 3-cycle C 4 is a 4-cycle.
1 The Theory of NP-Completeness 2 Review: Finding lower bound by problem transformation Problem X reduces to problem Y (X  Y ) iff X can be solved by.
1 Schnyder’s Method. 2 Motivation Given a planar graph, we want to embed it in a grid We want the grid to be relatively small And we want an efficient.
The 2x2 Simple Packing Problem André van Renssen Supervisor: Bettina Speckmann.
Hongyu Liang Institute for Theoretical Computer Science Tsinghua University, Beijing, China The Algorithmic Complexity.
Construction We constructed the following graph: This graph has several nice properties: Diameter Two Graph Pebbling Tim Lewis 1, Dan Simpson 1, Sam Taggart.
TU/e Algorithms (2IL15) – Lecture 10 1 NP-Completeness, II.
Relating Graph Thickness to Planar Layers and Bend Complexity
Drawing Plane Triangulations with Few Segments
Lecture 2-2 NP Class.
Lecture 15: Graph Theory II
Distance and Routing Labeling Schemes in Graphs
Walks, Paths, and Circuits
Planarity K4 (complete)
Haitao Wang Utah State University WADS 2017, St. John’s, Canada
Rainbow Graph Designs Hung-Lin Fu (傅 恒 霖)
CSE 589 Applied Algorithms Spring 1999
Our old list of problems
Lecture 23 NP-Hard Problems
Presentation transcript:

Debajyoti Mondal Department of Computer Science University of Manitoba Department of Computer Science University of Colorado Denver Stephane Durocher Department of Computer Science University of Manitoba Ellen Gethner 20/06/2013WG

20/06/2013WG 2013 Thickness & Geometric Thickness Thickness θ(G): The smallest number k such that G can be decomposed into k planar graphs. Geometric Thickness θ(G): The smallest number k such that  G can be decomposed into k planar straight-line drawings (layers), and  the position of the vertices in each layer is the same. θ(K 9 ) = 3 2

20/06/2013WG 2013 Thickness & Geometric Thickness Thickness θ(G): The smallest number k such that G can be decomposed into k planar layers. θ(K 16 ) = 3 [Mayer 1971] θ(K 16 ) = 4 [Dillencourt, Eppstein, and Hirschberg 2000] Geometric Thickness θ(G): The smallest number k such that  G can be decomposed into k planar straight-line drawings (layers), and  the position of the vertices in each layer is the same. 3

20/06/2013WG Mansfield Thickness-2-graph recognition is NP-hard Known Results 1964Beineke, Harary and Moon 1976Alekseev and Gonchakov 1976 Vasak θ(K n,n ) = ⌊ (n+5) / 4 ⌋ θ(K 9 ) = θ(K 10 ) =3, θ(K n ) = ⌊ (n+7) / 6 ⌋ 1950Ringel Thickness t graphs are 6t colorable Extensive research exploring similar properties of geometric graphs 1999Hutchinson, Shermer, Vince For θ(G)=2, 6n-20 ≤ |E(G)| ≤ 6n Dillencourt, Eppstein, Hirschberg θ(K n ) ≤ ⌈ n / 4 ⌉ 2002Eppstein θ(G) = 3, but θ(G) arbitrarily large 4

20/06/2013WG Mansfield Thickness-2-graph recognition is NP-hard. (For geometric thickness?) Our Results 1980Dailey Coloring planar graphs with 3 colors is NP-hard. (For thickness t>1?) 1999 Hutchinson, Shermer, Vince For θ(G)=2, 6n-20 ≤ |E(G)| ≤ 6n-18. (Tight bounds?) 2000 Dillencourt, Eppstein, Hirschberg θ(K 15 ) = 4 > θ(K 15 ) = 3. (What is the smallest graph G with θ(G) > θ(G) ?) 5 6n-19 ≤ |E(G)| ≤ 6n-18 The smallest such graph contains 10 vertices. Geometric thickness-2-graph recognition is NP-hard. Coloring graphs with geometric thickness t with 4t-1 colors is NP-hard.

20/06/2013WG 2013 Geometric-Thickness-2-Graphs with 6n-19 edges K 9 -(d,e) (3n-6)+(3n-6)-7 = 6n-19 What if n > 9 ? 6

20/06/2013WG 2013 Geometric-Thickness-2-Graphs with 6n-19 edges K 9 -(d,e) 7

20/06/2013WG 2013 Geometric-Thickness-2-Graphs with 6n-19 edges θ(G) =2, n = 9 and 6n-19 edges. θ(G) =2, n = 10 and 6n-19 edges. θ(G) =2, n = 11 and 6n-19 edges. θ(G) =2, n = 13 and 6n-19 edges. θ(G) =2, n = 14 and 6n-19 edges. θ(G) =2, n = 15 and 6n-19 edges. 8 θ(G) =2, n = 12 and 6n-19 edges. θ(G) =2, n = 16 and 6n-19 edges.

20/06/2013WG 2013 Geometric-Thickness-2-Graphs with 6n-19 edges θ(G) =2, n =11, 6n-19 edges, but does not contain K 9 -(d,e). 9

20/06/2013WG 2013 All Geometric-Thickness-2-Drawings of K 9 -one edge 10 For each distinct point configuration P of 9 points,  construct K 9 on P, and  for each edge e / in K 9, check whether K 9 –e / is a thickness two representation.

20/06/2013WG 2013 All Geometric-Thickness-2-Drawings of K 9 -one edge 11 For each distinct point configuration P of 9 points,  construct K 9 on P, and  for each edge e / in K 9, check whether K 9 –e / is a thickness two representation.

20/06/2013WG 2013 All Geometric-Thickness-2-Drawings of K 9 -one edge 12 For each distinct point configuration P of 9 points,  construct K 9 on P, and  for each edge e / in K 9, check whether K 9 –e / is a thickness two representation.

20/06/2013WG 2013 All Geometric-Thickness-2-Drawings of K 9 -one edge 13 For each distinct point configuration P of 9 points,  construct K 9 on P, and  for each edge e / in K 9, check whether K 9 –e / is a thickness two representation.

20/06/2013WG 2013 All Geometric-Thickness-2-Drawings of K 9 -one edge 14 For each distinct point configuration P of 9 points,  construct K 9 on P, and  for each edge e / in K 9, check whether K 9 –e / is a thickness two representation.

20/06/2013WG 2013 All Geometric-Thickness-2-Drawings of K 9 -one edge 15 For each distinct point configuration P of 9 points,  construct K 9 on P, and  for each edge e / in K 9, check whether K 9 –e / is a thickness two representation.

20/06/2013WG 2013 All Geometric-Thickness-2-Drawings of K 9 -one edge 16

20/06/2013WG 2013 Smallest G with θ(G) > θ(G) 17 unsaturated vertices K 9 - (d,e) H, where θ(H) = 2

20/06/2013WG 2013 θ(H) = 3> θ(H) = 2 18 No suitable position for v in the thickness-2-representations of K 9 - (d,e) v v

20/06/2013WG 2013 Schematic Representation of K 9 -one edge 19

20/06/2013WG 2013 Schematic Representation of K 9 -one edge 20

20/06/2013WG 2013 Schematic Representations: Paths and Cycles 21

20/06/2013WG 2013 Schematic Representations: Paths and Cycles 22

20/06/2013WG 2013 Geometric-Thickness-2-Graph Recognition is NP-hard 23 C2C2 C3C3 C4C4 True False c dd c Reduction from 3SAT; similar to Estrella-Balderrama et al. [2007]

20/06/2013WG 2013 Coloring with 4t-1 colors is NP-hard 24 Reduction from the problem of coloring geometric- thickness-t-graphs with 2t +1 colors, which is NP-hard (skip). Without loss of generality assume that t ≥ 2. Given a graph H with geometric thickness (t-1), we construct a graph G with thickness t such that G is 4t-1 colorable if and only if H is 2(t-1)+1 colorable.

20/06/2013WG 2013 Coloring with 4t-1 colors is NP-hard 25 Given a graph H with geometric thickness (t-1), we construct a graph G with thickness t such that G is 4t-1 colorable if and only if H is 2(t-1)+1 colorable. H G 2t-1 vertices = 2(t-1)+1 vertices 2t vertices Construction of K 4t = K 12 [Dillencourt et al. 2000]

20/06/2013WG 2013  Does there exist a geometric thickness two graph with 6n-18 edges?  Can every geometric-thickness-2-graph be colored with 8 colors?  Does there exist a polynomial time algorithm for recognizing geometric thickness-2-graphs with bounded degree? 26 Future Research

Thank You 20/06/201327WG 2013