New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs

Similar documents
Some results on Interval probe graphs

Graph-Theoretic Algorithms Project Report. Trapezoid Graphs. Reza Dorrigiv February 2004

Triangle Graphs and Simple Trapezoid Graphs

W[1]-hardness. Dániel Marx. Recent Advances in Parameterized Complexity Tel Aviv, Israel, December 3, 2017

Tolerance Graphs and Orders. 1 Introduction and Overview. Stefan Felsner

Exponential time algorithms for the minimum dominating set problem on some graph classes

Max-Cut and Max-Bisection are NP-hard on unit disk graphs

Canonical Data Structure for Interval Probe Graphs

W[1]-hardness. Dániel Marx 1. Hungarian Academy of Sciences (MTA SZTAKI) Budapest, Hungary

Chordal deletion is fixed-parameter tractable

Graph Isomorphism Completeness for Chordal bipartite graphs and Strongly Chordal Graphs

Max-Cut and Max-Bisection are NP-hard on unit disk graphs

Necessary edges in k-chordalizations of graphs

9 About Intersection Graphs

Survey for Trapezoid Graphs

arxiv: v1 [cs.ds] 12 Jun 2011

Fixed Parameter Algorithms

Computing the K-terminal Reliability of Circle Graphs

Complexity Results on Graphs with Few Cliques

Approximating Node-Weighted Multicast Trees in Wireless Ad-Hoc Networks

Chordal Probe Graphs (extended abstract)

Finding a Tree 4-Spanner on Trapezoid Graphs

Parameterized graph separation problems

Parameterized Reductions

Durham Research Online

Algorithm design in Perfect Graphs N.S. Narayanaswamy IIT Madras

Parameterized coloring problems on chordal graphs

Chordal graphs MPRI

Linear Programming in Small Dimensions

Optimal Linear Arrangement of Interval Graphs

Chapter 1. Introduction. 1.1 Background and Motivation

arxiv: v1 [cs.dm] 24 Apr 2015

Approximation Algorithms for Geometric Intersection Graphs

A note on Baker s algorithm

Approximating Fault-Tolerant Steiner Subgraphs in Heterogeneous Wireless Networks

Graphs and Orders Cours MPRI

Coloring edges and vertices of graphs without short or long cycles

On the L(h, k)-labeling of Co-Comparability Graphs

Applied Mathematics Letters. Graph triangulations and the compatibility of unrooted phylogenetic trees

Forbidden subgraph characterization of bipartite unit probe interval graphs

Graph Classes: from Practice to Theory

REU Problems of the Czech Group

NP-Completeness. Algorithms

Contracting Chordal Graphs and Bipartite Graphs to Paths and Trees

Optimal Linear Arrangement of Interval Graphs

Equivalence of the filament and overlap graphs of subtrees of limited trees

A Constant-Factor Approximation Algorithm for Optimal Terrain Guarding

Efficient Algorithm for the Paired-Domination Problem in Convex Bipartite Graphs

Polygon Partitioning. Lecture03

COLORING EDGES AND VERTICES OF GRAPHS WITHOUT SHORT OR LONG CYCLES

Helly Property, Clique Graphs, Complementary Graph Classes, and Sandwich Problems

On median graphs and median grid graphs

The Full Survey on The Euclidean Steiner Tree Problem

2 The Mixed Postman Problem with Restrictions on the Arcs

Some Remarks on the Geodetic Number of a Graph

Hardness of Subgraph and Supergraph Problems in c-tournaments

The Parameterized Complexity of Finding Point Sets with Hereditary Properties

The Square Root Phenomenon in Planar Graphs

Geometric Unique Set Cover on Unit Disks and Unit Squares

Counting the Number of Eulerian Orientations

A note on self complementary brittle and self complementary quasi chordal graphs

The graph isomorphism problem on geometric graphs

Discrete Applied Mathematics

arxiv: v1 [cs.dm] 22 Jun 2012

CS 473: Algorithms. Ruta Mehta. Spring University of Illinois, Urbana-Champaign. Ruta (UIUC) CS473 1 Spring / 36

