Triangle-Free Planar Graphs as Segments Intersection Graphs

Size: px
Start display at page:

Download "Triangle-Free Planar Graphs as Segments Intersection Graphs"

Transcription

1 Triangle-ree Planar Graphs as Segments Intersection Graphs N. de Castro 1,.J.Cobos 1, J.C. Dana 1,A.Márqez 1, and M. Noy 2 1 Departamento de Matemática Aplicada I Universidad de Sevilla, Spain {natalia,cobos,dana,almar}@cica.es 2 Dpto. de Matemática Aplicada II Universitat Politècnica de Catalnya, Spain noy@grec.pc.es Abstract. We prove that every triangle-free planar graph is the graph of intersection of a set of segments in the plane. Moreover, the segments can be chosen in only three directions (horizontal, vertical and obliqe) and in sch a way that no two segments cross, i.e., intersect in a common interior point. 1 Introdction Given a set S of segments in the plane, its intersection graph has a vertex for every segment and two vertices are adjacent if the corresponding segments intersect. Intersection graphs of segments and other geometrical objects have been widely stdied in the past. or instance, if the segments are contained in a straight line then we have the interval graphs [4], a well-known family of perfect graphs. If the segments are chords of a circle then the intersection graph is called a circle graph, see for instance [6,8]. In the general case, there is no satisfactory characterization, bt some reslts are known for planar graphs. The most interesting one is de to de raysseix, Osona de Mendez and Pach [3], and independently to Ben-Arroyo Hartman, Newman and Ziv [2], which says that every planar bipartite graph is the intersection graph of a set of horizontal and vertical segments (on the other hand, it is known that the recognition of sch graphs is an NP-complete problem [5]). This reslt provides a partial answer to a qestion of Scheinerman [7]: is every planar graph the intersection graph of a set of segments in the plane? The main reslt in this paper, which is a significant extension of [3], is that every triangle-free planar graph is the intersection graph of a family of segments. Moreover, the segments can be drawn in only three directions and in sch a way that they do not cross. This particlar class of intersection graphs is also known as contact graphs. We call sch a representation a segment representation of the graph. Partially spported by DGES-MEC-PB C02 J. Kratochvíl (Ed.): GD 99, LNCS 1731, pp , c Springer-Verlag Berlin Heidelberg 1999

2 342 N. de Castro et al. A key point in or proof is Grötszch s Theorem [9], which garantees that every planar triangle-free graph is 3-colorable. The sketch of the proof is as follows. Given a triangle-free plane graph G, adding new vertices and (indced) paths between the vertices of G we can obtain a new triangle-free plane graph which is a sbdivision of a 3-connected graph. Starting with a 3-coloring, a segment representation in three directions is obtained for this new graph sing several technical lemmas. inally, removing the dmmy vertices and paths, we obtain a segment representation of the graph G. The three directions considered are horizontal, vertical and obliqe (parallel to the bisector of the second qadrant of the plane). o1 v1 h1 h1 v2 o2 v5 v3 v4 o2 v5 v1 v2 v3 v4 h3 h2 h5 h4 h3 h2 o1 h4 o3 v7 v6 h6 o3 h5 v6 v7 h6 ig. 1. A segment representation of a planar graph. 2 Convex aces with Three Directions Let I G be a segment representation of a plane graph G. Asegment path of length n is a seqence of segments P = {s 1,...,s n } sch that segment s i is adjacent to s i 1 and s i+1 for 1 <i<n. The representation I G divides the plane into regions that we call faces of the representation and which correspond to the faces of G. A face of a segment representation is convex if its bondary can be divided into for paths (clockwise) P 1, P 2, P 3 and P 4 sch that if s is a segment with extremes in the points (x 1,y 1 ) and (x 2,y 2 ) then: 1. if s is in P 1, then x 1 <x 2 if s is horizontal, y 1 >y 2 if s is vertical and x 1 <x 2 and y 1 >y 2 if s is obliqe; 2. if s is in P 2, then x 1 >x 2 if s is horizontal, y 1 >y 2 if s is vertical and x 1 >x 2 and y 1 <y 2 if s is obliqe; 3. if s is in P 3, then x 1 >x 2 if s is horizontal, y 1 <y 2 if s is vertical and x 1 >x 2 and y 1 <y 2 if s is obliqe; 4. if s is in P 4, then x 1 <x 2 if s is horizontal, y 1 <y 2 if s is vertical and x 1 <x 2 and y 1 >y 2 if s is obliqe.

3 Triangle-ree Planar Graphs as Segments Intersection Graphs 343 It can be seen that the partition of a convex face into P 1, P 2, P 3 and P 4 is not niqe, for instance in the example of igre 2 the first segment of P 1 cold be in P 4. If the segments s 1,...,s n are the intersection between two convex faces and G, we will assign those segments to only one path in each face, following the newt rle: if this segments belongs to P 1 in, then they belongs to P 3 in G and reciprocally. Analogosly if they belongs to P 2 in, then they are in P 4 of G and reciprocally. This rle alow s to fix the partition of a convex face into the for paths depending on the adjacent faces if the partition is not niqe. P 4 P 1 P 3 P 2 Convex ace Non Convex ace ig. 2. The for paths of a convex face. Lemma 1. Let I G be a segment representation of a plane graph G sch that all its faces are convex, let k be a positive real nmber and let s be a segment of length l in a face of I G. Then, I G can be transformed into another segment representation I G satisfying: 1. I G and I G have the same faces and face bondaries as G, and the faces of I G are convex; 2. the length of s in I G is k + l; 3. at most two segments of (other than s) have different length in I G and I G. Proof. Let P 1, P 2, P 3 and P 4 denote the paths which make convex. Call the pper part (the lower part) of the face the nion of the paths P 4 and P 1 (P 2 and P 3, respectively). Similarly, the right part (the left part) is the nion of the paths P 1 and P 2 (P 3 and P 4, respectively). The proof is by indction on the nmber of faces of the graph G. Sppose that I G is jst the cycle and let s be the segment of we want to enlarge. Withot loss of generality we can sppose that s is a horizontal segment. If s is in the pper part of, we seek another horizontal segment s in the lower part of. If there exists sch a segment, we enlarge s and s by the same amont and we make a translation of all the segments between s and s, transforming into other convex face (see igre 3). Otherwise, there mst exist a vertical segment s and an obliqe segment s in the lower part of, becase the bondary of is a closed path. In this case, we increase the length of s, s and s and we make a translation of the rest of the segments (see igre 3).

