Straight-Line Grid Drawings of Planar Graphs
|
|
- Cecilia Smith
- 7 years ago
- Views:
Transcription
1 Straight-Line Grid Drawings of Planar Graphs with Linear Area Md. Rezaul Karim and Md. Saidur Rahman August 28, 2006 Abstract A straight-line grid drawing of a planar graph G is a drawing of G on an integer grid such that each vertex is drawn as a grid point and each edge is drawn as a straight-line segment without edge crossings. It is well known that a planar graph of n vertices admits a straight-line grid drawing on a grid of area O(n 2 ). A lower bound of Ω(n 2 ) on the area-requirement for straight-line grid drawings of certain planar graphs are also known. In this paper, we introduce a fairly large class of planar graphs which admits a straightline grid drawing on a grid of area O(n). Our new class of planar graphs, which we call doughnut graphs, is a subclass of 5-connected planar graphs. We also show several interesting properties of doughnut graphs in this paper. Keywords: Planar Graph, Straight-Line Drawing, Grid Drawing, Linear Area Drawing. 1 Introduction Recently automatic aesthetic drawings of graphs have created intense interest due to their broad applications in computer networks, VLSI layout, information visualization etc., and as a consequence a number of drawing styles have come out [DETT99, JM03, KW01, NR04]. The most typical and widely studied drawing style is the straight-line drawing of a planar graph. A straight-line drawing of a planar graph G is a drawing of G such that each vertex is drawn as Dept. of Computer Science and Engineering, Bangladesh University of Engineering and Technology(BUET), Dhaka-1000, Dhaka, Bangladesh. Also Dept. of computer Science and Engineering, University of Dhaka, Dhaka- 1000, Bangladesh. rkarim@univdhaka.edu Dept. of Computer Science and Engineering, Bangladesh University of Engineering and Technology(BUET), Dhaka-1000, Dhaka, Bangladesh. saidurrahman@cse.buet.ac.bd 1
2 a point and each edge is drawn as a straight-line segment without edge crossings. A straightline grid drawing of a planar graph G is a straight-line drawing of G on an integer grid such that each vertex is drawn as a grid point as shown in Fig. 1(b). Wagner [Wag36], Fary [Far48] b h c a i b F1 c d j h p i b l k F2 o g (a) m e n f f g o n e j p m (b) d k l a F1 f g n h a e l m F2 p k d (c) o j i c b a h f g i n o m p e k j l (d) c d Figure 1: (a) A planar graph G, (b) a straight-line grid drawing of G with area O(n 2 ), (c) a doughnut embedding of G and (d) a straight-line grid drawing of G with area O(n). and Stein [Ste51] independently proved that every planar graph G has a straight-line drawing. Their proofs immediately yield polynomial-time algorithms to find a straight-line drawing of a given plane graph. However, the area of a rectangle enclosing a drawing on an integer grid obtained by these algorithms is not bounded by any polynomial in the number n of vertices in G. In fact, to obtain a drawing of area bounded by a polynomial remained as an open problem for long time. In 1990, de Fraysseix et al. [FPP90] and Schnyder [Sch90] showed by two different methods that every planar graph of n 3 vertices has a straight-line drawing on an integer grid of size (2n 4) (n 2) and (n 2) (n 2), respectively. Fig. 1(b) illustrates a straight-line grid drawing of the graph G in Fig. 1(a) with area O(n 2 ). A natural question arises: what is the minimum size of a grid required for a straight-line drawing? de Fraysseix et al. showed that, for each n 3, there exits a plane graph of n vertices, for example nested triangles, which needs a grid size of at least 2(n 1)/3 2(n 1)/3 for any grid drawing [CN98, FPP90]. It has been conjectured that every plane graph of n vertices has a grid drawing on a 2n/3 2n/3 grid, but it is still an open problem. For some restricted classes of graphs, more compact straight-line grid drawings are known. For example, a 4-connected plane graph G having at least four vertices on the outer face has a straight-line grid drawing 2
3 with area ( n/2 1) ( n/2 ) [MNN01]. Garg and Rusu showed that an n-node binary tree has a planar straight-line grid drawing with area O(n) [GR02, GR03b]. Although trees admit straight-line grid drawings with linear area, it is generally thought that triangulations may require a grid of quadratic size. Hence finding nontrivial classes of planar graphs of n vertices richer than trees that admit straight-line grid drawings with area o(n 2 ) is posted as an open problem in [BEGKLM03]. Garg and Rusu showed that an outerplanar graph with n vertices and the maximum degree d has a planar straight-line drawing with area O(dn 1.48 ) [GR03a]. Recently Di Battista and Frati showed that a balanced outerplanar graph of n vertices has a straight-line grid drawing with area O(n) and a general outerplanar graph of n vertices has a straight-line grid drawing with area O(n 1.48 ) [DF05]. In this paper, we introduce a new class of planar graphs which has a straight-line grid drawing on a grid of area O(n). We also give a linear-time algorithm to find such a drawing. Our new class of planar graphs is a subclass of 5-connected planar graphs, and we call the class doughnut graphs since a graph in this class has a doughnut-like embedding as illustrated in Fig. 1(c). In an embedding of a doughnut graph of n vertices there are two vertex-disjoint faces each having exactly n/4 vertices and each of all the other faces has exactly three vertices. Fig. 1(a) illustrates a doughnut graph of 16 vertices where each of the two faces F 1 and F 2 contains four vertices and each of all other faces contains exactly three vertices. Fig. 1(c) illustrates a doughnut-like embedding of G where F 1 is embedded as the outer face and F 2 is embedded as an inner face. A straight-line grid drawing of G with area O(n) is illustrated in Fig. 1(d). We also show several interesting properties of doughnut graphs in this paper. The remainder of the paper is organized as follows. In Section 2, we give some definitions. Section 3 provides some properties of the class of doughnut graphs. Section 4 deals with straight-line grid drawings of doughnut graphs. Finally Section 5 concludes the paper. 2 Preliminaries In this section we give some definitions. Let G = (V, E) be a connected simple graph with vertex set V and edge set E. Throughout the paper, we denote by n the number of vertices in G, that is, n = V, and denote by m the number of edges in G, that is, m= E. An edge joining vertices u and v is denoted by (u, v). The degree of a vertex v, denoted by d(v), is the number of edges incident to v in G. G is called r-regular if every vertex of G has degree r. We call a vertex v a neighbor of a vertex u in G if G has an edge (u, v). The connectivity κ(g) of a graph G is the minimum number of vertices whose removal results in a disconnected graph or a single-vertex graph K 1. G is called 3
4 k-connected if κ(g) k. We call a vertex of G a cut-vertex of G if its removal results in a disconnected or single-vertex graph. For W V, we denote by G W the graph obtained from G by deleting all vertices in W and all edges incident to them. A cut-set of G is a set S V (G) such that G S has more than one component or G S is a single vertex graph. A path in G is an ordered list of distinct vertices v 1, v 2,..., v q V such that (v i 1, v i ) E for all 2 i q. v 1 and v q are end-vertices of the path v 1, v 2,..., v q. Two paths are vertex-disjoint if they do not share any common vertex except their end vertices. A graph is planar if it can be embedded in the plane so that no two edges intersect geometrically except at a vertex to which they are both incident. A plane graph is a planar graph with a fixed embedding. A plane graph G divides the plane into connected regions called faces. The unbounded region is called the outer face. For a face F in G we denote by V (F ) the set of vertices of G on the boundary of face F. We call two faces F 1 and F 2 are vertex-disjoint if V (F 1 ) V (F 2 ) =. Let F be a face in a plane graph G with n 3. If the boundary of F has exactly three edges then we call F a triangulated face. One can divide a face F of p (p 3) vertices into p 2 triangulated faces by adding p 3 extra edges. The operation above is called triangulating a face. If every face of a graph is triangulated, then the graph is called a triangulated plane graph. We can obtain a triangulated plane graph G from a non-triangulated plane graph by triangulating all of its faces. Fig. 2(b) illustrates a triangulated plane graph obtained from the plane graph in Fig. 2(a). a a b c d j h i p l k o g (a) m e n f b c d h j i l k p o g (b) m e n f Figure 2: (a) Input graph G and (b) a triangulated plane graph G of graph G where extra edges are drawn by dotted lines A maximal planar graph is one to which no edge can be added without losing planarity. Thus in any embedding of a maximal planar graph G with n 3, the boundary of every face of G is a triangle, and hence an embedding of a maximal planar graph is often called a triangulated plane graph. It can be derived from the Euler s formula for planar graphs that if G is a maximal planar graph with n vertices and m edges then m = 3n - 6, for more details see [NR04]. A spanning subgraph of G is a subgraph with vertex set V (G). Let G be a 5-connected planar graph, let Γ be any planar embedding of G and let p be an integer such that p 3. We call G a p-doughnut graph if the following Conditions (d 1 ) and 4
5 (d 2 ) hold: (d 1 ) Γ has two vertex-disjoint faces each of which has exactly p vertices, and all the other faces of Γ has exactly three vertices; and (d 2 ) G has the minimum number of vertices satisfying Condition (d 1 ). In general, we call a p-doughnut graph for p 3 a doughnut graph. Since a doughnut graph is 5-connected, the following fact holds. Fact 2.1 Let G be a doughnut graph and let Γ and Γ be any two plane embeddings of G. Then any facial cycle of Γ is a facial cycle of Γ. Fact 2.1 implies that decomposition of a doughnut graph into its facial cycles is unique. Throughout the paper we often mention faces of a doughnut graph G without mentioning its plane embedding where description of the faces are valid for any plane embedding of G. 3 Properties of Doughnut Graphs In this section we will show some properties of a p-doughnut graph. We have the following lemma on the number of vertices of a graph satisfying Condition (d 1 ). Lemma 3.1 Let G be a 5-connected planar graph, let Γ be any planar embedding of G, and let p be an integer such that p 3. Assume that Γ has two vertex-disjoint faces each of which has exactly p vertices, and all the other faces of Γ has exactly three vertices. Then G has at least 4p vertices. Proof. Let F 1 and F 2 be the two faces of Γ each of which contains exactly p vertices. Let x be the number of vertices in G which are neither on F 1 nor on F 2. Then G has x + 2p vertices. We now calculate the number of edges in graph G. Faces F 1 and F 2 may not be triangulated, but all other faces of Γ are triangulated. If we triangulate both the faces F 1 and F 2 of Γ then the resulting graph G is a maximal planar graph. Using Euler formula for planar graphs, one can find that G has exactly 3(x + 2p) 6 = 3x + 6p 6 edges. To triangulate each of F 1 and F 2, we need to add p 3 edges and hence the number of edges in G is exactly (3x + 6p 6) 2(p 3) = 3x + 4p (1) Since G is 5-connected, degree of a vertex of G is at least 5. Hence, from the degree-sum formula we get 2(3x + 4p) 5(x + 2p). This relation implies x 2p (2) 5
6 Therefore G has at least 4p vertices. Q.E.D. Lemma 3.1 implies that a p-doughnut graph has 4p or more vertices. We now show that 4p vertices are sufficient to construct a p-doughnut graph as in the following lemma. Lemma 3.2 For an integer p, (p 3), one can construct a p-doughnut graph G with 4p vertices. Proof. We first construct a planar embedding Γ of G with 4p vertices and then show that G is a p-doughnut graph. Construction. Let C 1, C 2, C 3 be three cycles such that C 1 contains p vertices, C 2 contains 2p vertices and C 3 contains p vertices. Let, x 2,..., x p be the vertices on C 1, y 1, y 2,..., y p be the vertices on C 3, and z 1, z 2,.., z 2p be the vertices on C 2. Let R 1, R 2 and R 3 be three concentric circles on a plane with radius r 1, r 2 and r 3, respectively, such that r 1 > r 2 > r 3. We embed C 1, C 2 and C 3 on R 1, R 2 and R 3 respectively, as follows. We put the vertices, x 2...x p of C 1 on R 1 in clockwise order such that is put on the leftmost position among the vertices, x 2,..., x p. Similarly, we put vertices z 1, z 2,..., z 2p of C 2 on R 2 and y 1, y 2,..., y p of C 3 on R 3. We now add edges between the vertices on C 1 and C 2, and between the vertices on C 2 and C 3. We have two cases to consider. Case 1: k is even in z k. In this case, we add two edges (z k, x k/2 ), (z k, x i ) between C 2 and C 1, and one edge (z k, y i ) between C 2 and C 3 where i = 1 if k = 2p, i = k/2 + 1 otherwise. Case 2: k is odd in z k. In this case we add two edges (z k, y k/2 ), (z k, y i ) between C 2 and C 3, and one edge (z k, x k/2 ) between C 1 and C 2 where i = 1 if k = 2p 1, i = k/2 + 1 otherwise. We thus constructed a planar embedding Γ of G. Fig. 3 illustrates the construction above for the case of p = 4. We now prove that G is a p-doughnut graph. To prove this claim we need to prove that G satisfies the following properties (a) (c): (a) the graph G is a 5-connected planar graph; (b) any planar embedding Γ of G has exactly two vertex-disjoint faces each of which has exactly p vertices, and all the other faces are triangulated; and (c) G has the minimum number of vertices satisfying (a) and (b). 6
7 z 3 x 2 c 1 z 3 x 2 z 3 x 2 z 2 y 2 c c 2 3 z 4 z 2 y 2 z 4 z 2 y 2 z 4 x z z 1 1 y 5 1 y3 x 3 x z z 1 1 y 5 1 y 3 x 3 x z z 1 1 y 5 1 y 3 x 3 y 4 z 8 z 7 z 6 y 4 z 8 z 7 z 6 y 4 z 8 z 7 z 6 x 4 x 4 x 4 (a) (b) (c) Figure 3: Illustration for the construction of a planar embedding Γ of a p-doughnut graph G for p = 4; (a) embedding of the three cycles C 1, C 2 and C 3 on three concentric circles, (b) addition of edges for the case where k is even in z k and (c) Γ. (a) To prove that G is 5-connected, we show that there exist at least five vertex disjoint paths for any pair u, v of vertices in G. From the construction we can also prove that G is planar. The details of the proof are given in the appendix. (b) The construction of Γ implies that Cycle C 1 is the boundary of the outer face F 1 of Γ and Cycle C 3 is the boundary of an inner face F 2. Each of F 1 and F 2 has exactly p vertices. Clearly the two faces F 1 and F 2 of Γ are vertex-disjoint. Thus Γ has exactly two vertex-disjoint faces F 1 and F 2 each of which has exactly p vertices. We now show that the rest of the faces of Γ are triangulated. The rest of the faces can be divided into two groups; (i) faces having vertices on both the cycles C 1 and C 2 and (ii) faces having the vertices on both the cycles C 2 and C 3. We only prove that each face in Group (i) is triangulated, since similarly we can prove that each face in Group (ii) is triangulated. From our construction, each vertex z i with even i has exactly two neighbors on C 1 and the two neighbors of z i on C 1 are consecutive. Hence we get a triangulated face for each z i with even i which contains z i and the two neighbors of z i on C 1. We now show that the remaining faces in Group (i) are triangulated. Clearly each of the remaining faces in Group (i) must contain a vertex z i with odd i since a vertex on a face in Group (i) is either on C 1 or on C 2 and a vertex on C 2 has at most two neighbors on C 1. Let z i, z i+1 and z i+2 be three consecutive vertices on C 2 with even i. Then z i and z i+2 has a common neighbor x on C 1. One can observe from our construction that x is also the only neighbor of z i+1 on C 1. Then exactly two faces in Group (i) contains z i+1 and the two faces are triangulated. This implies that there are exactly two faces in Group (i) for each z i on C 2 with odd i which contains z i and are triangulated. Therefore each face in Group (i) are triangulated. 7
8 Thus Γ has exactly two vertex-disjoint faces F 1 and F 2 each of which has exactly p vertices, and the rest of the faces are triangulated. By Fact 2.1, any planar embedding Γ of G has exactly two vertex-disjoint faces each of which has exactly p vertices, and all other faces are triangulated. (c) We have constructed the graph G with 4p vertices and proofs for (a) and (b) imply that G satisfies properties (a) and (b). G is a 5-connected planar graph and hence satisfies (d 1 ) of the definition of a p-doughnut graph. By Lemma 3.1, 4p is the minimum number of vertices of such a graph. Since we have constructed G with 4p vertices, G has the minimum number of vertices satisfying properties (a) and (b). Q.E.D. Lemmas 3.1 and 3.2 imply that a p-doughnut graph G has exactly 4p vertices. Then the value of x in Eq. (2) is 2p in G. By Eq. (1), G has exactly 3x + 4p = 10p edges. Since G is 5-connected, every vertex has degree 5 or more. Then degree-sum formula implies that every vertex of G has degree exactly 5, since G has 4p vertices and 10p edges. Therefore the following theorem holds Theorem 3.3 Let G be a p-doughnut graph. Then G is 5-regular and has exactly 4p vertices. For a cycle C in a plane graph G, we denote by G(C) the plane subgraph of G inside C excluding C. Let C 1, C 2 and C 3 be three vertex-disjoint cycles in G such that V (C 1 ) V (C 2 ) V (C 3 )=V (G). Then we call an embedding Γ of G a doughnut embedding of G if C 1 is the outer face of Γ, G(C 1 ) contains C 2 and G(C 2 ) contains C 3. We call C 1 the outer cycle, C 2 the middle cycle and C 3 the inner cycle of Γ. We next show that a p-doughnut graph has a doughnut embedding. To prove the claim we need the following lemma. Lemma 3.4 Let G be a p-doughnut graph. Let F 1 and F 2 be the two faces of G each of which contains exactly p vertices. Then G {V (F 1 ) V (F 2 )} is connected and contains a cycle. Proof. Since G is 5-connected, G = G {V (F 1 ) V (F 2 )} is connected; otherwise, G would have a cut-set of 4 vertices - two of them are on F 1 and the other two are on F 2, a contradiction. G contains 2p vertices and at least 2p edges; if there is no edge between a vertex on F 1 and a vertex on F 2 in G then G contains exactly 2p edges, otherwise G contains more than 2p edges. Since G is connected, has 2p vertices and has at least 2p edges, G must have a cycle. Q.E.D. We now prove the following theorem. Theorem 3.5 A p-doughnut graph always has a doughnut embedding. 8
9 Proof. Let F 1 and F 2 be two faces of G each of which contains exactly p vertices. Let Γ be a plane embedding of G such that F 1 is embedded as the outer face. By Lemma 3.4 G {V (F 1 ) V (F 2 )} is connected and contains a cycle. Let C be a cycle in G {V (F 1 ) V (F 2 )}. One can observe that if G(C ) does not contain F 2, then there would be edge crossings among the edges from the vertices on C to the vertices on F 1 and F 2, and hence Γ would not be a plane embedding of G. Therefore G(C ) contains F 2. Furthermore, G {V (F 1 ) V (F 2 )} contains exactly one cycle C, and C contains all vertices of G {V (F 1 ) V (F 2 )}; otherwise, Γ would not be a planar embedding of G, a contradiction. Therefore in Γ, G(F 1 ) contains C and G(C ) contains F 2 and hence Γ is a doughnut embedding. Q.E.D. A 1-outerplanar graph is an embedded planar graph where all vertices are on the outer face. It is also called 1-outerplane graph. An embedded graph is a k-outerplanar (k > 1) if the embedded graph obtained by removing all vertices of the outer face is a (k 1)-outerplane graph. A graph is k-outerplanar if it admits a k-outerplanar embedding. A planar graph G has outerplanarity k ( k > 0) if it is k-outerplanar and it is not j-outerplanar for 0 < j < k. In the rest of this section, we show that the outerplanarity of a p-doughnut graph G is 3. Since none of the faces of G contains all vertices of G, G does not admit 1-outeplanar embedding. We now need to show that G does not admit a 2-outerplanar embedding. We have the following fact. Fact 3.6 A graph G having outerplanarity 2 has a cut-set of four or less vertices. Proof. Deleting vertices from the outer face of a 2-outerplanar graph leaves a 1-outerplanar graph. A 1-outerplanar graph has a cut-set of at most 2. From the definition of 2-outerplanar graph and the cut-set size of 1-outerplanar graph, one can observe that a graph G having outerplanarity 2 has a cut-set of four or less vertices. Q.E.D. Since G is 5-connected graph, G has no cut-set of four or less vertices. Hence by Fact 3.6 the graph G has outerplanarity greater than 2. Thus the following lemma holds. Lemma 3.7 Let G be a p-doughnut graph for p 3. Then G is neither an 1-outerplanar graph nor a 2-outerplanar graph. We now prove the following theorem. Theorem 3.8 The outerplanarity of a p-doughnut graph G is 3. Proof. A doughnut embedding of G immediately implies that G has a 3-outerplanar embedding. By Lemma 3.7 G is neither an 1-outerplanar graph nor a 2-outerplanar graph. Therefore the outerplanarity of a p-doughnut graph is 3. Q.E.D. 9
10 4 Straight-Line Grid Drawings of Doughnut Graphs In this section we give a linear-time algorithm for finding a straight-line grid drawing of a doughnut graph on a grid of linear area. Let G be a p-doughnut graph. By Theorem 3.5 G has a doughnut embedding. Let Γ be a doughnut embedding of G as illustrated in Fig. 4(a). Let C 1, C 2, and C 3 be the outer cycle, the middle cycle and the inner cycle of Γ, respectively. We now have the following facts. Lemma 4.1 Let G be a p-doughnut graph and let Γ be a doughnut embedding of G. Let C 1, C 2, and C 3 be the outer cycle, the middle cycle and the inner cycle of Γ, respectively. For any two consecutive vertices z i, z i+1 on C 2, one of z i, z i+1 has exactly one neighbor on C 1 and the other has exactly two neighbors on C 1. Proof. In Γ G(C 1 ) contains C 2 and G(C 2 ) contains C 3. By Theorem 3.3 G is 5-regular, and hence each vertex on C 1 has exactly three neighbors on C 2. Since each of the faces which contains vertices on both C 1 and C 2 is triangulated, one can observe that one of z i, z i+1 has exactly one neighbor on C 1 and the other has exactly two neighbors on C 1. Q.E.D. Lemma 4.2 Let G be a p-doughnut graph and let Γ be a doughnut embedding of G. Let C 1, C 2 and C 3 be the outer cycle, the middle cycle and the inner cycle of Γ, respectively. Let z i be a vertex on C 2, then either the following (a) or (b) holds. (a) z i has exactly one neighbor on C 1 and exactly two neighbors on C 3. (b) z i has exactly one neighbor on C 3 and exactly two neighbors on C 1. Proof. In Γ G(C 1 ) contains C 2 and G(C 2 ) contains C 3. By Theorem 3.3 G is 5-regular, and hence each vertex on C 2 has exactly three neighbors on C 1 and C 2. These neighbors are on C 1 or on C 3 or on both. Lemma 4.1 yields z i has either one or two neighbors on C 1. If z i has one neighbor on C 1 then (a) holds. Otherwise, (b) holds. Q.E.D. Before describing our algorithm we need some definitions. Let z i be a vertex on C 2 such that z i has two neighbors on C 1. Let x and x be the two neighbors of z i on C 1 such that x is the counter clockwise next vertex to x on C 1. We call x the left neighbor of z i on C 1 and x the right neighbor of z i on C 1. Similarly we define the left neighbor and the right neighbor of z i on C 3 if a vertex z i on C 2 has two neighbors on C 3. We are now ready to give our algorithm. We now embed C 1, C 2 and C 3 on three nested rectangles R 1, R 2 and R 3, respectively on a grid as illustrated in Fig. 4(b). We draw rectangle R 1 on grid with four corners on grid point 10
11 +1 C 1 C 2 x p yp C 3 z 2p x1 z1 y 1 zp z 2 y 2 y 3 z 3 x2 z z 5 4 x3 (0,5) xp z 2p (1,4) (2,3) (2,2) R 1 R 2 R 3 ( p+1,5) xi (a) (0,5) xp ( p,4) zp +1 z 2p (1,4) (p 1,3) (2,3) (p 1,2) (2,2) (p 1,3) (p 1,2) p ( p,4) z ( p+1,5) xi z1 (1,1) ( p,1) z p z1 (1,1) ( p,1) z p (0,0) (0,5) xp (b) ( p+1,0) xi ( p+1,5) xi +1 xp (0,0) (0,5) (c) ( p+1,0) xi ( p+1,5) xi +1 z 2p zp +1 z 2p zp +1 y p (2,3) (p 1,3) y i +1 y 1 (2,2) (p 1,2) y i y p (2,3) (p 1,3) y i +1 y 1 (2,2) (p 1,2) y i z1 z p z1 z p (0,0) (d) xi xi ( p +1,0) (0,0) ( p+1,0) (e) Figure 4: (a) A doughnut embedding of a p-doughnut graph of G, (b) edges between four corner vertices of R 1 and R 2 are drawn as straight-line segments, (c) edges between vertices on R 1 and R 2 are drawn, (d) edges between four corner vertices of R 2 and R 3 are drawn as straight-line segments, and (e) a straight-line grid drawing of G. 11
12 (0,0), (p + 1, 0), (p + 1, 5) and (0, 5). Similarly the four corners of R 2 are (1, 1), (p, 1), (p, 4), (1, 4) and the four corners of R 3 are (2,2), (p 1, 2), (p 1, 3), (2,3). We first embed C 2 on R 2 as follows. Let z 1, z 2,..., z 2p be the vertices on C 2 in counter clockwise order such that z 1 has exactly one neighbor in C 1. We put z 1 on (1, 1), z p on (p, 1), z p+1 on (p, 4) and z 2p on (1, 4). We put the other vertices of C 2 on grid points of R 2 preserving the relative positions of vertices of C 2. We now put vertices of C 1 on R 1 as follows. Let be the neighbor of z 1 on C 1 and let, x 2,..., x p be the vertices of C 1 in counter clockwise order. We put on (0, 0) and x p on (0, 5). Since z 1 has exactly one neighbor on C 1, by Lemma 4.1, z 2p has exactly two neighbors on C 1 since z 2p and z 1 are consecutive vertices on C 2. Since z 1 and z 2p is on a triangulated face of G having vertices on both C 1 and C 2, is a neighbor of z 2p. One can easily observe that x p is the other neighbor of z 2p on C 1. Clearly the edges (, z 1 ), (, z 2p ), (x p, z 2p ) can be drawn as straight-line segment without edge crossing as illustrated in Fig. 4(b). We next put neighbors of z p and z p+1. Let x i be the neighbor of z p on C 1 if z p has exactly one neighbor on C 1, otherwise let x i be the left neighbor of z p on C 1. We put x i on (p + 1, 0) and x i+1 on (p + 1, 5). We now show that the edges from z p and z p+1 to x i and x i+1 can be drawn as straight-line segments without edge crossings. We first consider the case where z p has exactly one neighbor on C 1. In this case x i is the only one neighbor of z p on C 1. Then, by Lemma 4.1, z p+1 has two neighbors on C 1. Since each face having vertices on both C 1 and C 2 is triangulated, x i and x i+1 are the two neighbors of z p+1 on C 1. Clearly the edges (z p, x i ), (z p+1, x i ) and (z p+1, x i+1 ) can be drawn as straight-line segments without edge crossings, as illustrated in Fig. 4(b). We next consider the case where z p has two neighbors on C 1. In this case let x i and x i+1 be the two neighbors of z p on C 1. By Lemma 4.1, z p+1 has exactly one neighbor on C 1. Since the face of G containing z p, z p+1 and the neighbor of z p+1 on C 1 is triangulated, x i+1 is the neighbor of z p+1. Clearly the edges (z p, x i ), (z p, x i+1 ) and (z p+1, x i+1 ) can be drawn as straight-line segments without edge crossings as illustrated in Fig. 5. We put the other vertices of C 1 on grid points of R 1 arbitrarily preserving their relative positions on C 1. x p (0,5) R 1 R 2 z p ( p+1,5) x +1 i +1 z 2 p (1,4) (2,3) (2,2) R 3 (p 1,3) (p 1,2) p,4) ( z 1 (1,1) ( p,1) zp (0,0) ( p+1,0) x i Figure 5: Illustration of case where z p has two neighbors on C 1. 12
13 Since vertices z 2, z 3,..., z p 1 are put in counter clockwise order on the horizontal segment between points (1, 1) and (p, 1) on R 2 preserving the relative positions of vertices on C 2 and x 2, x 3,.., x i 1 are put on the horizontal segment between points (0, 0) and (p + 1, 0) of R 1 preserving the relative positions of the vertices on C 1, all edges of G connecting vertices in {z 2, z 3,..., z p 1 } to vertices in {x 2, x 3,.., x i 1 } can be drawn as straight-line segments without edge crossings. Similarly, the edges of G connecting vertices in {z p+1, z p+2,..., z 2p 1 } to vertices in {x i+2, x i+3,.., x p 1 } can be drawn as straight-line segments without edge crossings. See Fig. 4(c). We now put the vertices of C 3 on R 3 as follows. Since z 1 has exactly one neighbor on C 1, by Lemma 4.2(a), z 1 has exactly two neighbors on C 3. Then, by Lemma 4.2(b), z 2p has exactly one neighbor on C 3 since z 2p has exactly two neighbors on C 1. Let y 1, y 2,..., y p be the vertices on C 3 in counter clockwise order such that y 1 is the right neighbor of z 1. Then y p is the left neighbor of z 1. We put y 1 on (2, 2) and y p on (2, 3). Clearly the edges (y 1, z 1 ), (y 1, z 2p ), (y p, z 1 ) can be drawn as straight-line segements without edge crossings, as illustrated in Fig. 4(d). We next put neighbors of z p and z p+1 on C 3. Let y i be the neighbor of z p on C 2 if z p has exactly one neighbor on C 3, otherwise y i be the left neighbor and y i+1 be the right neighbor of z p on C 3. We put y i on (p 1, 2) and y i+1 on (p 1, 3), and hence the edges of G from z p and z p+1 to y i and y i+1 can be drawn as straight-line segments without edge crossing as illustrated in Fig. 4(d). We put the other vertices of C 3 on grid points of R 3 arbitrarily preserving their relative positions on C 3. Since vertices z 2, z 3,..., z p 1 are put in counter clockwise order on a horizontal segment between points (1, 1) and (p, 1) on R 2 preserving the relative positions of vertices and y 2, y 3,.., y i 1 are put on a horizontal segment between points (2, 2) and (p 1, 2) of R 3, all edges of G connecting vertices in {z 2, z 3,..., z p 1 } to vertices in {y 2, y 3,.., y i 1 } can be drawn as straight-line segments without edge crossings. Similarly, the edges of G connecting vertices in {z p+1, z p+2,..., z 2p 1 } to vertices in {y i+2, y i+3,.., y p 1 } can be drawn as straight-line segments without edge crossings. Fig. 4(e) illustrates the complete straight-line grid drawing of a p-doughnut graph. The area requirement of the straight-line grid drawing of a p-doughnut graph G is equal to the area of rectangle R 1 and the area of R 1 is = (p + 1) 6 = (n/4 + 1) 6 = O(n), where n is the number of vertices in G. Thus we have a straight-line grid drawing of a p-doughnut graph on a grid of linear area. Clearly the algorithm takes linear time. Thus the following theorem holds. Theorem 4.3 A doughnut graph G of n vertices has a straight-line grid drawing on a grid of 13
14 area O(n). Furthermore, the drawing of G can be found in linear time. 5 Conclusion In this paper we introduced a new class of planar graphs, called doughnut graphs, which is a subclass of 5-connected planar graphs. A graph in this class has a straight-line grid drawing on a grid of linear area, and the drawing can be found in linear time. We also showed that a doughnut graph is a 5-regular graph and the outerplanarity of a doughnut graph is 3. Although the class doughnut graphs contains exactly one graph for each integer p 3, the class contains an infinite number of graphs. Since a doughnut graph G has a straight-line grid drawing on a grid of linear area, any spanning subgraph of G has a straight-line grid drawing on a grid of linear area. Thus doughnut graphs and their spanning subgraphs constitute a wide class of graphs which admits a straight-line grid drawing on a grid of linear area. Our linear algorithm finds a straight-line grid drawing of a doughnut graph. If we can augment a spanning subgraph G of a doughnut graph G to the doughnut graph G, then our algorithm can be used to find a straight-line grid drawing of G on a grid of linear area. However recognizing a spanning subgraph of a doughnut graph and its augmentation look a non-trivial problem and it is left as an open problem. Finding other nontrivial classes of planar graphs which admit straight-line grid drawings on grids of linear area is also left as an open problem. References [BEGKLM03] F. Brandenburg, D. Eppstein, M.T. Goodrich, S. Kobourov, G. Liotta and P. Mutzel, Selected open problems in graph drawing, Proc. of Graph Drawing 2003, Lect. Notes in Computer Science, Springer, 2912, pp , [CN98] M. Chrobak and S. Nakano, Minimum-width grid drawings of a plane graphs, Comp.Geom. Theory and Appl., 11, pp , [DF05] G. Di Battista and F. Frati, Small area drawings of outerplanar graphs, Proc. of Graph Drawing 2005, Lect. Notes in Computer Science, Springer, 3843, pp , [DETT99] G. Di Battista, P. Eades, R. Tamassia, I. G. Tollis, Graph Drawing: Algorithms for the Visualization of Graphs, Prentice-Hall Inc., Upper Saddle River, New Jersey, [Far48] I. Fary, On Straight line representation of planar graphs, Acta Sci.Math. Szeged, 11, pp ,
15 [FPP90] H. de Fraysseix, J. Pach and R. Pollack, How to draw a planar graph on a grid, Combinatorica, 10, pp , [GR02] A. Garg and A. Rusu, Straight-line drawings of binary trees with linear area and arbitrary aspect ration, Proc. of Graph Drawing 2002, Lect. Notes in Computer Science, Springer, 2528, pp , [GR03a] A. Garg and A. Rusu, Area-efficient drawings of outerplanar graphs, Proc. of Graph Drawing 2003, Lect. Notes in Computer Science, Springer, 2912, pp , [GR03b] A. Garg and A. Rusu, A more practical algorithm for drawing binary trees in linear area with arbitrary aspect ratio, Proc. of Graph Drawing 2003, Lect. Notes in Computer Science, Springer, 2912, pp , [JM03] M. Jünger and P. Mutzel (Editor), Graph Drawing Software (Mathematics and Visualization), Springer, Berlin, [KW01] M. Kaufmann and D. Wagner (Eds.), Drawing Graphs: Methods amd Models, Lect. Notes in Computer Science, Springer, 2025, Berlin, [MNN01] K. Miura, S. Nakano and T. Nishizeki, Grid drawings of four-connected planar graphs, Discrete and Computational Geometry, 26(1), pp , [NR04] T. Nishizeki and M. S. Rahman, Planar Graph Drawing, World Scientific, Singapore, [Sch90] W. Schnyder, Embedding planar graphs on the grid, Proc., First ACM-SIAM Symp. on Discrete Algorithms, San Francisco, pp , [Ste51] K. S. Stein, Convex maps, Proc. Amer Math. Soc., 2, pp , [Wag36] K. Wagner, Bemerkugen zum veierfarbenproblem, Jasresber. Deutsch. Math-Verien., 46, pp , A Appendix We give the details of the proof of Property (a) in the proof of Lemma 3.2 as in the following lemma. 15
16 Lemma A.1 Let G be a graph constructed using the construction in the proof of Lemma 3.2. Then G is a 5-connected planar graph. Proof. We first show that G is 5-connected. It is sufficient to prove that there are at least 5 vertex-disjoint paths between any pair u, v of vertices in G. We have the following four cases to consider. Case 1: Both vertices u, v are either on C 1 or on C 3. We assume that both of u and v are on C 1, since the case where both of u and v are on C 3 is similar. Let u = x i and v = x j. Without loss of generality, we assume that i < j. In this case we find five vertex-disjoint paths between u and v as follows. P 1 = x i, x i+1,..., x j 1, x j ; P 2 = x i, x i 1,...,, x p,..., x j+1, x j ; P 3 = x i, z 2i, z 2i+1,..., z 2j 3, z 2j 2, x j ; P 4 = x i, z 2i 2, z 2i 3,..., z 2j+1, z 2j, x j ; P 5 = x i, z 2i 1, y (2i 1)/2, y (2i 1)/2 1,..., y (2j 1)/2 +1, y (2j 1)/2, z 2j 1, x j. Fig. 6 illustrates the case where u = x 2 and v = x 4. In this example P 1 = x 2, x 3, x 4 ; P 2 = x 2,, x 5, x 4 ; P 3 = x 2, z 4, z 5, z 6, x 4 ; P 4 = x 2, z 2, z 1, z 10, z 9, z 8, x 4 ; P 5 = x 2, z 3, y 2, y 1, y 5, y 4, z 7, x 4. x2 z 3 z2 z1 z 4 x3 z 5 y y 3 2 y 41 y 1 y 5 z 6 z 7 P 1 P2 P3 P4 P5 x4 z 10 x5 z 9 z 8 Figure 6: Illustration for Case 1 in the proof of (a) Case 2: Both vertices u, v are on C 2. Let u = z i and v = z j. We have noticed that a vertex on C 2 has two neighbors on C 1 and one neighbor on C 3 if the index of the vertex is even, and a vertex on C 2 has two neighbors on 16
17 C 3 and one neighbor on C 1 if the index of the vertex is odd. Therefore we have two subcases to consider. Subcase 2(a): i and j are odd. In this case, we find five vertex-disjoint paths between z i and z j as follows. P 1 = z i, z i+1,..., z j 1, z j ; P 2 = z i, z i 1,..., z j+1, z j ; P 3 = z i, x i/2, x i/2 1,..., x j/2 +1, x j/2, z j ; P 4 = z i, y i/2, y i/2 1,..., y j/2 +2, y j/2 +1, z j ; P 5 = z i, y i/2 +1, y i/2 +2,..., y j/2 1, y j/2, z j. Fig. 7(a) illustrates the case where u = z 3 and v = z 7. In this example P 1 = z 3, z 4, z 5, z 6, z 7 ; P 2 = z 3, z 2, z 1, z 10, z 9, z 8, z 7 ; P 3 = z 3, x 2,, x 5, x 4, z 7 ; P 4 = z 3, y 2, y 1, y 5, z 7 ; P 5 = z 3, y 3, y 4, z 7. x2 z 3 z2 z 4 z 5 y y 3 2 x3 z 6 x2 z 3 z2 z 4 z 5 y y 3 2 x3 z 6 P 1 P2 P3 P4 P5 z1 y 1 y 5 y 41 z 7 x4 z1 y 1 y 5 y 41 z 7 x4 z 10 z 9 z 8 z 10 z 9 z 8 x5 (i) x5 (ii) Figure 7: Illustration for (i) Subcase 2(a) and (ii) Subcase 2(b) in the proof of (a) Subcase 2(b): i is even and j is odd. The vertex-disjoint five paths are as follows. P 1 = z i, z i+1,..., z j 1, z j ; P 2 = z i, x i/2+1, x i/2+2,..., x j/2 1, x j/2, z j ; P 3 = z i, x i/2, x i/2 1,..., x (j+1)/2 +1, x (j+1)/2, z j+1, z j ; P 4 = z i, z i 1, y (i 1)/2, y (i 1)/2 1,..., y j/2 +2, y j/2 +1, z j ; P 5 = z i, y i/2+1, y i/2+2,..., y j/2 1, y j/2, z j. Fig. 7(b) illustrates the case where u = z 2 and v = z 7. In this example P 1 = z 2, z 3, z 4, z 5,z 6, z 7 ; 17
18 P 2 = z 2, x 2, x 3, x 4, z 7 ; P 3 = z 2,, x 5, z 8, z 7 ; P 4 = z 2, z 1, y 1, y 5,z 7 ; P 5 = z 2, y 2, y 3, y 4, z 7. Case 3: The vertex u either on C 1 or C 3 and v on C 2. We assume that u is on C 1 and v is on C 2, since the case where u is on C 3 and v on C 2 is similar. Let u = x i and v = z j. In this case, we have two subcases to consider. Subcase 3(a): j is even. In this case, five vertex-disjoint paths are as follows. P 1 = x i, x i+1,..., x j/2 1, x j/2, z j ; P 2 = x i, x i 1,..., x j/2+2, x j/2+1, z j ; P 3 = x i, z 2i 2, z 2i 3,..., z j+1, z j ; P 4 = x i, z 2i, z 2i+1,..., z j 1, z j ; P 5 = x i, z 2i 1, y (2i 1)/2, y (2i 1)/2 +1,...y j/2, y j/2+1, z j. Fig. 8(a) illustrates the case where u = x 2 and v = z 8. In this example P 1 = x 2, x 3, x 4, z 8 ; P 2 = x 2,, x 5, z 8 ; P 3 = x 2, z 2, z 1, z 10, z 9, z 8 ; P 4 = x 2, z 4, z 5, z 6, z 7, z 8 ; P 5 = x 2, z 3, y 2, y 3, y 4, y 5, z 8. x2 z 3 z2 z1 z 4 x3 z 5 y y 3 2 y 41 y 1 y 5 z 6 z 7 x4 x2 z 3 z2 z1 z 4 x3 z 5 y y 3 2 y 41 y 1 y 5 z 6 z 7 x4 P 1 P2 P3 P4 P5 z 10 z 9 z 8 z 10 z 9 z 8 x5 (i) x5 (ii) Figure 8: Illustration for (i) Subcase 3(a) and (ii) Subcase 3(b) in the proof of (a) Subcase 3(b): j is odd. In this case, five vertex-disjoints paths are as follows. P 1 = x i, x i+1,..., x j/2 1, x j/2, z j ; P 2 = x i, x i 1,..., x (j+1)/2 +1, x (j+1)/2, z j+1, z j ; 18
19 P 3 = x i, z 2i, z 2i+1,..., z j 1, z j ; P 4 = x i, z 2i 2, z 2i 3, y (2i 3)/2, y (2i 3)/ , y j/2, y j/2 +1, z j ; P 5 = x i, z 2i 1, y (2i 1)/2 +1, y (2i 1)/2 +2,..., y j/2 1, y j/2, z j. Fig. 8(b) illustrates the case where u = x 2 and v = z 9. In this example P 1 = x 2, x 3, x 4, x 5, z 9 ; P 2 = x 2,, z 10, z 9 ; P 3 = x 2, z 4, z 5, z 6, z 7, z 8, z 9 ; P 4 = x 2, z 2, z 1, y 1, z 9 ; P 5 = x 2, z 3, y 3, y 4, y 5, z 9. Case 4: The vertex u on C 1 and v on C 3. Let us assume that u = x i and v = y j. In this case, vertex-disjoint five paths are as follows. P 1 = x i, x i+1,..., x j 2, x j 1, z 2j 2, y j ; P 2 = x i, x i 1,...x (2j 1)/2 +1, x (2j 1)/2, z 2j 1, y j ; P 3 = x i, z 2i, z 2i+1,..., z 2j 4, z 2j 3, y j ; P 4 = x i, z 2i 2, z 2i 3..., z 2j+2, z 2j+1, y j+1, y j ; P 5 = x i, z 2i 1, y (2i 1)/2, y (2i 1)/2 +1,..., y j 1, y j. Fig. 9 illustrates the case where u = x 2 and v = y 4. In this example P 1 = x 2, x 3, z 6, y 4 ; P 2 = x 2,, x 5, x 4, z 7, y 4 ; P 3 = x 2, z 4, z 5, y 4 ; P 4 = x 2, z 2, z 1, z 10, z 9, y 5, y 4 ; P 5 = x 2, z 3, y 2, y 3, y 4. x2 z 3 z2 z 4 z 5 y y 3 2 x3 z 6 P 1 P2 P3 P4 P5 y 41 z1 y 1 y 5 z 7 x4 z 10 x5 z 9 z 8 Figure 9: Illustration for Case 4 in the proof of (a) Thus we can find five vertex-disjoint paths for each pair of vertices in graph G. Therefore, the graph G is 5-connected. 19
20 It is remained to prove that G is planar. From the construction, we add edges between the vertices on C 1, C 2 and between the vertices on C 2, C 3. There is no edge between the vertices on C 1 and C 3. To prove that G is planar, we need to show that the edges between vertices on C 1 and C 2 can be drawn without edge crossings and edges between vertices on C 2 and C 3 can be drawn without edge crossings. Consider the edges between vertices on C 1 and C 2. For any two edges (z i, x i ) and (z j, x j ) between C 1 and C 2, if z i = z j then x j follows x i in clockwise order according to our construction and if z j appears later than z i in clockwise order of vertices on C 2 then either x i = x j or x j appears later than x i in clockwise order of vertices on C 1. Hence the two edges (z i, x i ) and (z j, x j ) can be drawn without edge crossings. Similarly we can prove that the edges between the vertices on C 2 and C 3 can be drawn without edge crossings. Therefore G is planar. Therefore the graph G is 5-connected planar graph. Q.E.D. 20
Removing Even Crossings
EuroComb 2005 DMTCS proc. AE, 2005, 105 110 Removing Even Crossings Michael J. Pelsmajer 1, Marcus Schaefer 2 and Daniel Štefankovič 2 1 Department of Applied Mathematics, Illinois Institute of Technology,
More informationLabeling outerplanar graphs with maximum degree three
Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics
More informationarxiv:1409.4299v1 [cs.cg] 15 Sep 2014
Planar Embeddings with Small and Uniform Faces Giordano Da Lozzo, Vít Jelínek, Jan Kratochvíl 3, and Ignaz Rutter 3,4 arxiv:409.499v [cs.cg] 5 Sep 04 Department of Engineering, Roma Tre University, Italy
More informationRegular Augmentations of Planar Graphs with Low Degree
Regular Augmentations of Planar Graphs with Low Degree Bachelor Thesis of Huyen Chau Nguyen At the Department of Informatics Institute of Theoretical Computer Science Reviewers: Advisors: Prof. Dr. Dorothea
More informationClique coloring B 1 -EPG graphs
Clique coloring B 1 -EPG graphs Flavia Bonomo a,c, María Pía Mazzoleni b,c, and Maya Stein d a Departamento de Computación, FCEN-UBA, Buenos Aires, Argentina. b Departamento de Matemática, FCE-UNLP, La
More informationThe positive minimum degree game on sparse graphs
The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University
More informationRemoving even crossings
Removing even crossings Michael J. Pelsmajer a, Marcus Schaefer b, Daniel Štefankovič c a Department of Applied Mathematics, Illinois Institute of Technology, Chicago, IL 60616, USA b Department of Computer
More informationFinding and counting given length cycles
Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More informationHOLES 5.1. INTRODUCTION
HOLES 5.1. INTRODUCTION One of the major open problems in the field of art gallery theorems is to establish a theorem for polygons with holes. A polygon with holes is a polygon P enclosing several other
More informationThe minimum number of distinct areas of triangles determined by a set of n points in the plane
The minimum number of distinct areas of triangles determined by a set of n points in the plane Rom Pinchasi Israel Institute of Technology, Technion 1 August 6, 007 Abstract We prove a conjecture of Erdős,
More informationMidterm Practice Problems
6.042/8.062J Mathematics for Computer Science October 2, 200 Tom Leighton, Marten van Dijk, and Brooke Cowan Midterm Practice Problems Problem. [0 points] In problem set you showed that the nand operator
More informationOn the k-path cover problem for cacti
On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we
More informationA Turán Type Problem Concerning the Powers of the Degrees of a Graph
A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:
More informationShortcut sets for plane Euclidean networks (Extended abstract) 1
Shortcut sets for plane Euclidean networks (Extended abstract) 1 J. Cáceres a D. Garijo b A. González b A. Márquez b M. L. Puertas a P. Ribeiro c a Departamento de Matemáticas, Universidad de Almería,
More informationZachary Monaco Georgia College Olympic Coloring: Go For The Gold
Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various
More informationUPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE
UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE ANDREW LUM ADVISOR: DAVID GUICHARD ABSTRACT. L(2,1)-labeling was first defined by Jerrold Griggs [Gr, 1992] as a way to use graphs
More informationGRAPH THEORY LECTURE 4: TREES
GRAPH THEORY LECTURE 4: TREES Abstract. 3.1 presents some standard characterizations and properties of trees. 3.2 presents several different types of trees. 3.7 develops a counting method based on a bijection
More informationExtremal Wiener Index of Trees with All Degrees Odd
MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 70 (2013) 287-292 ISSN 0340-6253 Extremal Wiener Index of Trees with All Degrees Odd Hong Lin School of
More informationSum of Degrees of Vertices Theorem
Sum of Degrees of Vertices Theorem Theorem (Sum of Degrees of Vertices Theorem) Suppose a graph has n vertices with degrees d 1, d 2, d 3,...,d n. Add together all degrees to get a new number d 1 + d 2
More informationGraph Theory Lecture 3: Sum of Degrees Formulas, Planar Graphs, and Euler s Theorem Spring 2014 Morgan Schreffler Office: POT 902
Graph Theory Lecture 3: Sum of Degrees Formulas, Planar Graphs, and Euler s Theorem Spring 2014 Morgan Schreffler Office: POT 902 http://www.ms.uky.edu/~mschreffler Different Graphs, Similar Properties
More informationGraphs without proper subgraphs of minimum degree 3 and short cycles
Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract
More informationResearch Statement. Andrew Suk
Research Statement Andrew Suk 1 Introduction My research interests are combinatorial methods in discrete geometry. In particular, I am interested in extremal problems on geometric objects. My research
More informationx 2 f 2 e 1 e 4 e 3 e 2 q f 4 x 4 f 3 x 3
Karl-Franzens-Universitat Graz & Technische Universitat Graz SPEZIALFORSCHUNGSBEREICH F 003 OPTIMIERUNG und KONTROLLE Projektbereich DISKRETE OPTIMIERUNG O. Aichholzer F. Aurenhammer R. Hainz New Results
More informationArrangements And Duality
Arrangements And Duality 3.1 Introduction 3 Point configurations are tbe most basic structure we study in computational geometry. But what about configurations of more complicated shapes? For example,
More informationA Note on Maximum Independent Sets in Rectangle Intersection Graphs
A Note on Maximum Independent Sets in Rectangle Intersection Graphs Timothy M. Chan School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1, Canada tmchan@uwaterloo.ca September 12,
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationCycles in a Graph Whose Lengths Differ by One or Two
Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS
More informationHomework until Test #2
MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such
More informationSolving Geometric Problems with the Rotating Calipers *
Solving Geometric Problems with the Rotating Calipers * Godfried Toussaint School of Computer Science McGill University Montreal, Quebec, Canada ABSTRACT Shamos [1] recently showed that the diameter of
More informationCOMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationDisjoint Compatible Geometric Matchings
Disjoint Compatible Geometric Matchings Mashhood Ishaque Diane L. Souvaine Csaba D. Tóth Abstract We prove that for every even set of n pairwise disjoint line segments in the plane in general position,
More informationarxiv:1203.1525v1 [math.co] 7 Mar 2012
Constructing subset partition graphs with strong adjacency and end-point count properties Nicolai Hähnle haehnle@math.tu-berlin.de arxiv:1203.1525v1 [math.co] 7 Mar 2012 March 8, 2012 Abstract Kim defined
More informationCS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010
CS 598CSC: Combinatorial Optimization Lecture date: /4/010 Instructor: Chandra Chekuri Scribe: David Morrison Gomory-Hu Trees (The work in this section closely follows [3]) Let G = (V, E) be an undirected
More informationAn inequality for the group chromatic number of a graph
An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics
More informationOn planar regular graphs degree three without Hamiltonian cycles 1
On planar regular graphs degree three without Hamiltonian cycles 1 E. Grinbergs Computing Centre of Latvian State University Abstract. Necessary condition to have Hamiltonian cycle in planar graph is given.
More informationOptimal 3D Angular Resolution for Low-Degree Graphs
Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 17, no. 3, pp. 173 200 (2013) DOI: 10.7155/jgaa.00290 Optimal 3D Angular Resolution for Low-Degree Graphs David Eppstein 1 Maarten Löffler
More informationIntroduction to Graph Theory
Introduction to Graph Theory Allen Dickson October 2006 1 The Königsberg Bridge Problem The city of Königsberg was located on the Pregel river in Prussia. The river divided the city into four separate
More informationSPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM
SPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM ALEX WRIGHT 1. Intoduction A fixed point of a function f from a set X into itself is a point x 0 satisfying f(x 0 ) = x 0. Theorems which establish the
More informationConnectivity and cuts
Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every
More informationShortest Inspection-Path. Queries in Simple Polygons
Shortest Inspection-Path Queries in Simple Polygons Christian Knauer, Günter Rote B 05-05 April 2005 Shortest Inspection-Path Queries in Simple Polygons Christian Knauer, Günter Rote Institut für Informatik,
More informationLargest Fixed-Aspect, Axis-Aligned Rectangle
Largest Fixed-Aspect, Axis-Aligned Rectangle David Eberly Geometric Tools, LLC http://www.geometrictools.com/ Copyright c 1998-2016. All Rights Reserved. Created: February 21, 2004 Last Modified: February
More informationThe Goldberg Rao Algorithm for the Maximum Flow Problem
The Goldberg Rao Algorithm for the Maximum Flow Problem COS 528 class notes October 18, 2006 Scribe: Dávid Papp Main idea: use of the blocking flow paradigm to achieve essentially O(min{m 2/3, n 1/2 }
More informationOn Integer Additive Set-Indexers of Graphs
On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that
More informationComputational Geometry. Lecture 1: Introduction and Convex Hulls
Lecture 1: Introduction and convex hulls 1 Geometry: points, lines,... Plane (two-dimensional), R 2 Space (three-dimensional), R 3 Space (higher-dimensional), R d A point in the plane, 3-dimensional space,
More informationComputer Science Department. Technion - IIT, Haifa, Israel. Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there
- 1 - THREE TREE-PATHS Avram Zehavi Alon Itai Computer Science Department Technion - IIT, Haifa, Israel Abstract Itai and Rodeh [IR] have proved that for any 2-connected graph G and any vertex s G there
More informationProduct irregularity strength of certain graphs
Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer
More informationMath 181 Handout 16. Rich Schwartz. March 9, 2010
Math 8 Handout 6 Rich Schwartz March 9, 200 The purpose of this handout is to describe continued fractions and their connection to hyperbolic geometry. The Gauss Map Given any x (0, ) we define γ(x) =
More informationM-Degrees of Quadrangle-Free Planar Graphs
M-Degrees of Quadrangle-Free Planar Graphs Oleg V. Borodin, 1 Alexandr V. Kostochka, 1,2 Naeem N. Sheikh, 2 and Gexin Yu 3 1 SOBOLEV INSTITUTE OF MATHEMATICS NOVOSIBIRSK 630090, RUSSIA E-mail: brdnoleg@math.nsc.ru
More informationa 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.
Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given
More informationReflection and Refraction
Equipment Reflection and Refraction Acrylic block set, plane-concave-convex universal mirror, cork board, cork board stand, pins, flashlight, protractor, ruler, mirror worksheet, rectangular block worksheet,
More informationCOUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS
COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS Alexander Burstein Department of Mathematics Howard University Washington, DC 259, USA aburstein@howard.edu Sergey Kitaev Mathematics
More informationOdd induced subgraphs in graphs of maximum degree three
Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A long-standing
More informationBest Monotone Degree Bounds for Various Graph Parameters
Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer
More informationVISUALIZING HIERARCHICAL DATA. Graham Wills SPSS Inc., http://willsfamily.org/gwills
VISUALIZING HIERARCHICAL DATA Graham Wills SPSS Inc., http://willsfamily.org/gwills SYNONYMS Hierarchical Graph Layout, Visualizing Trees, Tree Drawing, Information Visualization on Hierarchies; Hierarchical
More informationCycle transversals in bounded degree graphs
Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.
More informationMATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.
MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P
More informationGeneralized Induced Factor Problems
Egerváry Research Group on Combinatorial Optimization Technical reports TR-2002-07. Published by the Egrerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationAn inequality for the group chromatic number of a graph
Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,
More informationDiscrete Mathematics Problems
Discrete Mathematics Problems William F. Klostermeyer School of Computing University of North Florida Jacksonville, FL 32224 E-mail: wkloster@unf.edu Contents 0 Preface 3 1 Logic 5 1.1 Basics...............................
More informationGraph Theory Problems and Solutions
raph Theory Problems and Solutions Tom Davis tomrdavis@earthlink.net http://www.geometer.org/mathcircles November, 005 Problems. Prove that the sum of the degrees of the vertices of any finite graph is
More informationTriangulation by Ear Clipping
Triangulation by Ear Clipping David Eberly Geometric Tools, LLC http://www.geometrictools.com/ Copyright c 1998-2016. All Rights Reserved. Created: November 18, 2002 Last Modified: August 16, 2015 Contents
More information136 CHAPTER 4. INDUCTION, GRAPHS AND TREES
136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics
More informationLarge induced subgraphs with all degrees odd
Large induced subgraphs with all degrees odd A.D. Scott Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, England Abstract: We prove that every connected graph of order
More informationMax-Min Representation of Piecewise Linear Functions
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 43 (2002), No. 1, 297-302. Max-Min Representation of Piecewise Linear Functions Sergei Ovchinnikov Mathematics Department,
More informationHandout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs
MCS-236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set
More informationPh.D. Thesis. Judit Nagy-György. Supervisor: Péter Hajnal Associate Professor
Online algorithms for combinatorial problems Ph.D. Thesis by Judit Nagy-György Supervisor: Péter Hajnal Associate Professor Doctoral School in Mathematics and Computer Science University of Szeged Bolyai
More informationStationary random graphs on Z with prescribed iid degrees and finite mean connections
Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the non-negative
More informationCompetitive Analysis of On line Randomized Call Control in Cellular Networks
Competitive Analysis of On line Randomized Call Control in Cellular Networks Ioannis Caragiannis Christos Kaklamanis Evi Papaioannou Abstract In this paper we address an important communication issue arising
More informationA NOTE ON OFF-DIAGONAL SMALL ON-LINE RAMSEY NUMBERS FOR PATHS
A NOTE ON OFF-DIAGONAL SMALL ON-LINE RAMSEY NUMBERS FOR PATHS PAWE L PRA LAT Abstract. In this note we consider the on-line Ramsey numbers R(P n, P m ) for paths. Using a high performance computing clusters,
More informationApproximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs
Approximated Distributed Minimum Vertex Cover Algorithms for Bounded Degree Graphs Yong Zhang 1.2, Francis Y.L. Chin 2, and Hing-Fung Ting 2 1 College of Mathematics and Computer Science, Hebei University,
More informationBoulder Dash is NP hard
Boulder Dash is NP hard Marzio De Biasi marziodebiasi [at] gmail [dot] com December 2011 Version 0.01:... now the difficult part: is it NP? Abstract Boulder Dash is a videogame created by Peter Liepa and
More informationOptimal Index Codes for a Class of Multicast Networks with Receiver Side Information
Optimal Index Codes for a Class of Multicast Networks with Receiver Side Information Lawrence Ong School of Electrical Engineering and Computer Science, The University of Newcastle, Australia Email: lawrence.ong@cantab.net
More information3. Eulerian and Hamiltonian Graphs
3. Eulerian and Hamiltonian Graphs There are many games and puzzles which can be analysed by graph theoretic concepts. In fact, the two early discoveries which led to the existence of graphs arose from
More informationStrictly Localized Construction of Planar Bounded-Degree Spanners of Unit Disk Graphs
Strictly Localized Construction of Planar Bounded-Degree Spanners of Unit Disk Graphs Iyad A. Kanj Ljubomir Perković Ge Xia Abstract We describe a new distributed and strictly-localized approach for constructing
More informationTotal colorings of planar graphs with small maximum degree
Total colorings of planar graphs with small maximum degree Bing Wang 1,, Jian-Liang Wu, Si-Feng Tian 1 Department of Mathematics, Zaozhuang University, Shandong, 77160, China School of Mathematics, Shandong
More informationCMPSCI611: Approximating MAX-CUT Lecture 20
CMPSCI611: Approximating MAX-CUT Lecture 20 For the next two lectures we ll be seeing examples of approximation algorithms for interesting NP-hard problems. Today we consider MAX-CUT, which we proved to
More informationMarkov random fields and Gibbs measures
Chapter Markov random fields and Gibbs measures 1. Conditional independence Suppose X i is a random element of (X i, B i ), for i = 1, 2, 3, with all X i defined on the same probability space (.F, P).
More informationDiffuse Reflection Radius in a Simple Polygon
Diffuse Reflection Radius in a Simple olygon Eli Fox-Epstein Csaba D. Tóth Andrew Winslow arxiv:1402.5303v3 [cs.cg] 17 May 2015 Abstract It is shown that every simple polygon in general position with n
More informationarxiv:1209.1595v5 [math.co] 26 Dec 2014
TRIANGLE-FREE INTERSECTION GRAPHS OF LINE SEGMENTS WITH LARGE CHROMATIC NUMBER ARKADIUSZ PAWLIK, JAKUB KOZIK, TOMASZ KRAWCZYK, MICHAŁ LASOŃ, PIOTR MICEK, WILLIAM T. TROTTER, AND BARTOSZ WALCZAK arxiv:1209.1595v5
More informationINCIDENCE-BETWEENNESS GEOMETRY
INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationMean Ramsey-Turán numbers
Mean Ramsey-Turán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρ-mean coloring of a graph is a coloring of the edges such that the average
More informationABSTRACT. For example, circle orders are the containment orders of circles (actually disks) in the plane (see [8,9]).
Degrees of Freedom Versus Dimension for Containment Orders Noga Alon 1 Department of Mathematics Tel Aviv University Ramat Aviv 69978, Israel Edward R. Scheinerman 2 Department of Mathematical Sciences
More informationTopological Treatment of Platonic, Archimedean, and Related Polyhedra
Forum Geometricorum Volume 15 (015) 43 51. FORUM GEOM ISSN 1534-1178 Topological Treatment of Platonic, Archimedean, and Related Polyhedra Tom M. Apostol and Mamikon A. Mnatsakanian Abstract. Platonic
More information1. A student followed the given steps below to complete a construction. Which type of construction is best represented by the steps given above?
1. A student followed the given steps below to complete a construction. Step 1: Place the compass on one endpoint of the line segment. Step 2: Extend the compass from the chosen endpoint so that the width
More information8.1 Min Degree Spanning Tree
CS880: Approximations Algorithms Scribe: Siddharth Barman Lecturer: Shuchi Chawla Topic: Min Degree Spanning Tree Date: 02/15/07 In this lecture we give a local search based algorithm for the Min Degree
More informationMATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.
MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column
More informationThe degree, size and chromatic index of a uniform hypergraph
The degree, size and chromatic index of a uniform hypergraph Noga Alon Jeong Han Kim Abstract Let H be a k-uniform hypergraph in which no two edges share more than t common vertices, and let D denote the
More informationGeometry and Measurement
The student will be able to: Geometry and Measurement 1. Demonstrate an understanding of the principles of geometry and measurement and operations using measurements Use the US system of measurement for
More informationThe number of generalized balanced lines
The number of generalized balanced lines David Orden Pedro Ramos Gelasio Salazar Abstract Let S be a set of r red points and b = r + 2δ blue points in general position in the plane, with δ 0. A line l
More informationHigh degree graphs contain large-star factors
High degree graphs contain large-star factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a
More informationOn Tilable Orthogonal Polygons
On Tilable Orthogonal Polygons György Csizmadia Jurek Czyzowicz Leszek G asieniec Evangelos Kranakis Eduardo Rivera-Campo Jorge Urrutia Abstract We consider rectangular tilings of orthogonal polygons with
More informationTriangle deletion. Ernie Croot. February 3, 2010
Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,
More informationSession 6 Number Theory
Key Terms in This Session Session 6 Number Theory Previously Introduced counting numbers factor factor tree prime number New in This Session composite number greatest common factor least common multiple
More informationDetermination of the normalization level of database schemas through equivalence classes of attributes
Computer Science Journal of Moldova, vol.17, no.2(50), 2009 Determination of the normalization level of database schemas through equivalence classes of attributes Cotelea Vitalie Abstract In this paper,
More informationDiscrete Mathematics & Mathematical Reasoning Chapter 10: Graphs
Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph
More informationIncenter Circumcenter
TRIANGLE: Centers: Incenter Incenter is the center of the inscribed circle (incircle) of the triangle, it is the point of intersection of the angle bisectors of the triangle. The radius of incircle is
More informationCatalan Numbers. Thomas A. Dowling, Department of Mathematics, Ohio State Uni- versity.
7 Catalan Numbers Thomas A. Dowling, Department of Mathematics, Ohio State Uni- Author: versity. Prerequisites: The prerequisites for this chapter are recursive definitions, basic counting principles,
More informationAsymptotically Faster Algorithms for the Parameterized face cover Problem
Asymptotically Faster Algorithms for the Parameterized face cover Problem Faisal N. Abu-Khzam 1, Henning Fernau 2 and Michael A. Langston 3 1 Division of Computer Science and Mathematics, Lebanese American
More informationDegree-associated reconstruction parameters of complete multipartite graphs and their complements
Degree-associated reconstruction parameters of complete multipartite graphs and their complements Meijie Ma, Huangping Shi, Hannah Spinoza, Douglas B. West January 23, 2014 Abstract Avertex-deleted subgraphofagraphgisacard.
More information