Graphs: Introduction. Ali Shokoufandeh, Department of Computer Science, Drexel University

Maximum colorful cliques in vertex-colored graphs

Linear Programming and its Applications

Flattening Fixed-Angle Chains Is Strongly NP-Hard

Contracting a chordal graph to a split graph or a tree

Hardness of r-dominating set on graphs of diameter (r + 1)

Finite Math Linear Programming 1 May / 7

Linear-Time Algorithms for Scattering Number and Hamilton-Connectivity of Interval Graphs

A NEW TEST FOR INTERVAL GRAPHS. Wen-Lian Hsu 1

The temporal explorer who returns to the base 1

ADJACENCY POSETS OF PLANAR GRAPHS

arxiv: v1 [cs.dc] 13 Oct 2008

LIST HOMOMORPHISMS AND BIPARTITE CO-CIRCULAR ARC GRAPHS

The 2-Tuple Domination Problem on Trapezoid Graphs

Bounded Degree Closest k-tree Power is NP-Complete

Algorithmic aspects of k-domination in graphs

Multiagent Graph Coloring: Pareto Efficiency, Fairness and Individual Rationality By Yaad Blum, Jeffrey S. Rosenchein

Parameterization. Michael S. Floater. November 10, 2011

Complexity results for Minimum Sum Edge Coloring

On the Max Coloring Problem

Let G = (V, E) be a graph. If u, v V, then u is adjacent to v if {u, v} E. We also use the notation u v to denote that u is adjacent to v.

Alternating Paths and Cycles of Minimum Length

Every DFS Tree of a 3-Connected Graph Contains a Contractible Edge

THE INDEPENDENCE NUMBER PROJECT:

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes

Forbidden-Set Labeling on Graphs

Recognition Algorithm for Probe Interval 2-Trees

Introduction to Graph Theory

Bar k-visibility Graphs

arxiv: v1 [cs.dm] 21 Dec 2015

On 2-Subcolourings of Chordal Graphs

On Exploring Temporal Graphs of Small Pathwidth

Closed orders and closed graphs

The problem of minimizing the elimination tree height for general graphs is N P-hard. However, there exist classes of graphs for which the problem can

Exact Algorithms Lecture 7: FPT Hardness and the ETH

Transcription:

New Geometric Representations and Domination Problems on Tolerance and Multitolerance Graphs Archontia Giannopoulou George B. Mertzios School of Engineering and Computing Sciences, Durham University, UK Algorithmic Graph Theory on the Adriatic Coast June 16 19, 2015 Koper, Slovenia George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 1 / 23

Intersection graphs Definition An undirected graph G = (V, E ) is called an intersection graph, if each vertex v V can be assigned to a set S v, such that two vertices of G are adjacent if and only if the corresponding sets have a nonempty intersection, i.e. E = {uv S u S v = }. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 2 / 23

Intersection graphs Definition An undirected graph G = (V, E ) is called an intersection graph, if each vertex v V can be assigned to a set S v, such that two vertices of G are adjacent if and only if the corresponding sets have a nonempty intersection, i.e. E = {uv S u S v = }. Definition A graph G is called an interval graph, if G is the intersection graph of a set of intervals on the real line. b c a d e b c a e d George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 2 / 23

Tolerance graphs Definition (Golumbic, Monma, 1982) A graph G = (V, E ) is called a tolerance graph, if there is a set I = {I v v V } of intervals and a set t = {t v v V } of positive numbers, such that uv E if and only if I u I v min{t u, t v }. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 3 / 23

Tolerance graphs Definition (Golumbic, Monma, 1982) A graph G = (V, E ) is called a tolerance graph, if there is a set I = {I v v V } of intervals and a set t = {t v v V } of positive numbers, such that uv E if and only if I u I v min{t u, t v }. I a I c a b d c I b I d 0 1 2 3 4 5 6 7 8 9 10 t a = t c = 1 t b = 8 t d = 7 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 3 / 23

