Arxiv:1708.04773V2 [Math.CO] 13 Sep 2018 Point in the Plane, and Maps Each Edge of to a Simple Closed Curve Between the Images of Its End-Vertices,• Such That
Total Page:16
File Type:pdf, Size:1020Kb
Thickness and Antithickness of Graphs∗ † § Abstract.Vida Dujmovi´c David R. Wood thickness G This paperk studies questions about duality betweenG crossings and non-crossings ink graph drawings via the notionsantithickness of thickness and antithickness.G The ofk a graph is the minimum integerG such that in some drawing of k, the edges can be partitionedthrackle into noncrossing subgraphs. The of a graph is the minimum integer such that inv some drawing of , the edgesv can be partitioned into thrackles, where a is a set of edges, each pair of which intersect exactly once. (Here edges with a common endvertex are considered to intersect at .) So thickness is a measure of how close a graph is to being planar, whereas antithickness is a measure of how close a graph is to being a thrackle. This paper explores the relationship between the thickness and antithickness of a graph, under various graph drawing models, with an emphasis on extremal questions. 1 Introduction planar This paper studies questionsthrackle about duality between crossings and non-crossings in graph draw- ings. This idea is best illustrated by an example. A graph is if it has a drawing with no crossings, while a is a graph drawing in which every pair of edges intersect exactly once. So in some sense, thrackles are the graph drawings with the most crossings. Yet thrackle- hood and planarity appear to be related. In particular, a widely believed conjecture would imply that every thrackleable graph is planar. Loosely speaking, this says that a graph that can be drawn with the maximum number of crossings has another drawing with no crossings. This paper explores this seemingly counterintuitive idea through the notions of thickness and antithickness. Firsttopological we introducedrawing the essential definitions.G G 1 G A( ) of a graph is a function that maps each vertex of to a distinct arXiv:1708.04773v2 [math.CO] 13 Sep 2018 point in the plane, and maps each edge of to a simple closed curve between the images of its end-vertices,• such that: the only vertex images that an edge image intersects are the images of its own end-vertices † th (that is, an edge doesth not ‘pass through’ a vertex), [email protected], 2007. Revised: 17 September, 2018 School of Computer Science and Electrical Engineering, University of Ottawa, Ottawa, Canada § ( ). Research supported by NSERC and the [email protected] Ministry of Research and In- novation. G V (G) E(G) 1 School of MathematicalG Sciences, Monash University,n = jV (G Melbourne,)j m = AustraliajE(G)j ( G[S] ). G We consider undirected, finite,S ⊆ simpleV (G) graphsG −withS := vertexG[V (G set) n S] andG edge− v := setG n fvg. The number of vertices and edges of are respectively denoted by and . Let denote the subgraph of induced by a set of vertices . Let and . 1 • the images of two edges are not tangential at a common interior point (that is, edges cross ‘properly’). adjacent Wherecross there is no confusion we henceforth do not distinguish between a graph element and its image in a drawing. Two edgesdisjoint with a common end-vertex arenoncrossing. Two edges in a drawing if theyplanar intersect at some point other than a common end-vertex. Two edges that do not intersect in a drawing are . A drawing of a graph is if no two edges cross. A graph is if it has a noncrossing drawing. thrackle In the 1960sthrackeable John Conway introduced the following definition. A drawing of a graph is a if every pair of edges intersect exactly once (either at a common endvertex or at a crossing point). A graph isexactly if it has a drawing that is a thrackle; see [5, 12–15, 17, 22, 47, 49, 52, 72, 75, 83, 84, 88, 89, 92]. Note that in this definition, it is important that every pair of edges intersect 2 once since every graph has a drawing in which every pair of edges intersect at least once . geometric convex 2-track drawing A drawing is if every edge is a straight line segment. A geometric drawing is if every vertex is on the convex hull of the set of vertices. A is a convex drawing of a bipartite2 graph in which the two colour classes are separatedtracks in the ordering of the verticesconvex aroundthrackle the convex hull. For the purposesouterplanar of this thrackle paper, we can assume that the two colour classes in a -track drawing are on two parallel lines (called ). The notion of a is closely related to that of , which was independently introduced by Cairns and Nikolayevsky [17]. 1.1 Thickness and Antithickness thickness G k N E(G) 2 k Thethickness of a graph is the minimum k suchN that the edge set can be partitioned 2 into planar subgraphs.k Thickness is a widely studied parameter; see the surveys [60,k 79]. The of a graph drawing is the minimum such that the edges of the drawing can be partitioned into noncrossing subgraphs. Equivalently, each edge is assigned one of colours such that crossing edges receive distinct colours. k k Every planar graph can be drawn with its vertices at prespecified locations [56, 64, 85k]. It follows that a graphG has thickness if and only2 if it has a drawing3 with thicknessk [56, 64].geometric However, in such a representation the edges might be highly curved . The minimum integer such that Proof V (G) = fv1; : : : ; vng vi (i; 0) ≺ E(G) vivj ≺ vpvq a graph has a geometric / convex / -track drawing with thickness is called the 2 i < j 6 p < q E(G) E(G) = fe1; : : : ; emg ei ≺ ej : Let j < i . Positionei = v eachpvq vertex at . Define(p; a0)( relationi; 1)(q; 0)on where if and only if . Observe that is a partial order of . Let , where implies that . Draw each edge as the 1-bend polylineG . Then everyn pair of edges 3 intersect atG least once. Ω(n) G Ω(n) In fact, Pach and WengerG [85] proved that for every planar graph that contains a matching of edges, if the vertices of are randomly assigned prespecified locations on a circle, then edges of have bends in every polyline drawing of . 2 book 2-track thickness G pagenumber stacknumber / / of . Book4 thickness is also called and in the literature; see the surveys [7, 34] G The• followingG results are well known1 for every graphG : • G 1 G has geometric thickness if and only if is planar [42, 97]. • G 2 G has book thickness if and only if is outerplanar [64]. has book thickness at most if and only if is a subgraph of a Hamiltonian planar • G 2 1 G graph [64]. antithicknesshas -track thicknessG if and only if kis aN forest of caterpillarsE(G) [57]. 2 k antithickness k N 2 The of a graph is the minimum ksuch that can be partitioned into thrackeable subgraphs.k The of a graph drawing is the minimum ksuchN 2 that the edges ofG the drawing can be partitioned into thrackles. Equivalently, each edge is assignedk one oftopologicalcolours suchgeometric that disjointconvex edges2-track receive distinct antithickness colours. TheG minimum such that a graph has a topological / geometric1 / convex / 2-track drawing with antithickness is called the / / / of . Thus a graph is Lemma 1. Every thrackeable graph G has a thrackled drawing with each vertex at a prespecified thrackeable if and only if it has antithickness . location. Proof. G H p(v) v G Consider a thrackledx V drawing(H) V of(G.) Replace each crossing pointp(x) byR a2 dummyp(v): vertex.v V Let(G) 2 − 2 nf 2 g be the planar graph obtained. Let be a distinct prespecified point in the plane for each vertexH of . For each vertex x chooseH p( ax distinct) point . EveryG planar graph canv beG drawnp( withv) its vertices at prespecified locations [56, 64, 85]. Thus can be drawn planar with each vertex of at . This drawing defines a thrackled drawing Corollary 2. A graph has antithickness k if and only if it has a drawing with antithickness k. of with each vertex of at , as desired. G (G) (G) (G) ; Every graph satisfies6 6 (G) 6 (G) 6 (G) : thickness geometric thickness book thickness and G antithickness geometric antithickness convex antithickness (G) (G) = (G) ; Moreover, if is bipartite,6 then (G) 6 (G) = (G) : book thickness 2-track thickness 2-track antithickness and convex thickness convex antithickness 2-track thickness 2-track antithickness 4 topological thickness In the context of this paper it would make sense to refer to book thickness as , and to refer to thickness as , although we refrain from the temptation of introducing further terminology. 3 2 G k 2 G k For the final equality, observe that a -track layout of with antithickness is obtained from a -track layout of with thickness by simply reversing one track, and vice versa. 1.2 An Example: Trees 1 1 T 2 2 Proof: Consider the thickness of a tree.r Every tree is2 planar, and thus has thicknessT black andwhite geometric thickness . It is well known that every tree has -track thickness at most . T Orient ther edges away from some vertex . Properly -colour the vertices of and . Place each colour class on its own track, ordered according to a breadth-first search of starting at . Colour each edge according to whether it is oriented from a black to a white vertex, or from a white to a black vertex. It is easily seen that no two monochromatic edges cross, as illustrated in Figure1.