4 344 N. de Castro et al. According to the above remark, we sppose in the rest of the proof that there exists a segment parallel to s in the opposite part of. Sppose now that I G has two convex faces and sharing the segments s 1,...,s n. irst of all, by the convexity of and, observe that if s 1,...,s n are segments of P 1 (P 2 ), then s 1,...,s n form part of P 3 (P 4, respectively). Ths, sppose that s 1,...,s n belong to P 1 in and to P 3 in.ifsis in the pper part of, we seek another horizontal segment s in the lower part of and we proceed as before, increasing the length of s and s. (a) (b) ig. 3. How to enlarge a segment of a convex face by any amont, (a) sing parallel segments or (b) sing three segments. Obviosly, if s is not one of the s i, the transformation in does not affect the segments of. Bt, if s is one of the s i then, on accont of the first case, we consider a horizontal segment s in the lower part of and a horizontal segment s in the pper part of. Increasing the length of s, s and s, and making a translation of all the segments of between s and s, and all the segments of between s and s, we obtain a new segment representation with the same convex faces as I G. Sppose now that I G has n convex faces, 1,..., n, and let s be a segment of a face n, where n lies in the oter face of I G, i.e., the vertices v 1,...,v k of G, corresponding to the segments s 1,...,s k of n, lie on the oter face, and v 2,...,v k 1 are of degree two. Let s consider the graph G 1 = G {v 2,...,v k 1 }. Removing the segments of I G corresponding to v 2,...,v k 1, we obtain a segment representation I G1 of G 1. Since I G1 has n 1 faces, we can transform its segment representation into another representation which has the same convex faces, enlarging in any amont some of the segments. To obtain this new representation, we have to enlarge other segments in I G1 besides s, bt we have preserved the strctre of the segments in the representation, so we are able to represent again the segments corresponding to v 2,...,v k 1 enlarging the length of one (or two) of them if necessary, obtaining a segment representation of G.

5 Triangle-ree Planar Graphs as Segments Intersection Graphs Triangle-ree Graphs Using the reslts of Barnette in [1], it can be dedced easily that every planar triangle-free graph which is a sbdivision of a 3-connected graph can be redced, by deleting edges and paths with internal vertices of degree two, to a sbdivision of the complete graph K 4 in sch a way that in each step we have a sbdivision of a 3-connected graph. Moreover, if we fix a sbgraph of G which is a sbdivision of K 4, G can be redced, by deleting edges and paths, to this sbgraph. This reslt will allow s to bild a segment representation in three directions of sbdivisions of 3-connected graphs as follows. irstly we bild a segment representation of a sbdivision of K 4 and then insert, in reverse order, the edges and paths that were removed to obtain from G the sbdivision of K 4. In order to do this, we need two basic operations: (1) insert a path between two segments of the same face and (2) join two segments of the same face. The second operation is, at least, as difficlt as the first one, so we will concentrate only in the second operation. We can see, sing Lemma 1, that by enlarging some segments, a segment representation with convex faces can be transformed into another one preserving the topology of the embedding. Bt this is not sfficient to carry on the second operation, so we need another kind of transformation. ixing an index i and changing the drawing of the segments of the path P i of a face, it is possible to draw a new convex face where the segments that were in P i belong now to P i+1 or P i 1. The rest of the paths of only change in the length of some of the segments (see igre 4). P4 P1 P4' P1' a b c ' c b a P3 P2 P3' P2' ig. 4. How to restrctre a face throgh the path P 1. In the segment representation, the change of the face to prodces some changes in the faces adjacent to along the path P i, and we obtain another segment representation with convex faces as in the proof of Lemma 1 (see igre 5). When we change the drawing in the manner described above, we say that the face is restrctred throgh the path P i. We need at this point some new definitions. Given a 3-colored plane graph G with colors {h, o, v}, a path P = { 1,..., n } of G is rare if it verifies one of the following conditions:

6 346 N. de Castro et al. ig. 5. How to restrctre the faces adjacents to the restrctred face. Case 1. 1 is colored as h, 2 as o, and n as v. Case 2. 1 is colored as v, n 1 as h, and n as o. Case 3. 1 is colored as h, 2 as o, n 1 as h, and n as o. Case 4. 1 is colored as o, 2 as v, n 1 as v, and n as h. A face of a graph is called rare if there exists a path P i, with i =1,...,4, containing a rare sbpath. We say that a rare face is repaired if we sbdivide its rare path with a new vertex colored as v between 1 and 2 in the first and the third case, and between n 1 and n in the second case, or a new vertex colored as h between 1 and 2 in the forth case. On the other hand, notice that the vertical segments (except the last segment of P 1 and the last of P 3 ) can be extended to the interior of a convex face, the horizontal segments too if they are in P 1 or P 3 (except the first of P 1 and the first of P 3 ), and the obliqe segments if they are in P 2 or P 4 (except the first one of P 1 and P 3, and the last one of P 1 and P 3 ). Moreover, the horizontal segments in P 2 or P 4 can be extended to the interior of if there is a vertical segment to the right or an obliqe segment to the left of them; and the obliqe segments in P 1 or P 3 can be extended to the interior of if there is a horizontal segment to the right or a vertical to the left of them (see igre 2). So, restrctring the paths and applying Lemma 1, we can transform the face in sch a way that these transformations allow s to extend two segments inside to prodce a new adjacency between them. In the following lemma, when we say that two segments s and t can be joined by a path length k, it means a path s, s 1,s 2,...,s k,t. Lemma 2. Let I G be a segment representation of a plane graph G and let s 1 and s 2 be two distinct segments in a convex non-rare face. Then I G can be transformed into another segment representation I G satisfying 1. I G and I G have the same faces and face bondaries as G, and the faces of I G are convex; 2. s 1 can be joined to s 2 by a segment path of length k, for all k > 0, or directly if s 1 and s 2 have not the same direction inside the convex face, corresponding to.

7 Triangle-ree Planar Graphs as Segments Intersection Graphs 347 Proof. The proof falls natrally into two cases: the segments have the same direction, or they do not. In both cases, we have divided the proof in a seqence of sbcases. Case 1: s 1 and s 2 have not the same direction. In this case, we can sppose that s 1 is vertical and s 2 is horizontal (similar argments apply to the other configrations on the directions of the segments s 1 and s 2 ). The sbcases are the following: 1. s 1 and s 2 are in the same path P i. a) s 1 and s 2 are in P 2 (respectively in P 4 ). i. s 1 appears (clockwise) before s 2. If an obliqe segment precedes s 2, by Lemma 1 the segments can be joined directly. Otherwise, the face mst be restrctred transforming P 2 into P 3 (respectively, P 4 into P 1). ii. s 2 appears (clockwise) before s 1. Since the face is not rare, s 2 precedes a vertical segment. Then, by Lemma 1, the segments can be joined directly. b) s 1 and s 2 are in P 1 (respectively in P 3 ). If s 1 appears (clockwise) before s 2, by Lemma 1 the segments can be joined directly. If s 2 appears (clockwise) before s 1, the face mst be restrctred transforming P 1 into P 2 (respectively, P 3 into P 4). 2. s 1 and s 2 are in different paths. If s 2 is in P 2 (respectively in P 4 ) and it precedes an obliqe segment and s 1 is in P 3 (respectively P 1 ), the face mst be restrctred transforming P 2 into P 1 (respectively, P 4 into P 3). Otherwise, by Lemma 1 the segments can be joined directly. Case 2: s 1 and s 2 have the same direction. In this case, it sffices to join the segments by a path of length 1, becase this path can be sbstitted by any other of length greater than 1. Again there are several sbcases: 1. Both are vertical segments. In this case, the segments can be joined by a path of length 1 directly sing Lemma Both are horizontal segments. If the segments are in P 2 (respectively in P 4 ) and the first one precedes an obliqe segment, and a vertical segment precedes the second one, then the face mst be restrctred transforming P 2 into P 3 (respectively, P 4 into P 1). Otherwise, sing Lemma 1 the segments can be joined directly. 3. Both are obliqe segments. If the segments are in P 1 (respectively in P 3 ), the first one precedes a vertical segment, and a horizontal segment precedes the second one, then the face mst be restrctred transforming P 1 into P 2 (respectively, P 3 into P 4). Otherwise, they can be joined directly by Lemma 1. Now we prove: Lemma 3. Any triangle-free plane graph which is a sbdivision of a 3-connected graph can be represented by segments in three directions.