Tolerance graphs Definition (Golumbic, Monma, 1982) A graph G = (V, E ) is called a tolerance graph, if there is a set I = {I v v V } of intervals and a set t = {t v v V } of positive numbers, such that uv E if and only if I u I v min{t u, t v }. Definition A vertex v of a tolerance graph G = (V, E ) with a tolerance representation I, t is called a bounded vertex, if t v I v. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 3 / 23

Tolerance graphs Definition (Golumbic, Monma, 1982) A graph G = (V, E ) is called a tolerance graph, if there is a set I = {I v v V } of intervals and a set t = {t v v V } of positive numbers, such that uv E if and only if I u I v min{t u, t v }. Definition A vertex v of a tolerance graph G = (V, E ) with a tolerance representation I, t is called a bounded vertex, if t v I v. Otherwise, if t v > I v, v is called an unbounded vertex. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 3 / 23

Multitolerance graphs Motivation and definition Tolerance graphs have important applications [Golumbic, Trenk, Tolerance graphs, 2004]: biology and bioinformatics (comparison of DNA sequences between organisms, e.g. in BLAST software) George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 4 / 23

Multitolerance graphs Motivation and definition Tolerance graphs have important applications [Golumbic, Trenk, Tolerance graphs, 2004]: biology and bioinformatics (comparison of DNA sequences between organisms, e.g. in BLAST software) interval DNA sub-sequence tolerance permissible number of errors George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 4 / 23

Multitolerance graphs Motivation and definition Tolerance graphs have important applications [Golumbic, Trenk, Tolerance graphs, 2004]: biology and bioinformatics (comparison of DNA sequences between organisms, e.g. in BLAST software) interval DNA sub-sequence tolerance permissible number of errors temporal reasoning, resource allocation, scheduling... George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 4 / 23

Multitolerance graphs Motivation and definition Tolerance graphs have important applications [Golumbic, Trenk, Tolerance graphs, 2004]: biology and bioinformatics (comparison of DNA sequences between organisms, e.g. in BLAST software) interval DNA sub-sequence tolerance permissible number of errors temporal reasoning, resource allocation, scheduling... In applications of BLAST, some genomic regions may be: biologically less significant, or George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 4 / 23

Multitolerance graphs Motivation and definition Tolerance graphs have important applications [Golumbic, Trenk, Tolerance graphs, 2004]: biology and bioinformatics (comparison of DNA sequences between organisms, e.g. in BLAST software) interval DNA sub-sequence tolerance permissible number of errors temporal reasoning, resource allocation, scheduling... In applications of BLAST, some genomic regions may be: biologically less significant, or more error prone than others = we want to treat several genomic parts non-uniformly. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 4 / 23

Multitolerance graphs Motivation and definition Multitolerance graphs: t 1 t 2 I = [l, r] : l l t r t r from left and right: different tolerances. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 5 / 23

Multitolerance graphs Motivation and definition Multitolerance graphs: t 1 t 2 I = [l, r] : l l t r t r from left and right: different tolerances. in the interior part: tolerate a convex combination of t 1 and t 2. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 5 / 23

Multitolerance graphs Motivation and definition Multitolerance graphs: t 1 t 2 I = [l, r] : l l t r t r Formally: I(I, l t, r t ) = {λ [l, l t ] + (1 λ) [r t, r] : λ [0, 1]} (convex hull of [l, l t ] and [r t, r]) George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 6 / 23

Multitolerance graphs Motivation and definition Multitolerance graphs: t 1 t 2 I = [l, r] : l l t r t r Formally: I(I, l t, r t ) = {λ [l, l t ] + (1 λ) [r t, r] : λ [0, 1]} (convex hull of [l, l t ] and [r t, r]) Set τ of tolerance intervals of I : either τ = I(I, l t, r t ) for two values l t, r t I (bounded case), George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 6 / 23

Multitolerance graphs Motivation and definition Multitolerance graphs: t 1 t 2 I = [l, r] : l l t r t r Formally: I(I, l t, r t ) = {λ [l, l t ] + (1 λ) [r t, r] : λ [0, 1]} (convex hull of [l, l t ] and [r t, r]) Set τ of tolerance intervals of I : either τ = I(I, l t, r t ) for two values l t, r t I (bounded case), or τ = R (unbounded case). George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 6 / 23

