Computing NodeTrix Representations of Clustered Graphs

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

NP-Hard Nattee Niparnan.
Orthogonal Drawing Kees Visser. Overview  Introduction  Orthogonal representation  Flow network  Bend optimal drawing.
Generalization and Specialization of Kernelization Daniel Lokshtanov.
Lecture 17 Path Algebra Matrix multiplication of adjacency matrices of directed graphs give important information about the graphs. Manipulating these.
1 Monotone Drawings of Graphs Thanks to Peter Eades Patrizio Angelini, Enrico Colasante, Giuseppe Di Battista, Fabrizio Frati,
On the complexity of orthogonal compaction maurizio patrignani univ. rome III.
Complexity 16-1 Complexity Andrei Bulatov Non-Approximability.
Complexity 11-1 Complexity Andrei Bulatov NP-Completeness.
Visual Analysis of Large Graphs Using (X, Y)-clustering and Hybrid Visualizations V. Batagelj, W. Didimo, G. Liotta, P. Palladino, M. Patrignani (Univ.
Computability and Complexity 15-1 Computability and Complexity Andrei Bulatov NP-Completeness.
1 Perfect Matchings in Bipartite Graphs An undirected graph G=(U  V,E) is bipartite if U  V=  and E  U  V. A 1-1 and onto function f:U  V is a perfect.
2-Layer Crossing Minimisation Johan van Rooij. Overview Problem definitions NP-Hardness proof Heuristics & Performance Practical Computation One layer:
Computability and Complexity 24-1 Computability and Complexity Andrei Bulatov Approximation.
Drawing of G. Planar Embedding of G Proposition Proof. 1. Consider a drawing of K 5 or K 3,3 in the plane. Let C be a spanning cycle. 2. If the.
Clique Cover Cook’s Theorem 3SAT and Independent Set
1 The Theory of NP-Completeness 2 NP P NPC NP: Non-deterministic Polynomial P: Polynomial NPC: Non-deterministic Polynomial Complete P=NP? X = P.
Graphs, relations and matrices
Complexity results for three-dimensional orthogonal graph drawing maurizio “titto” patrignani third university of rome graph drawing 2005.
Graph Coalition Structure Generation Maria Polukarov University of Southampton Joint work with Tom Voice and Nick Jennings HUJI, 25 th September 2011.
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.
Nattee Niparnan. Easy & Hard Problem What is “difficulty” of problem? Difficult for computer scientist to derive algorithm for the problem? Difficult.
1 Graph Searching and Search Time Franz J. Brandenburg and Stefanie Herrmann University of Passau.
Design Techniques for Approximation Algorithms and Approximation Classes.
Perfect Gaussian Elimination and Chordality By Shashank Rao.
Lecture 22 More NPC problems
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.
Fan-planar Graphs: Combinatorial Properties and Complexity results Carla Binucci, Emilio Di Giacomo, Walter Didimo, Fabrizio Montecchiani, Maurizio Patrignani,
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.
Week 10Complexity of Algorithms1 Hard Computational Problems Some computational problems are hard Despite a numerous attempts we do not know any efficient.
Complexity 25-1 Complexity Andrei Bulatov Counting Problems.
EMIS 8373: Integer Programming NP-Complete Problems updated 21 April 2009.
1/25 Visualizing Social Networks Ryan Yee. 2/25 Plan Introduction and terminology Vizster NodeTrix MatLink Applications to Multi-agent systems.
NP-Complete Problems. Running Time v.s. Input Size Concern with problems whose complexity may be described by exponential functions. Tractable problems.
Complexity results for three-dimensional orthogonal graph drawing maurizio patrignani third university of rome graph drawing dagstuhl
NP-Complete problems.
NP-completeness Section 7.4 Giorgi Japaridze Theory of Computability.
Advances on Testing C-Planarity of Embedded Flat Clustered Graphs Markus Chimani (Osnabrück University) Joint work with Guiseppe Di Battista (University.
Strings Basic data type in computational biology A string is an ordered succession of characters or symbols from a finite set called an alphabet Sequence.
NP-completeness NP-complete problems. Homework Vertex Cover Instance. A graph G and an integer k. Question. Is there a vertex cover of cardinality k?
NPC.
Complexity ©D.Moshkovits 1 2-Satisfiability NOTE: These slides were created by Muli Safra, from OPICS/sat/)
Complexity 24-1 Complexity Andrei Bulatov Counting Problems.
Indian Institute of Technology Kharagpur PALLAB DASGUPTA Graph Theory: Planarity Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT.
Non-LP-Based Approximation Algorithms Fabrizio Grandoni IDSIA
COSC 3101A - Design and Analysis of Algorithms 14 NP-Completeness.
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.
Computability Examples. Reducibility. NP completeness. Homework: Find other examples of NP complete problems.
The NP class. NP-completeness Lecture2. The NP-class The NP class is a class that contains all the problems that can be decided by a Non-Deterministic.
Presented By Ravindra Babu, Pentyala.  Real World Problem  What is Coloring  Planar Graphs  Vertex Coloring  Edge Coloring  NP Hard Problem  Problem.
TU/e Algorithms (2IL15) – Lecture 10 1 NP-Completeness, II.
NP-Completeness A problem is NP-complete if: It is in NP
The NP class. NP-completeness
COMPLEXITY THEORY IN PRACTICE
Computability and Complexity
More NP-complete Problems
Perfect Matchings in Bipartite Graphs
Computability and Complexity
Where Can We Draw The Line?
ICS 353: Design and Analysis of Algorithms
Complexity 6-1 The Class P Complexity Andrei Bulatov.
Clustered Planarity = Flat Clustered Planarity
NP-Complete Problems.
CSE 6408 Advanced Algorithms.
Planarity.
Chapter 10.7 Planar Graphs These class notes are based on material from our textbook, Discrete Mathematics and Its Applications, 8th ed., by Kenneth H.
CS21 Decidability and Tractability
CSE 589 Applied Algorithms Spring 1999
Agenda Review Lecture Content: Shortest Path Algorithm
Presentation transcript:

Computing NodeTrix Representations of Clustered Graphs 039-dht-06537-dht-03.ppt 537-dht-03.ppt Computing NodeTrix Representations of Clustered Graphs Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani Roma Tre University 1

NodeTrix Hybrid Representations NodeTrix combines node-link and matrix-based representations [Henry, Fekete, McGuffin, IEEE TVCG, 2007]

Crossings in NodeTrix Drawings Demo available at http://www.aviz.fr/Research/Nodetrix

NodeTrix Literature In order to reduce crossings and improve readability vertices may be allowed to have duplicates in different matrices [Henry, Bezerianos, Fekete, IEEE TVCG, 2008] clusters can be automatically computed so to have dense intra-cluster graphs and a planar inter-cluster graph [Batagelj, Brandenburg, Didimo, Liotta, Palladino, Patrignani, IEEE TVCG 2011]

Flat Clustered Graphs A flat clustered graph (V,E,C) is a graph (V,E) with a partition C of V into sets V1, …, Vk, called clusters An edge (u,v)∈E with u∈Vi and v∈Vj is an intra-cluster edge if i=j an inter-cluster edge if ij 12 1 11 2 10 13 3 9 intra-cluster edge 8 4 inter-cluster edge 6 5 7

NodeTrix Representations In a NodeTrix representation of a flat clustered graph (V,E,C) clusters V1, …, Vk are represented by non-overlapping symmetric adjacency matrices M1, …, Mk matrices M1, …,Mk convey the information about the intra-cluster edges of (V,E,C) each inter-cluster edge (u,v) with u∈Vi and v∈Vj is represented by a curve connecting a point on the border of Mi with a point on the border of Mj such points belong to the column or to the row of Mi and Mj associated with u and v

A NodeTrix Representation

NodeTrix Planarity A NodeTrix representation is planar if no inter-cluster edge e intersects any matrix Mi, except at an end-point of e no pair of inter-cluster edges cross each other, except possibly at a common end-point

Fixed Row/Column Order Complexity Results Complexity of deciding planarity for NodeTrix representations Free sides Fixed sides Free Row/Column Order NP-Complete Fixed Row/Column Order Linear

Fixed Order & Fixed Side Complexity Theorem NodeTrix Planarity with Fixed Order and Fixed Side can be solved in linear time reducible to constrained planarity solvable in linear time with known techniques [Gutwenger, Klein, Mutzel, JGAA 2008] M1 M2 M3 v1 v3 v2

Fixed Side Complexity Theorem Proof NodeTrix Planarity with Fixed Side is NP-complete even for instances with two clusters Proof reduction from Betweenness an instance is a collection of m ordered triplets of items {(a1,b1,c1), (a2,b2,c2),… , (am,bm,cm)} the target is to find a total order of the n items in which, for each of the given triplets, the middle item in the triplet appears somewhere between the other two items

NodeTrix Planarity with Fixed Sides 1 2 M1 M2 3

A More Practical Scenario The user places the matrices Inter-cluster edges have to be drawn in the convex hull of their incident matrices

Monotone NodeTrix Representations A monotone NodeTrix representation is a NodeTrix representation in which the matrices have prescribed positions the inter-cluster edges are represented by xy-monotone curves inside the convex hull of their incident matrices we require that this convex hull does not intersect any other matrix

Monotone Representations & Planarity A monotone NodeTrix representation is locally planar if no pair of inter-cluster edges attached to the same matrix cross allowed crossing forbidden crossing forbidden crossing

Local Planarity Complexity Results Complexity of deciding local planarity for monotone NodeTrix representations Free sides Fixed sides Free Row/Column Order NP-Complete Fixed Row/Column Order Polynomial (if the number of clusters is constant)

Monotone Fixed Order & Fixed Side Theorem Monotone NodeTrix Local Planarity with Fixed Order and Fixed Side can be solved in polynomial time Proof first, we prove that the instance is locally planar if and only if it admits a locally planar straight-line drawing second, we check such drawing for planarity

Monotone Fixed Order & Free Side Theorem Monotone NodeTrix Local Planarity with Fixed Order can be tested in |E|O(|C|2) time, where |C| is the number of clusters S-drawn edges Proof for each pair of adjacent clusters we guess one inter-cluster edge that could be S-drawn (if any) we construct a boolean 2SAT formula to describe feasible choices for the sides

Intuition of the Proof Let e be an S-drawn edge Any other edge admits at most two alternative drawings M1 M2 M1 M2 e e M1 M2 M1 M2 e e

An (unfeasible) polynomial heuristics For each pair of adjacent clusters guess one possible S-drawn edge Construct one instance of 2SAT for each of the |E|O(|C|2) guesses If one of the formulas admits a solution use it to draw the edges Otherwise, search for a solution to a MAX2SAT instance with some heuristics each false clause will correspond to a crossing

A more practical approach Forbid S-drawn edges altogether construct a single 2SAT formula that is satisfiable if and only if the edges can be drawn planarly otherwise, search for a solution of MAX2SAT with a greedy approach Demo available at: http://www.dia.uniroma3.it/~dalozzo/projects/matrix

Equivalent to “Bipartite Book-Embedding with Spine Crossings” Open Problems Monotone NodeTrix Planarity with Free Order and Free Side the case of two clusters Equivalent to “Bipartite Book-Embedding with Spine Crossings” What complexity??

How could we model this problem? Open Problems Monotone NodeTrix Planarity with Free Order and Free Side the case of two clusters How could we model this problem?

Thanks!