8 348 N. de Castro et al. Proof. As G is a triangle-free plane graph, in virte of Grötzsch s Theorem [9], G admits a 3-coloring with the colors h, v and o (horizontal, vertical and obliqe, respectively). Since G is a sbdivision of a 3-connected graph, we can find a vertex, not in the oter face of G, connected by three disjoint paths to three vertices in the oter face. These paths and the oter face determine a graph K, which is a sbdivision of K 4. Using Barnette s reslts in [1] it is possible to bild a seqence of graphs G 1,...,G n and a seqence of paths Q 1,...,Q n sch that G 1 = G, G i is a sbdivision of a 3-connected plane graph, G i is obtained from G i 1 by deleting the path Q i 1, and the graph obtained from G n deleting Q n is K. When the path Q i is deleted, a new face appears in G i+1 as the nion of two faces in G i. The bondary of can be divided into two paths; on the one hand the path beginning in the first vertex of Q i and ending in the last one and, on the other hand, the rest of the bondary. If one of them is rare, we mst repair sbdividing an edge with a new vertex (that we label as a repaired vertex), to make the face non-rare. So, we can constrct another seqence G 1,...,G n where G i is G i with a new repaired vertex, if necessary. ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ig. 6. How to remove the repaired vertex in the for cases. It is easy to give a segment representation of K with all its faces convex. It sffices to represent convexly the oter face of K and proceed according to the

9 Triangle-ree Planar Graphs as Segments Intersection Graphs 349 above remark. Using Lemma 2 it is possible to add the path Q i to the segment representation of G i+1 to obtain a convex face representation of G i. In order to obtain a segment representation of the graph G, we mst remove the repaired vertices. These vertices cannot be removed directly, so it is necessary to modify the representation. The for possible cases are illstrated in igre 6. Notice that we cold not remove the repaired vertices if the rare path wold have exactly three segments 1, 2 and 3, bt this case it is not possible becase joining 1 with 3 it will be form a triangle, and G was a triangle-free graph. We can now formlate or main reslt as follows: Theorem 1. Every triangle-free planar graph is the intersection graph of a set of segments in three directions. Proof. Let G be a triangle-free plane graph. Since G has no triangles, we can obtain a 3-coloring of G sing Grötszch s Theorem [9]. The colors will be labeled as h, v and o (horizontal, vertical and obliqe, respectively). We can bild a new triangle-free plane graph G 1, sbdivision of a 3-connected graph, which contains G as a sbgraph, adding new vertices and edges joining the blocks of G, possibly sbdividing some edges of the blocks of G sing new vertices. If this is the case, these vertices are labeled as dmmy vertices. When an added edge prodces a triangle, we sbdivide it, and when a new edge joins two vertices with the same color, we sbdivide it too. We call these new vertices and edges virtal. All the new vertices (dmmy and virtal) can be colored so that the 3-coloring is preserved. By Lemma 3, G 1 admits a segment representation. Ot of this segment representation we mst remove all the vertices and edges added. A virtal edge (or a path bilt with virtal edges and vertices) in the segment representation of G 1 is an adjacency between two segments (or a virtal path joining two segments). It sffices to break this adjacency and to shorten these segments (note that the segments do not cross, they only contact). The dmmy vertices are removed as the repaired vertices in Lemma 3. 4 Conclding Remarks The hypothesis that the graph has no triangles can be relaxed in some cases. No dobt there exist planar graphs with triangles that admits segment representations (see igre 1). The problem lies in the fact that we have followed a constrctive proof to obtain a segment representation sing the convex faces representation of a sbdivision of a 3-connected graph. This constrction wold not be possible in general if the graph contains triangles, becase if we fix the three directions of the segments we can observe that the graph in igre 7 cannot be represented by non-crossing segments. In this example we see that a segment representation contains faces that do not correspond to faces of the embedding of the graph. So, the topology of the embedding of the plane graph cannot be preserved. This problem admits a

10 350 N. de Castro et al. o1 v2 v1 h1 o1 v1 h1 o2 h2 o2 h2 v2 ig. 7. Two segments mst cross. partial soltion as follows. A 3-coloring of a plane graph G with colors {h, v, o} is good if all the triangles of G are colored, in clockwise order, as h v o. The proof of Theorem 1 can be adapted yielding the following reslt: Theorem 2. Let G be a 3-colored plane graph. The coloring is good if and only if exists a segment representation I G verifying that the faces of G correspond to faces of I G, and the bondaries of the faces are preserved. References 1. D.W. Barnette, On Steinitz s theorem concerning convex 3-polytopes and on some properties of planar graphs, The many facets of graph theory. Lectres Notes in Mathematics Vol. 110, Springer, Berlin, pp , I. Ben-Arroyo Hartman, I. Newman and R. Ziv, On grid intersection graphs, Discrete Math. Vol. 87, pp , H. de raysseix, P.Osona de Mendez and J. Pach, Representation of planar graphs by segments, Colloqia Mathematica Societatis János Bolyai, Intitive Geometry, Szeged (Hngary), M.C. Golmbic, Algorithmic Graph Theory and Perfect Graphs, Academic Press, J. Kratochvíl, A special planar satisfiability problem and a conseqence of its NP-completeness, Discrete Applied Math., Vol. 52, pp , W. Naji, Reconnaisance des graphes de cordes, Discrete Math. Vol. 54, pp , E.R. Scheinerman, Intersection classes and mltiple intersection parameters of graphs, Ph D. thesis,, Princeton University, J. Spinrad, Recognition of circle graphs, J. of Algorithms, Vol. 16, pp , C. Thomassen, Grötzsch s 3-color theorem and its conterparts for the tors and the projective plane, J. Comb. Theory B Vol. 62, pp , 1994.

COMPOSITION OF STABLE SET POLYHEDRA

COMPOSITION OF STABLE SET POLYHEDRA COMPOSITION OF STABLE SET POLYHEDRA Benjamin McClosky and Illya V. Hicks Department of Comptational and Applied Mathematics Rice University November 30, 2007 Abstract Barahona and Mahjob fond a defining

More information

Journal of Graph Algorithms and Applications

Journal of Graph Algorithms and Applications Jornal of Graph Algorithm and Application http://www.c.brown.ed/pblication/jgaa/ vol. 6, no., pp. 7 6 (00) Triangle-ree Planar Graph a Segment Interection Graph Natalia de Catro rancico Javier Cobo Jan

More information

h-vectors of PS ear-decomposable graphs

h-vectors of PS ear-decomposable graphs h-vectors of PS ear-decomposable graphs Nima Imani 2, Lee Johnson 1, Mckenzie Keeling-Garcia 1, Steven Klee 1 and Casey Pinckney 1 1 Seattle University Department of Mathematics, 901 12th Avene, Seattle,