Multitolerance graphs Motivation and definition Multitolerance graphs: t 1 t 2 I = [l, r] : l l t r t r Formally: I(I, l t, r t ) = {λ [l, l t ] + (1 λ) [r t, r] : λ [0, 1]} (convex hull of [l, l t ] and [r t, r]) Set τ of tolerance intervals of I : either τ = I(I, l t, r t ) for two values l t, r t I (bounded case), or τ = R (unbounded case). In a multitolerance graph G = (V, E ), uv E whenever: there exists a tolerance-interval Q u τ u such that Q u I v, or there exists a tolerance-interval Q v τ v such that Q v I u. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 6 / 23

Complete classification in the hierarchy of perfect graphs perfect alternately orientable weakly chordal co-perfectly orderable multitolerance cocomparability tolerance bounded multitolerance trapezoid bounded tolerance parallelogram [Golumbic, Trenk, Tolerance Graphs, 2004] [Mertzios, SODA, 2011; Algorithmica, 2014] George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 7 / 23

Tolerance and multitolerance graphs Several NP-complete problems are known to be polynomially solvable on tolerance / multitolerance graphs George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 8 / 23

Tolerance and multitolerance graphs Several NP-complete problems are known to be polynomially solvable on tolerance / multitolerance graphs Some (few) algorithms used the (multi)tolerance representation: [Parra, Discr. Appl. Math., 1998] [Golumbic, Siani, AISC, 2002] [Golumbic, Trenk, Tolerance Graphs, 2004] Most followed by the containment in weakly chordal / perfect graphs George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 8 / 23

Tolerance and multitolerance graphs Several NP-complete problems are known to be polynomially solvable on tolerance / multitolerance graphs Some (few) algorithms used the (multi)tolerance representation: [Parra, Discr. Appl. Math., 1998] [Golumbic, Siani, AISC, 2002] [Golumbic, Trenk, Tolerance Graphs, 2004] Most followed by the containment in weakly chordal / perfect graphs It seems to be essential to assume (some) given representation: Tolerance graphs are NP-complete to recognize [Mertzios, Sau, Zaks, STACS, 2010; SIAM J. Comp., 2011] Recognition of multitolerance graphs: Open! George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 8 / 23

Tolerance and multitolerance graphs Previously known models Succinct intersection models are known for: bounded tolerance graphs (parallelogram representation) [Langley, PhD, 1993; Bogart et al., Discr. Appl. Math., 1995] George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 9 / 23

Tolerance and multitolerance graphs Previously known models Succinct intersection models are known for: bounded tolerance graphs (parallelogram representation) [Langley, PhD, 1993; Bogart et al., Discr. Appl. Math., 1995] bounded multitolerance graphs (trapezoid representation) [Parra, Discr. Appl. Math., 1998] George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 9 / 23

Tolerance and multitolerance graphs Previously known models Succinct intersection models are known for: bounded tolerance graphs (parallelogram representation) [Langley, PhD, 1993; Bogart et al., Discr. Appl. Math., 1995] bounded multitolerance graphs (trapezoid representation) [Parra, Discr. Appl. Math., 1998] general tolerance graphs (3D-parallelepiped representation) [Mertzios, Sau, Zaks, SIAM J. Discr. Math., 2009] George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 9 / 23

Tolerance and multitolerance graphs Previously known models Succinct intersection models are known for: bounded tolerance graphs (parallelogram representation) [Langley, PhD, 1993; Bogart et al., Discr. Appl. Math., 1995] bounded multitolerance graphs (trapezoid representation) [Parra, Discr. Appl. Math., 1998] general tolerance graphs (3D-parallelepiped representation) [Mertzios, Sau, Zaks, SIAM J. Discr. Math., 2009] general multitolerance graphs (3D-trapezoepiped representation) [Mertzios, SODA, 2011; Algorithmica, 2014] George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 9 / 23

Tolerance and multitolerance graphs Previously known models Succinct intersection models are known for: bounded tolerance graphs (parallelogram representation) [Langley, PhD, 1993; Bogart et al., Discr. Appl. Math., 1995] bounded multitolerance graphs (trapezoid representation) [Parra, Discr. Appl. Math., 1998] general tolerance graphs (3D-parallelepiped representation) [Mertzios, Sau, Zaks, SIAM J. Discr. Math., 2009] general multitolerance graphs (3D-trapezoepiped representation) [Mertzios, SODA, 2011; Algorithmica, 2014] These representations enabled the design of algorithms: for clique, coloring, independent set,... in most cases with (optimal) O(n log n) running time George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 9 / 23

Tolerance and multitolerance graphs Previously known models In spite of research in the area since [Golumbic, Monma, 1982]: a few problems remained open for (multi)tolerance graphs Dominating Set, Hamiltonian Cycle [Spinrad, Efficient Graph Representations, 2003] George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 9 / 23

Tolerance and multitolerance graphs Previously known models In spite of research in the area since [Golumbic, Monma, 1982]: a few problems remained open for (multi)tolerance graphs Dominating Set, Hamiltonian Cycle [Spinrad, Efficient Graph Representations, 2003] both these problems are: NP-complete on weakly chordal graphs [Booth, Johnson, SIAM J. Computing, 1982] [Müller, Discr. Math, 1996] polynomial on bounded (multi)tolerance (and cocomparability) graphs [Kratsch, Stewart, SIAM J. Discr. Math, 1993] [Deogun, Steiner, SIAM J. Computing, 1994] the known models do not provide (enough) insight for these problems new models are needed! George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 9 / 23

Our results New geometric representations: shadow representation for multitolerance graphs special case: horizontal shadow representation for tolerance graphs George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 10 / 23

Our results New geometric representations: shadow representation for multitolerance graphs special case: horizontal shadow representation for tolerance graphs Applications of these new models: Dominating Set is APX-hard on multitolerance graphs (i.e. no PTAS unless P = NP) Dominating Set is polynomially solvable on tolerance graphs Independent Dominating Set is polynomially solvable on multitolerance graphs (by a sweep-line algorithm) George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 10 / 23

Our results New geometric representations: shadow representation for multitolerance graphs special case: horizontal shadow representation for tolerance graphs Implications of the new representations: we can reduce optimization problems on these graphs to problems in computational geometry Dominating Set is the first problem with different complexity in tolerance & multitolerance graphs surprising dichotomy result useful for sweep-line algorithms George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 10 / 23

Bounded multitolerance graphs Lemma (Parra, 1998) Bounded multitolerance graphs coincide with trapezoid graphs. tv1 tv2 av cv dv bv cv T v bv L1 av tv1 dv L2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 11 / 23

Bounded multitolerance graphs Lemma (Parra, 1998) Bounded multitolerance graphs coincide with trapezoid graphs. tv1 tv2 av cv dv bv cv T v bv L1 av dv L2 tv1 tv2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 11 / 23

Bounded multitolerance graphs Lemma (Parra, 1998) Bounded multitolerance graphs coincide with trapezoid graphs. tv1 tv2 av cv dv bv cu T u cv bu T v bv L1 tu1 tu2 au du av dv L2 au cu du bu tv1 tv2 tu2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 11 / 23

Bounded multitolerance graphs Lemma (Parra, 1998) Bounded multitolerance graphs coincide with trapezoid graphs. tv1 tv2 av cv dv bv cu T u cv bu T v bv L1 tu1 tu2 au du av dv L2 au cu du bu tv1 tv2 tu2 Theorem (Langley 1993; Bogart et al. 1995) Bounded tolerance graphs coincide with parallelogram graphs. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 11 / 23

Bounded multitolerance graphs Lemma (Parra, 1998) Bounded multitolerance graphs coincide with trapezoid graphs. tv1 tv2 av cv dv bv cu T u cv bu T v bv L1 tu1 tu2 au du av dv L2 au cu du bu tv1 tv2 tu2 Theorem (Langley 1993; Bogart et al. 1995) Bounded tolerance graphs coincide with parallelogram graphs. tv tv tu av tu cv dv bv cu P u cv bu P v bv L1 au cu du bu au du av tv dv L2 tu George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 11 / 23