More information

arxiv: v1 [cs.cg] 27 Nov 2015

arxiv: v1 [cs.cg] 27 Nov 2015 On Visibility Representations of Non-planar Graphs Therese Biedl 1, Giseppe Liotta 2, Fabrizio Montecchiani 2 David R. Cheriton School of Compter Science, University of Waterloo, Canada biedl@waterloo.ca

More information

Introduction to Computational Manifolds and Applications

Introduction to Computational Manifolds and Applications IMPA - Institto de Matemática Pra e Aplicada, Rio de Janeiro, RJ, Brazil Introdction to Comptational Manifolds and Applications Part 1 - Constrctions Prof. Marcelo Ferreira Siqeira mfsiqeira@dimap.frn.br

More information

Alliances and Bisection Width for Planar Graphs

Alliances and Bisection Width for Planar Graphs Alliances and Bisection Width for Planar Graphs Martin Olsen 1 and Morten Revsbæk 1 AU Herning Aarhs University, Denmark. martino@hih.a.dk MADAGO, Department of Compter Science Aarhs University, Denmark.

More information

arxiv: v3 [math.co] 7 Sep 2018

arxiv: v3 [math.co] 7 Sep 2018 Cts in matchings of 3-connected cbic graphs Kolja Knaer Petr Valicov arxiv:1712.06143v3 [math.co] 7 Sep 2018 September 10, 2018 Abstract We discss conjectres on Hamiltonicity in cbic graphs (Tait, Barnette,

More information

Topological Drawings of Complete Bipartite Graphs

Topological Drawings of Complete Bipartite Graphs Topological Drawings of Complete Bipartite Graphs Jean Cardinal Stefan Felsner y Febrary 017 Abstract Topological drawings are natral representations of graphs in the plane, where vertices are represented

More information

Tutte Embeddings of Planar Graphs

Tutte Embeddings of Planar Graphs Spectral Graph Theory and its Applications Lectre 21 Ttte Embeddings o Planar Graphs Lectrer: Daniel A. Spielman November 30, 2004 21.1 Ttte s Theorem We sally think o graphs as being speciied by vertices

More information

Chordal Graphs as Intersection Graphs of Pseudosegments

Chordal Graphs as Intersection Graphs of Pseudosegments Chordal Graphs as Intersection Graphs of Pseudosegments Cornelia Dangelmayr 1 and Stefan Felsner 2 1 Freie Universität Berlin Institut für Mathematik II, Arnimallee 3, 14195 Berlin, Germany dangel@math.fu-berlin.de

More information

Constrained Routing Between Non-Visible Vertices

Constrained Routing Between Non-Visible Vertices Constrained Roting Between Non-Visible Vertices Prosenjit Bose 1, Matias Korman 2, André van Renssen 3,4, and Sander Verdonschot 1 1 School of Compter Science, Carleton University, Ottawa, Canada. jit@scs.carleton.ca,

More information

Augmenting the edge connectivity of planar straight line graphs to three

Augmenting the edge connectivity of planar straight line graphs to three Agmenting the edge connectivity of planar straight line graphs to three Marwan Al-Jbeh Mashhood Ishaqe Kristóf Rédei Diane L. Sovaine Csaba D. Tóth Pavel Valtr Abstract We characterize the planar straight

More information

Straight-Line Drawings of 2-Outerplanar Graphs on Two Curves

Straight-Line Drawings of 2-Outerplanar Graphs on Two Curves Straight-Line Drawings of 2-Outerplanar Graphs on Two Curves (Extended Abstract) Emilio Di Giacomo and Walter Didimo Università di Perugia ({digiacomo,didimo}@diei.unipg.it). Abstract. We study how to

More information

On Plane Constrained Bounded-Degree Spanners

On Plane Constrained Bounded-Degree Spanners Algorithmica manscript No. (ill be inserted by the editor) 1 On Plane Constrained Bonded-Degree Spanners 2 3 Prosenjit Bose Rolf Fagerberg André an Renssen Sander Verdonschot 4 5 Receied: date / Accepted:

More information

On Bichromatic Triangle Game

On Bichromatic Triangle Game On Bichromatic Triangle Game Gordana Manić Daniel M. Martin Miloš Stojakoić Agst 16, 2012 Abstract We stdy a combinatorial game called Bichromatic Triangle Game, defined as follows. Two players R and B

More information

Non-convex Representations of Graphs

Non-convex Representations of Graphs Non-conex Representations of Graphs Giseppe Di Battista, Fabrizio Frati, and Marizio Patrignani Dip. di Informatica e Atomazione Roma Tre Uniersity Abstract. We sho that eery plane graph admits a planar

More information

Some new results on circle graphs. Guillermo Durán 1

Some new results on circle graphs. Guillermo Durán 1 Some new results on circle graphs Guillermo Durán 1 Departamento de Ingeniería Industrial, Facultad de Ciencias Físicas y Matemáticas, Universidad de Chile, Santiago, Chile gduran@dii.uchile.cl Departamento

More information

Ray shooting from convex ranges

Ray shooting from convex ranges Discrete Applied Mathematics 108 (2001) 259 267 Ray shooting from convex ranges Evangelos Kranakis a, Danny Krizanc b, Anil Maheshwari a;, Jorg-Rudiger Sack a, Jorge Urrutia c a School of Computer Science,

More information

Graceful Labeling for Double Step Grid Graph

Graceful Labeling for Double Step Grid Graph International Jornal of Mathematics And its Applications Volme 3, Isse 1 (015), 33 38. ISSN: 347-1557 International Jornal 347-1557 of Mathematics Applications And its ISSN: Gracefl Labeling for Doble

More information

arxiv: v1 [math.co] 7 Dec 2018

arxiv: v1 [math.co] 7 Dec 2018 SEQUENTIALLY EMBEDDABLE GRAPHS JACKSON AUTRY AND CHRISTOPHER O NEILL arxiv:1812.02904v1 [math.co] 7 Dec 2018 Abstract. We call a (not necessarily planar) embedding of a graph G in the plane sequential

More information

A sufficient condition for spiral cone beam long object imaging via backprojection

A sufficient condition for spiral cone beam long object imaging via backprojection A sfficient condition for spiral cone beam long object imaging via backprojection K. C. Tam Siemens Corporate Research, Inc., Princeton, NJ, USA Abstract The response of a point object in cone beam spiral

More information

Representing a Cubic Graph as the Intersection Graph of Axis-parallel Boxes in Three Dimensions

Representing a Cubic Graph as the Intersection Graph of Axis-parallel Boxes in Three Dimensions Representing a Cbic Graph as the Intersection Graph of Axis-parallel Boxes in Three Dimensions ABSTRACT Abhijin Adiga Network Dynamics and Simlation Science Laboratory Virginia Bioinformatics Institte,

More information

Planarity-Preserving Clustering and Embedding for Large Planar Graphs

Planarity-Preserving Clustering and Embedding for Large Planar Graphs Planarity-Presering Clstering and Embedding for Large Planar Graphs Christian A. Dncan, Michael T. Goodrich, and Stephen G. Koboro Center for Geometric Compting The Johns Hopkins Uniersity Baltimore, MD

More information

Reconstructing Generalized Staircase Polygons with Uniform Step Length

Reconstructing Generalized Staircase Polygons with Uniform Step Length Jornal of Graph Algorithms and Applications http://jgaa.info/ ol. 22, no. 3, pp. 431 459 (2018) DOI: 10.7155/jgaa.00466 Reconstrcting Generalized Staircase Polygons with Uniform Step Length Nodari Sitchinaa

More information

[8] that this cannot happen on the projective plane (cf. also [2]) and the results of Robertson, Seymour, and Thomas [5] on linkless embeddings of gra

[8] that this cannot happen on the projective plane (cf. also [2]) and the results of Robertson, Seymour, and Thomas [5] on linkless embeddings of gra Apex graphs with embeddings of face-width three Bojan Mohar Department of Mathematics University of Ljubljana Jadranska 19, 61111 Ljubljana Slovenia bojan.mohar@uni-lj.si Abstract Aa apex graph is a graph

More information

arxiv: v1 [math.co] 5 Nov 2010

arxiv: v1 [math.co] 5 Nov 2010 Segment representation of a subclass of co-planar graphs Mathew C. Francis, Jan Kratochvíl, and Tomáš Vyskočil arxiv:1011.1332v1 [math.co] 5 Nov 2010 Department of Applied Mathematics, Charles University,

More information

Bar k-visibility Graphs: Bounds on the Number of Edges, Chromatic Number, and Thickness

Bar k-visibility Graphs: Bounds on the Number of Edges, Chromatic Number, and Thickness Bar k-visibility Graphs: Bounds on the Number of Edges, Chromatic Number, and Thickness Alice M. Dean, William Evans, Ellen Gethner 3,JoshuaD.Laison, Mohammad Ali Safari 5, and William T. Trotter 6 Department

More information

Minimal Edge Addition for Network Controllability

Minimal Edge Addition for Network Controllability This article has been accepted for pblication in a ftre isse of this jornal, bt has not been flly edited. Content may change prior to final pblication. Citation information: DOI 10.1109/TCNS.2018.2814841,

More information

Tri-Edge-Connectivity Augmentation for Planar Straight Line Graphs

Tri-Edge-Connectivity Augmentation for Planar Straight Line Graphs Tri-Edge-Connectivity Agmentation for Planar Straight Line Graphs Marwan Al-Jbeh 1, Mashhood Ishaqe 1, Kristóf Rédei 1, Diane L. Sovaine 1, and Csaba D. Tóth 1,2 1 Department of Compter Science, Tfts University,

More information

THE DIMENSION OF POSETS WITH PLANAR COVER GRAPHS

THE DIMENSION OF POSETS WITH PLANAR COVER GRAPHS THE DIMENSION OF POSETS WITH PLANAR COVER GRAPHS STEFAN FELSNER, WILLIAM T. TROTTER, AND VEIT WIECHERT Abstract. Kelly showed that there exist planar posets of arbitrarily large dimension, and Streib and

More information

FINITE ELEMENT APPROXIMATION OF CONVECTION DIFFUSION PROBLEMS USING GRADED MESHES

FINITE ELEMENT APPROXIMATION OF CONVECTION DIFFUSION PROBLEMS USING GRADED MESHES FINITE ELEMENT APPROXIMATION OF CONVECTION DIFFUSION PROBLEMS USING GRADED MESHES RICARDO G. DURÁN AND ARIEL L. LOMBARDI Abstract. We consider the nmerical approximation of a model convection-diffsion

More information

On Plane Constrained Bounded-Degree Spanners

On Plane Constrained Bounded-Degree Spanners On Plane Constrained Bonded-Degree Spanners Prosenjit Bose 1, Rolf Fagerberg 2, André an Renssen 1, Sander Verdonschot 1 1 School of Compter Science, Carleton Uniersity, Ottaa, Canada. Email: jit@scs.carleton.ca,

More information

Lemma 1 Let the components of, Suppose. Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic). (b)