The trapezoepiped representation A 3D-intersection model for multitolerance graphs bounded vertices 3D-trapezoepipeds T v5 T v6 T v2 T v3 T v4 T v1 T v7 L 1 z y L 2 x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 12 / 23

The trapezoepiped representation A 3D-intersection model for multitolerance graphs bounded vertices 3D-trapezoepipeds unbounded vertices lifted line segments T v5 T v6 T v2 T v3 T v4 T v1 T v7 L 1 z y L 2 x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 12 / 23

The trapezoepiped representation A 3D-intersection model for multitolerance graphs bounded vertices 3D-trapezoepipeds unbounded vertices lifted line segments an intersection model for multitolerance graphs: [Mertzios, SODA, 2011; Algorithmica, 2014] T v5 T v6 T v2 T v3 T v4 T v1 T v7 L 1 z y L 2 x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 12 / 23

The trapezoepiped representation A 3D-intersection model for multitolerance graphs Special case: parallelepiped representation for tolerance graphs: [Mertzios, Sau, Zaks, SIAM J. Discr. Math., 2009] aaa aaa P v P w φ v φ u φ w P u L 1 z y L 2 x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 12 / 23

The shadow representation All information is captured by the intersection of every 3D-object with the plane y = 0 z x z y x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 13 / 23

The shadow representation All information is captured by the intersection of every 3D-object with the plane y = 0 Associate to every bounded vertex u: a line segment L u on the plane z x z y x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 13 / 23

The shadow representation All information is captured by the intersection of every 3D-object with the plane y = 0 Associate to every bounded vertex u: a line segment L u on the plane Associate to unbounded vertex v: a point p v on the plane z x z y x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 13 / 23

The shadow representation All information is captured by the intersection of every 3D-object with the plane y = 0 Associate to every bounded vertex u: a line segment L u on the plane Associate to unbounded vertex v: a point p v on the plane z x z y x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 13 / 23

The shadow representation Definition The shadow representation of a multitolerance graph G is a tuple (P, L): P is the set of all points p v and L is the set of all line segments L u z z y x x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 13 / 23

The shadow representation Definition The shadow representation of a multitolerance graph G is a tuple (P, L): P is the set of all points p v and L is the set of all line segments L u Special case: tolerance graphs parallelepipeds horizontal line segments horizontal shadow representation z z y x x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 13 / 23

The shadow representation Definition The shadow representation of a multitolerance graph G is a tuple (P, L): P is the set of all points p v and L is the set of all line segments L u Question: How do we interpret adjacencies in such a representation? George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 13 / 23

The shadow representation Definition The shadow representation of a multitolerance graph G is a tuple (P, L): P is the set of all points p v and L is the set of all line segments L u Question: How do we interpret adjacencies in such a representation? Answer: We exploit the shadows of the line segments and the points. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 13 / 23

The shadow representation Definition (shadow) For a point t = (t x, t y ) R 2 the shadow of t is the region S t = {(x, y) R 2 : x t x, y x t y t x }. p u,1 t L u S t S Lu p u,2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 14 / 23

The shadow representation Definition (shadow) For a point t = (t x, t y ) R 2 the shadow of t is the region S t = {(x, y) R 2 : x t x, y x t y t x }. For every line segment L u the shadow of L u is the region S Lu = t L u S t. p u,1 t L u S t S Lu p u,2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 14 / 23

The shadow representation The shadows capture all adjacencies: Lemma Let G = (V, E ) be a multitolerance graph and u, v be bounded vertices. Then uv E if and only if L v S Lu = or L u S Lv =. uv E : uv / E : L v L u L v L u S Lv S Lu S Lv S Lu George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 14 / 23

The shadow representation The shadows capture all adjacencies: Lemma Let G = (V, E ) be a multitolerance graph and u, v be bounded vertices. Then uv E if and only if L v S Lu = or L u S Lv =. uv E : uv / E : L v L u L v L u S Lv S Lu S Lv S Lu George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 14 / 23