Lemma 1 Let the components of, Suppose. Trees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic). (b) Trees Lemma Let the components of ppose "! be (a) $&%('*)+ - )+ / A tree is a graph which is (b) 0 %(')+ - 3)+ / 6 (a) (a) Connected and (b) has no cycles (acyclic) (b) roof Eery path 8 in which is not

More information

Page 1. CSCE 310J Data Structures & Algorithms. CSCE 310J Data Structures & Algorithms. Greedy Algorithms and Graph Optimization Problems

Page 1. CSCE 310J Data Structures & Algorithms. CSCE 310J Data Structures & Algorithms. Greedy Algorithms and Graph Optimization Problems CSCE J Data Strctres & Algorithms Greedy Algorithms and Graph Optimization Problems Dr. Steve Goddard goddard@cse.nl.ed http://www.cse.nl.ed/~goddard/corses/cscej CSCE J Data Strctres & Algorithms Giving

More information

Hamiltonian cycles in bipartite quadrangulations on the torus

Hamiltonian cycles in bipartite quadrangulations on the torus Hamiltonian cycles in bipartite quadrangulations on the torus Atsuhiro Nakamoto and Kenta Ozeki Abstract In this paper, we shall prove that every bipartite quadrangulation G on the torus admits a simple

More information

Minimum Spanning Trees Outline: MST

Minimum Spanning Trees Outline: MST Minimm Spanning Trees Otline: MST Minimm Spanning Tree Generic MST Algorithm Krskal s Algorithm (Edge Based) Prim s Algorithm (Vertex Based) Spanning Tree A spanning tree of G is a sbgraph which is tree

More information

Crossing Families. Abstract

Crossing Families. Abstract Crossing Families Boris Aronov 1, Paul Erdős 2, Wayne Goddard 3, Daniel J. Kleitman 3, Michael Klugerman 3, János Pach 2,4, Leonard J. Schulman 3 Abstract Given a set of points in the plane, a crossing

More information

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

Max-Cut and Max-Bisection are NP-hard on unit disk graphs Max-Cut and Max-Bisection are NP-hard on unit disk graphs Josep Díaz and Marcin Kamiński 2 Llenguatges i Sistemes Informàtics 2 RUTCOR, Rutgers University Universitat Politècnica de Catalunya 640 Bartholomew

More information

Graph Drawing via Canonical Orders

Graph Drawing via Canonical Orders Algorithms for Graph Visualization Summer Semester 2016 Lecture # 3 Graph Drawing via Canonical Orders (Partly based on lecture slides by Philipp Kindermann & Alexander Wolff) 1 Outline Planar Graphs:

More information

Lines That Intersect Circles

Lines That Intersect Circles LESSON 11-1 Lines That Intersect Circles Lesson Objectives (p. 746): Vocabulary 1. Interior of a circle (p. 746): 2. Exterior of a circle (p. 746): 3. Chord (p. 746): 4. Secant (p. 746): 5. Tangent of

More information

Finite Domain Cuts for Minimum Bandwidth

Finite Domain Cuts for Minimum Bandwidth Finite Domain Cts for Minimm Bandwidth J. N. Hooker Carnegie Mellon University, USA Joint work with Alexandre Friere, Cid de Soza State University of Campinas, Brazil INFORMS 2013 Two Related Problems

More information

Triangle Graphs and Simple Trapezoid Graphs

Triangle Graphs and Simple Trapezoid Graphs JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 18, 467-473 (2002) Short Paper Triangle Graphs and Simple Trapezoid Graphs Department of Computer Science and Information Management Providence University

More information

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality Planar Graphs In the first half of this book, we consider mostly planar graphs and their geometric representations, mostly in the plane. We start with a survey of basic results on planar graphs. This chapter

More information

Constructing Multiple Light Multicast Trees in WDM Optical Networks

Constructing Multiple Light Multicast Trees in WDM Optical Networks Constrcting Mltiple Light Mlticast Trees in WDM Optical Networks Weifa Liang Department of Compter Science Astralian National University Canberra ACT 0200 Astralia wliang@csaneda Abstract Mlticast roting

More information

9 About Intersection Graphs

9 About Intersection Graphs 9 About Intersection Graphs Since this lecture we focus on selected detailed topics in Graph theory that are close to your teacher s heart... The first selected topic is that of intersection graphs, i.e.

More information

On the Characterization of Plane Bus Graphs

On the Characterization of Plane Bus Graphs On the Characterization of Plane Bus Graphs Till Bruckdorfer 1, Stefan Felsner 2, and Michael Kaufmann 1 1 Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, Germany, {bruckdor,mk}@informatik.uni-tuebingen.de

More information

Bar k-visibility Graphs

Bar k-visibility Graphs Bar k-visibility Graphs Alice M. Dean Department of Mathematics Skidmore College adean@skidmore.edu William Evans Department of Computer Science University of British Columbia will@cs.ubc.ca Ellen Gethner

More information

Tutte s Theorem: How to draw a graph

Tutte s Theorem: How to draw a graph Spectral Graph Theory Lecture 15 Tutte s Theorem: How to draw a graph Daniel A. Spielman October 22, 2018 15.1 Overview We prove Tutte s theorem [Tut63], which shows how to use spring embeddings to obtain

More information

A NOTE ON BLOCKING VISIBILITY BETWEEN POINTS

A NOTE ON BLOCKING VISIBILITY BETWEEN POINTS A NOTE ON BLOCKING VISIBILITY BETWEEN POINTS Adrian Dumitrescu János Pach Géza Tóth Abstract Given a finite point set P in the plane, let b(p) be the smallest number of points q 1,q 2,... not belonging

More information

Optimization and Translation of Tableau-Proofs. Abstract: Dierent kinds of logical calculi have dierent advantages and disadvantages.

Optimization and Translation of Tableau-Proofs. Abstract: Dierent kinds of logical calculi have dierent advantages and disadvantages. J. Inform. Process. Cybernet. EIK?? (199?), (formerly: Elektron. Inform.verarb. Kybernet.) Optimization and Translation of Tablea-Proofs into Resoltion By Andreas Wolf, Berlin Abstract: Dierent kinds of

More information

On the Computational Complexity and Effectiveness of N-hub Shortest-Path Routing

On the Computational Complexity and Effectiveness of N-hub Shortest-Path Routing 1 On the Comptational Complexity and Effectiveness of N-hb Shortest-Path Roting Reven Cohen Gabi Nakibli Dept. of Compter Sciences Technion Israel Abstract In this paper we stdy the comptational complexity

More information

Math 777 Graph Theory, Spring, 2006 Lecture Note 1 Planar graphs Week 1 Weak 2

Math 777 Graph Theory, Spring, 2006 Lecture Note 1 Planar graphs Week 1 Weak 2 Math 777 Graph Theory, Spring, 006 Lecture Note 1 Planar graphs Week 1 Weak 1 Planar graphs Lectured by Lincoln Lu Definition 1 A drawing of a graph G is a function f defined on V (G) E(G) that assigns

More information

arxiv: v1 [math.co] 3 Apr 2016

arxiv: v1 [math.co] 3 Apr 2016 A note on extremal results on directed acyclic graphs arxiv:1604.0061v1 [math.co] 3 Apr 016 A. Martínez-Pérez, L. Montejano and D. Oliveros April 5, 016 Abstract The family of Directed Acyclic Graphs as

More information

On the number of distinct directions of planes determined by n points in R 3

On the number of distinct directions of planes determined by n points in R 3 On the number of distinct directions of planes determined by n points in R 3 Rom Pinchasi August 27, 2007 Abstract We show that any set of n points in R 3, that is not contained in a plane, determines

More information

Today. B-splines. B-splines. B-splines. Computergrafik. Curves NURBS Surfaces. Bilinear patch Bicubic Bézier patch Advanced surface modeling

Today. B-splines. B-splines. B-splines. Computergrafik. Curves NURBS Surfaces. Bilinear patch Bicubic Bézier patch Advanced surface modeling Comptergrafik Matthias Zwicker Uniersität Bern Herbst 29 Cres Srfaces Parametric srfaces Bicbic Bézier patch Adanced srface modeling Piecewise Bézier cres Each segment spans for control points Each segment

More information

Geometry. Geometric Graphs with Few Disjoint Edges. G. Tóth 1,2 and P. Valtr 2,3. 1. Introduction

Geometry. Geometric Graphs with Few Disjoint Edges. G. Tóth 1,2 and P. Valtr 2,3. 1. Introduction Discrete Comput Geom 22:633 642 (1999) Discrete & Computational Geometry 1999 Springer-Verlag New York Inc. Geometric Graphs with Few Disjoint Edges G. Tóth 1,2 and P. Valtr 2,3 1 Courant Institute, New

More information

On the Convexity Number of Graphs

On the Convexity Number of Graphs On the Convexity Number of Graphs Mitre C. Dourado 1, Fábio Protti, Dieter Rautenbach 3, and Jayme L. Szwarcfiter 4 1 ICE, Universidade Federal Rural do Rio de Janeiro and NCE - UFRJ, Brazil, email: mitre@nce.ufrj.br

More information

Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: lower and upper bounds on the number of pieces

Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: lower and upper bounds on the number of pieces Partitioning Orthogonal Polygons by Extension of All Edges Incident to Reflex Vertices: lower and upper bounds on the number of pieces António Leslie Bajuelos 1, Ana Paula Tomás and Fábio Marques 3 1 Dept.

More information

The Domination and Competition Graphs of a Tournament. University of Colorado at Denver, Denver, CO K. Brooks Reid 3

The Domination and Competition Graphs of a Tournament. University of Colorado at Denver, Denver, CO K. Brooks Reid 3 The omination and Competition Graphs of a Tornament avid C. Fisher, J. Richard Lndgren 1, Sarah K. Merz University of Colorado at enver, enver, CO 817 K. rooks Reid California State University, San Marcos,

More information

Pushing squares around

Pushing squares around Pshing sqares arond Adrian Dmitresc János Pach Ý Abstract We stdy dynamic self-reconfigration of modlar metamorphic systems. We garantee the feasibility of motion planning in a rectanglar model consisting

More information

p 1 p 2 p 3 S u( ) θ