The shadow representation The shadows capture all adjacencies: Lemma Let G = (V, E ) be a multitolerance graph, u be a bounded vertex and v be an unbounded vertex. Then uv E if and only if p v S Lu. uv E : uv / E : p v p v S Lu L u S Lu L u George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 14 / 23

The shadow representation The shadows capture all adjacencies: Lemma Let G = (V, E ) be a multitolerance graph, u be a bounded vertex and v be an unbounded vertex. Then uv E if and only if p v S Lu. uv E : uv / E : p v p v S Lu L u S Lu L u George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 14 / 23

The shadow representation Main idea for the adjacencies: uv / E : z L u L v x z y x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 15 / 23

The shadow representation Main idea for the adjacencies: uv / E : z L u L v x z y x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 15 / 23

The shadow representation Main idea for the adjacencies: uv E : z L u L v x z y x George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 15 / 23

The shadow representation Main idea for the adjacencies: uv E : z L u L v x z y x Observation The shadow representation is not an intersection model. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 15 / 23

Inevitable vertices Definition Let v be an unbounded vertex of a multitolerance graph G (in a certain trapezoepiped representation). If making v a bounded vertex creates a new edge in G, then v is called inevitable. T v5 T v6 T v2 T v3 T v4 T v1 T v7 L 1 L 2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 16 / 23

Inevitable vertices Definition Let v be an unbounded vertex of a multitolerance graph G (in a certain trapezoepiped representation). If making v a bounded vertex creates a new edge in G, then v is called inevitable. Otherwise, v is called evitable. T v5 T v6 T v2 T v3 T v4 T v1 T v7 L 1 L 2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 16 / 23

Inevitable vertices Definition Let v be an inevitable unbounded vertex of a multitolerance graph G (in a certain trapezoepiped representation). A vertex u is called a hovering vertex of v if T v lies above T u. a T v5 T v6 T v2 T v3 T v4 T v1 T v7 L 1 L 2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 16 / 23

Inevitable vertices In a shadow representation: Lemma Let v be an inevitable unbounded vertex. Then a vertex u is a hovering vertex of v if and only if: L u S v = (when u is bounded) u is a hovering vertex of v: p v p v L u p u S Lu George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 17 / 23

Inevitable vertices In a shadow representation: Lemma Let v be an inevitable unbounded vertex. Then a vertex u is a hovering vertex of v if and only if: L u S v = (when u is bounded) p u S v (when u is unbounded) u is a hovering vertex of v: p v p v L u p u S Lu George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 17 / 23

Canonical trapezoepiped representations Definition A trapezoepiped representation of a multitolerance graph G is called canonical if every unbounded vertex is inevitable. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 18 / 23

Canonical trapezoepiped representations Definition A trapezoepiped representation of a multitolerance graph G is called canonical if every unbounded vertex is inevitable. Theorem (Mertzios, SODA, 2011; Algorithmica, 2014) Given a trapezoepiped representation of a multitolerance graph G, a canonical representation of G can be computed in O(n log n) time. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 18 / 23

Canonical trapezoepiped representations Definition A trapezoepiped representation of a multitolerance graph G is called canonical if every unbounded vertex is inevitable. Theorem (Mertzios, SODA, 2011; Algorithmica, 2014) Given a trapezoepiped representation of a multitolerance graph G, a canonical representation of G can be computed in O(n log n) time. Definition A shadow representation of a multitolerance graph G is called canonical if it can be obtained by a canonical trapezoepiped representation. In the algorithms: it is useful to assume canonical representations George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 18 / 23

Dominating set on tolerance graphs W.l.o.g. we assume: a connected tolerance graph a canonical horizontal shadow representation George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 19 / 23

Dominating set on tolerance graphs W.l.o.g. we assume: a connected tolerance graph a canonical horizontal shadow representation Lemma If an unbounded vertex v is in a minimum dominating set S, then w.l.o.g.: S does not contain any neighbor of v, S does not contain any hovering vertex of v. George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 19 / 23

Dominating set on tolerance graphs W.l.o.g. we assume: a connected tolerance graph a canonical horizontal shadow representation Lemma If an unbounded vertex v is in a minimum dominating set S, then w.l.o.g.: S does not contain any neighbor of v, S does not contain any hovering vertex of v. Therefore: an unbounded vertex v in the solution cuts the representation into left and right dynamic programming, using the position of the unbounded vertices George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 19 / 23

Dominating set on tolerance graphs Dynamic programming: L z L z r z r z p q p 1 p 2 p q l w l w L w L w L i L i r i r i p j remaining solution only unbounded only bounded last unbounded (so far) George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 20 / 23

Dominating set on tolerance graphs Dynamic programming: L z L z r z r z p q p 1 p 2 p q l w l w L w L w L i L i r i r i p j remaining solution only unbounded only bounded last unbounded (so far) George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 20 / 23

Dominating set on tolerance graphs Dynamic programming: L z L z r z r z p q p 1 p 2 p q l w l w L w L w L i L i r i r i p j remaining solution only unbounded only bounded last unbounded (so far) George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 20 / 23

Dominating set on tolerance graphs Dynamic programming: L z L z r z r z p q p 1 p 2 p q l w l w L w L w L i L i r i r i p j remaining solution only unbounded only bounded last unbounded (so far) George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 20 / 23

Dominating set on tolerance graphs Dynamic programming: L z L z r z r z p q p 1 p 2 p q l w l w L w L w L i L i r i r i p j Separate dynamic programming: bounded dominating set use only bounded remaining only vertices unbounded to dominate the (sub)graph last unbounded solution only bounded specifying the leftmost and rightmost bounded vertices (so far) not always possible to find a feasible solution! George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 20 / 23

Dominating set on multitolerance graphs On a general (non-horizontal) shadow representation: domination set is APX-hard reduction from Special 3-Set Cover (special case of the set cover problem) heavily use the different slopes of the line segments the spirit of the reduction is inspired from: [Chan, Grant, Comp. Geometry, 2014] p zt p wt p xt p yt p ai p aj L 5m+1 L5m+2 George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 21 / 23

Dominating set on multitolerance graphs On a general (non-horizontal) shadow representation: domination set is APX-hard reduction from Special 3-Set Cover (special case of the set cover problem) heavily use the different slopes of the line segments the spirit of the reduction is inspired from: [Chan, Grant, Comp. Geometry, 2014] In contrast to dominating set: independent dominating set is polynomial on multitolerance graphs Sweep line algorithm from right to left George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 21 / 23

Open problems Can we significantly improve the time complexity of dominating set on tolerance graphs? George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 22 / 23

Open problems Can we significantly improve the time complexity of dominating set on tolerance graphs? Can we solve in polynomial time the Hamiltonian Path / Cycle problems: on tolerance graphs? on multitolerance graphs? George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 22 / 23

Open problems Can we significantly improve the time complexity of dominating set on tolerance graphs? Can we solve in polynomial time the Hamiltonian Path / Cycle problems: on tolerance graphs? on multitolerance graphs? Recognition of multitolerance graphs? George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 22 / 23

Open problems Can we significantly improve the time complexity of dominating set on tolerance graphs? Can we solve in polynomial time the Hamiltonian Path / Cycle problems: on tolerance graphs? on multitolerance graphs? Recognition of multitolerance graphs? recognition of trapezoid graphs polynomial recognition of tolerance and bounded tolerance (parallelogram) graphs NP-complete [Mertzios, Sau, Zaks, STACS, 2010; SIAM J. Comp., 2011] George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 22 / 23

Open problems Can we significantly improve the time complexity of dominating set on tolerance graphs? Can we solve in polynomial time the Hamiltonian Path / Cycle problems: on tolerance graphs? on multitolerance graphs? Recognition of multitolerance graphs? recognition of trapezoid graphs polynomial recognition of tolerance and bounded tolerance (parallelogram) graphs NP-complete [Mertzios, Sau, Zaks, STACS, 2010; SIAM J. Comp., 2011] Recognition of unit / proper (multi)tolerance graphs? George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 22 / 23

Thank you for your attention! George Mertzios (Durham) Dominating Set on (multi)tolerance graphs AGTAC 2015 23 / 23