p 1 p 2 p 3 S u( ) θ Preprint of a paper pblished in inimal Srfaces, Geometric Analysis and Symplectic Geometry Adv. Std. Pre ath, 34 (2002) 129 142. SOLUTION TO THE SHADOW PROBLE IN 3-SPACE OHAAD GHOI Abstract. If a convex

More information

ADJACENCY POSETS OF PLANAR GRAPHS

ADJACENCY POSETS OF PLANAR GRAPHS ADJACENCY POSETS OF PLANAR GRAPHS STEFAN FELSNER, CHING MAN LI, AND WILLIAM T. TROTTER Abstract. In this paper, we show that the dimension of the adjacency poset of a planar graph is at most 8. From below,

More information

arxiv: v1 [cs.cg] 1 Feb 2016

arxiv: v1 [cs.cg] 1 Feb 2016 The Price of Order Prosenjit Bose Pat Morin André van Renssen, arxiv:160.00399v1 [cs.cg] 1 Feb 016 Abstract We present tight bonds on the spanning ratio of a large family of ordered θ-graphs. A θ-graph

More information

Restricted-Orientation Convexity in Higher-Dimensional Spaces

Restricted-Orientation Convexity in Higher-Dimensional Spaces Restricted-Orientation Convexity in Higher-Dimensional Spaces ABSTRACT Eugene Fink Derick Wood University of Waterloo, Waterloo, Ont, Canada N2L3G1 {efink, dwood}@violetwaterlooedu A restricted-oriented

More information

Construction of planar triangulations with minimum degree 5

Construction of planar triangulations with minimum degree 5 Construction of planar triangulations with minimum degree 5 G. Brinkmann Fakultät für Mathematik Universität Bielefeld D 33501 Bielefeld, Germany gunnar@mathematik.uni-bielefeld.de Brendan D. McKay Department

More information

Lecture 15: The subspace topology, Closed sets

Lecture 15: The subspace topology, Closed sets Lecture 15: The subspace topology, Closed sets 1 The Subspace Topology Definition 1.1. Let (X, T) be a topological space with topology T. subset of X, the collection If Y is a T Y = {Y U U T} is a topology

More information

On Graphs Supported by Line Sets

On Graphs Supported by Line Sets On Graphs Supported by Line Sets Vida Dujmović, William Evans, Stephen Kobourov, Giuseppe Liotta, Christophe Weibel, and Stephen Wismath School of Computer Science Carleton University cgm.cs.mcgill.ca/

More information

The Intersection of Two Ringed Surfaces and Some Related Problems

The Intersection of Two Ringed Surfaces and Some Related Problems Graphical Models 63, 8 44 001) doi:10.1006/gmod.001.0553, available online at http://www.idealibrary.com on The Intersection of Two Ringed Srfaces and Some Related Problems Hee-Seok Heo and Sng Je Hong

More information

Elementary Planar Geometry

Elementary Planar Geometry Elementary Planar Geometry What is a geometric solid? It is the part of space occupied by a physical object. A geometric solid is separated from the surrounding space by a surface. A part of the surface

More information

On Two Short Proofs About List Coloring Graphs

On Two Short Proofs About List Coloring Graphs On Two Short Proofs About List Coloring Graphs October 26, 2003 LIST COLORINGS AND CHOICE NUMBER DEF: A k list assignment, L, is an assignment of sets (called lists) to the vertices so that L(v) k, for

More information

Acute Triangulations of Polygons

Acute Triangulations of Polygons Europ. J. Combinatorics (2002) 23, 45 55 doi:10.1006/eujc.2001.0531 Available online at http://www.idealibrary.com on Acute Triangulations of Polygons H. MAEHARA We prove that every n-gon can be triangulated

More information

Testing Maximal 1-planarity of Graphs with a Rotation System in Linear Time

Testing Maximal 1-planarity of Graphs with a Rotation System in Linear Time Testing Maximal 1-planarity of Graphs with a Rotation System in Linear Time Peter Eades 1, Seok-Hee Hong 1, Naoki Katoh 2, Giuseppe Liotta 3, Pascal Schweitzer 4, and Yusuke Suzuki 5 1 University of Sydney,

More information

Classification of Extremal Curves with 6 Double Points and of Tree-like Curves with 6 Double Points and I! 5

Classification of Extremal Curves with 6 Double Points and of Tree-like Curves with 6 Double Points and I! 5 Classification of Extremal Curves with 6 Double Points and of Tree-like Curves with 6 Double Points and I! 5 Tim Ritter Bethel College Mishawaka, IN timritter@juno.com Advisor: Juha Pohjanpelto Oregon

More information

K 4,4 e Has No Finite Planar Cover

K 4,4 e Has No Finite Planar Cover K 4,4 e Has No Finite Planar Cover Petr Hliněný Dept. of Applied Mathematics, Charles University, Malostr. nám. 25, 118 00 Praha 1, Czech republic (E-mail: hlineny@kam.ms.mff.cuni.cz) February 9, 2005

More information

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

Max-Cut and Max-Bisection are NP-hard on unit disk graphs R u t c o r Research R e p o r t Max-Cut and Max-Bisection are NP-hard on unit disk graphs Josep Díaz a Marcin Kamiński b RRR 2006-23, September 2006 RUTCOR Rutgers Center for Operations Research Rutgers

More information

Vertex Colorings without Rainbow or Monochromatic Subgraphs. 1 Introduction

Vertex Colorings without Rainbow or Monochromatic Subgraphs. 1 Introduction Vertex Colorings without Rainbow or Monochromatic Subgraphs Wayne Goddard and Honghai Xu Dept of Mathematical Sciences, Clemson University Clemson SC 29634 {goddard,honghax}@clemson.edu Abstract. This

More information

arxiv: v1 [cs.cg] 26 Sep 2018

arxiv: v1 [cs.cg] 26 Sep 2018 Convex partial transversals of planar regions arxiv:1809.10078v1 [cs.cg] 26 Sep 2018 Vahideh Keikha Department of Mathematics and Compter Science, University of Sistan and Balchestan, Zahedan, Iran va.keikha@gmail.com

More information

A GENERIC MODEL OF A BASE-ISOLATED BUILDING

A GENERIC MODEL OF A BASE-ISOLATED BUILDING Chapter 5 A GENERIC MODEL OF A BASE-ISOLATED BUILDING This chapter draws together the work o Chapters 3 and 4 and describes the assembly o a generic model o a base-isolated bilding. The irst section describes

More information

Two Characterizations of Hypercubes

Two Characterizations of Hypercubes Two Characterizations of Hypercubes Juhani Nieminen, Matti Peltola and Pasi Ruotsalainen Department of Mathematics, University of Oulu University of Oulu, Faculty of Technology, Mathematics Division, P.O.

More information

ON THE EMPTY CONVEX PARTITION OF A FINITE SET IN THE PLANE**

ON THE EMPTY CONVEX PARTITION OF A FINITE SET IN THE PLANE** Chin. Ann. of Math. 23B:(2002),87-9. ON THE EMPTY CONVEX PARTITION OF A FINITE SET IN THE PLANE** XU Changqing* DING Ren* Abstract The authors discuss the partition of a finite set of points in the plane

More information

Drawing cubic graphs with at most five slopes

Drawing cubic graphs with at most five slopes Drawing cubic graphs with at most five slopes Balázs Keszegh János Pach Dömötör Pálvölgyi Géza Tóth October 17, 2006 Abstract We show that every graph G with maximum degree three has a straight-line drawing

More information

Planar Open Rectangle-of-Influence Drawings with Non-aligned Frames

Planar Open Rectangle-of-Influence Drawings with Non-aligned Frames Planar Open Rectangle-of-Influence Drawings with Non-aligned Frames Soroush Alamdari and Therese Biedl David R. Cheriton School of Computer Science, University of Waterloo {s6hosse,biedl}@uwaterloo.ca

More information

Unit 6: Connecting Algebra and Geometry Through Coordinates

Unit 6: Connecting Algebra and Geometry Through Coordinates Unit 6: Connecting Algebra and Geometry Through Coordinates The focus of this unit is to have students analyze and prove geometric properties by applying algebraic concepts and skills on a coordinate plane.

More information

Discrete mathematics

Discrete mathematics Discrete mathematics Petr Kovář petr.kovar@vsb.cz VŠB Technical University of Ostrava DiM 470-2301/02, Winter term 2017/2018 About this file This file is meant to be a guideline for the lecturer. Many

More information

Simultaneous Diagonal Flips in Plane Triangulations

Simultaneous Diagonal Flips in Plane Triangulations @ _ d j 5 6 5 6 Simultaneous Diagonal Flips in Plane Triangulations Prosenjit Bose Jurek Czyzowicz Zhicheng Gao Pat Morin David R. Wood Abstract Simultaneous diagonal flips in plane triangulations are

More information

MTL 776: Graph Algorithms. B S Panda MZ 194

MTL 776: Graph Algorithms. B S Panda MZ 194 MTL 776: Graph Algorithms B S Panda MZ 194 bspanda@maths.iitd.ac.in bspanda1@gmail.com Lectre-1: Plan Definitions Types Terminology Sb-graphs Special types of Graphs Representations Graph Isomorphism Definitions

More information

1. A statement is a set of words and/or symbols that collectively make a claim that can be classified as true or false.

1. A statement is a set of words and/or symbols that collectively make a claim that can be classified as true or false. Chapter 1 Line and Angle Relationships 1.1 Sets, Statements and Reasoning Definitions 1. A statement is a set of words and/or symbols that collectively make a claim that can be classified as true or false.

More information

Chapter 6. Planar Orientations. 6.1 Numberings of Digraphs

Chapter 6. Planar Orientations. 6.1 Numberings of Digraphs Chapter 6 Planar Orientations In this chapter we will focus on algorithms and techniques used for drawing planar graphs. The algorithms we will use are based on numbering the vertices and orienting the

More information

Bar k-visibility Graphs

Bar k-visibility Graphs Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 11, no. 1, pp. 45 59 (2007) Bar k-visibility Graphs Alice M. Dean Department of Mathematics and Computer Science, Skidmore College http://www.skidmore.edu/

More information

On the complexity of Submap Isomorphism

On the complexity of Submap Isomorphism On the compleit of Sbmap Isomorphism Christine Solnon 1,2, Gillame Damiand 1,2, Colin de la Higera 3, and Jean-Christophe Janodet 4 1 INSA de Lon, LIRIS, UMR 5205 CNRS, 69621 Villerbanne, France 2 Université

More information

Isometric Cycles, Cutsets, and Crowning of Bridged Graphs

Isometric Cycles, Cutsets, and Crowning of Bridged Graphs Isometric Cycles, Cutsets, and Crowning of Bridged Graphs Tao Jiang, 1 Seog-Jin Kim, 2 and Douglas B. West 3 1 DEPARTMENT OF MATHEMATICS AND STATISTICS MIAMI UNIVERSITY OXFORD, OHIO 45056 E-mail: jiangt@muohio.edu

More information

Compatible Trees. 1 Introduction. Alfredo García 1 Clemens Huemer 2 Ferran Hurtado 3 Javier Tejel 1

Compatible Trees. 1 Introduction. Alfredo García 1 Clemens Huemer 2 Ferran Hurtado 3 Javier Tejel 1 Compatible Trees Alfredo García 1 Clemens Huemer 2 Ferran Hurtado 3 Javier Tejel 1 Abstract Two plane geometric graphs are said to be compatible when their union is a plane geometric graph. Let S be a

More information

Connected Components of Underlying Graphs of Halving Lines

Connected Components of Underlying Graphs of Halving Lines arxiv:1304.5658v1 [math.co] 20 Apr 2013 Connected Components of Underlying Graphs of Halving Lines Tanya Khovanova MIT November 5, 2018 Abstract Dai Yang MIT In this paper we discuss the connected components

More information

Stabbers of line segments in the plane

Stabbers of line segments in the plane Stabbers of line segments in the plane M. Claverol D. Garijo C. I. Grima A. Márquez C. Seara August 3, 2010 Abstract The problem of computing a representation of the stabbing lines of a set S of segments

More information

Discrete Applied Mathematics

Discrete Applied Mathematics Discrete Applied Mathematics 160 (2012) 505 512 Contents lists available at SciVerse ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam 1-planarity of complete multipartite

More information

Colorability in Orthogonal Graph Drawing

Colorability in Orthogonal Graph Drawing Colorability in Orthogonal Graph Drawing Jan Štola Department of Applied Mathematics, Charles University Malostranské nám. 25, Prague, Czech Republic Jan.Stola@mff.cuni.cz Abstract. This paper studies

More information

Ma/CS 6b Class 11: Kuratowski and Coloring

Ma/CS 6b Class 11: Kuratowski and Coloring Ma/CS 6b Class 11: Kuratowski and Coloring By Adam Sheffer Kuratowski's Theorem Theorem. A graph is planar if and only if it does not have K 5 and K 3,3 as topological minors. We know that if a graph contains

More information

Accepted Manuscript. SNOWMAN is PSPACE-complete. Weihua He, Ziwen Liu, Chao Yang S (17) Reference: TCS 11111

Accepted Manuscript. SNOWMAN is PSPACE-complete. Weihua He, Ziwen Liu, Chao Yang S (17) Reference: TCS 11111 Accepted Manscript SNOWMAN is PSPACE-complete Weiha He, Ziwen Li, Chao Yang PII: S00-975(7)005-0 DOI: http://dx.doi.org/0.06/j.tcs.07.0.0 Reference: TCS To appear in: Theoretical Compter Science Received

More information

A Note on Polyhedral Relaxations for the Maximum Cut Problem

A Note on Polyhedral Relaxations for the Maximum Cut Problem A Note on Polyhedral Relaxations for the Maximum Cut Problem Alantha Newman Abstract We consider three well-studied polyhedral relaxations for the maximum cut problem: the metric polytope of the complete

More information

Università degli Studi di Roma Tre Dipartimento di Informatica e Automazione Via della Vasca Navale, Roma, Italy

Università degli Studi di Roma Tre Dipartimento di Informatica e Automazione Via della Vasca Navale, Roma, Italy R O M A TRE DIA Università degli Studi di Roma Tre Dipartimento di Informatica e Automazione Via della Vasca Navale, 79 00146 Roma, Italy Non-Convex Representations of Graphs Giuseppe Di Battista, Fabrizio

More information