Constrained Empty-Rectangle Delaunay Graphs

Size: px
Start display at page:

Download "Constrained Empty-Rectangle Delaunay Graphs"

Transcription

1 CCCG 2015, Kingston, Ontario, August 10 12, 2015 Constrained Emty-Rectangle Delaunay Grahs Prosenjit Bose Jean-Lou De Carufel André van Renssen Abstract Given an arbitrary convex shae C, a set P of oints in the lane and a set S of line segments whose endoints are in P, a constrained generalized Delaunay grah of P with resect to C denoted CDG C (P ) is constructed by adding an edge between two oints and if and only if there exists a homothet of C with and on its boundary and no oint of P in the interior visible to both and. We study the case where the emty convex shae is an arbitrary rectangle and show that the constrained generalized Delaunay grah has sanning ratio at most 2 (2l/s + 1), where l and s are the length of the long and short side of the rectangle. 1 Introduction A geometric grah G is a grah whose vertices are oints in the Euclidean lane and whose edges are line segments between airs of oints. Every edge is weighted by the Euclidean distance between its endoints. A geometric grah G is called lane if no two edges intersect roerly. The distance between two vertices u and v in G, denoted by δ G (u, v), is defined as the sum of the weights of the edges along the shortest ath between u and v in G. A subgrah H of G is a t-sanner of G (for t 1) if for each air of vertices u and v, δ H (u, v) t δ G (u, v). The smallest value t for which H is a t-sanner is the sanning ratio or stretch factor of H. The sanning roerties of various geometric grahs have been studied extensively in the literature (see [5, 9] for an overview of the toic). We study this roblem in the resence of line segment constraints. Secifically, let P be a set of oints in the lane and let S be a set of line segments with endoints in P, with no two line segments intersecting roerly. The line segments of S are called constraints. Two vertices u and v can see each other or are visible to each other if and only if either the line segment uv does not roerly intersect any constraint or uv is itself a constraint. If two vertices u and v can see each other, the line segment Research suorted in art by FQRNT, NSERC, and Carleton University s President s 2010 Doctoral Fellowshi. School of Comuter Science, Carleton University, Ottawa, Canada. jit@scs.carleton.ca, jdecaruf@cg.scs.carleton.ca National Institute of Informatics (NII), Tokyo, Jaan. andre@nii.ac.j JST, ERATO, Kawarabayashi Large Grah Project. uv is a visibility edge. The visibility grah of P with resect to a set of constraints S, denoted Vis(P, S), has P as vertex set and all visibility edges as edge set. In other words, it is the comlete grah on P minus all edges that roerly intersect one or more constraints. This setting has been studied extensively within the context of motion lanning amid obstacles. Clarkson [7] was one of the first to study this roblem and showed how to construct a linear-sized (1 + ɛ)-sanner of Vis(P, S). Subseuently, Das [8] showed how to construct a sanner of Vis(P, S) with constant sanning ratio and constant degree. Bose and Keil [4] showed that the Constrained Delaunay Triangulation is a 4π 3/ sanner of Vis(P, S). The constrained Delaunay grah where the emty convex shae is an euilateral triangle was shown to be a 2-sanner [3]. Recently, it was shown that regardless of the emty convex shae C used, the constrained generalized Delaunay grah is a lane sanner with constant sanning ratio, where the sanning ratio deends on the erimeter and the width of C [2]. In this aer, we imrove the sanning ratio for the case where the emty convex shae is a rectangle. In the unconstrained setting, Chew [6] showed that the sanning ratio for suares is at most This was later imroved by Bonichon et al. [1], who showed a tight sanning ratio of We show that in the constrained setting the sanning ratio is at most 2 (2l/s + 1), where l and s are the length of the long and short side of C. For suares (the rectangles that minimize l/s), this imlies a ratio of Preliminaries Throughout this aer, we fix a convex shae C. We assume without loss of generality that the origin lies in the interior of C. A homothet of C is obtained by scaling C with resect to the origin, followed by a translation. Thus, a homothet of C can be written as x + λc = {x + λz : z C}, for some scaling factor λ > 0 and some oint x in the interior of C after translation. We refer to x as the center of the homothet x + λc. For a given set of vertices P and a set of constraints S, we now define the constrained generalized Delaunay grah. Given any two visible vertices and, let C(, ) be any homothet of C with and on its boundary. The

2 27 th Canadian Conference on Comutational Geometry, 2015 constrained generalized Delaunay grah contains an edge between and if and only if there exists a C(, ) such that there are no vertices of P in the interior of C(, ) visible to both and. Note that this imlies that constraints are not necessarily edges of the constrained generalized Delaunay grah. We assume that no four oints lie on the boundary of any homothet of C. 2.1 Auxiliary Lemmas Next, we resent three auxiliary lemmas that are needed to rove our main results. First, we reformulate a lemma that aears in [10]. Lemma 1 Let C be a closed convex curve in the lane. The intersection of two distinct homothets of C is the union of two sets, each of which is either a segment, a single oint, or emty. We say that a region R contains a vertex v if v lies in the interior or on the boundary of R. We call a region emty if it does not contain any vertex of P. Though the following lemma was alied to constrained θ-grahs in [3], the roerty holds for any visibility grah. Lemma 2 Let u, v, and w be three arbitrary oints in the lane such that uw and vw are visibility edges and w is not the endoint of a constraint intersecting the interior of triangle uvw. Then there exists a convex chain of visibility edges from u to v in triangle uvw, such that the olygon defined by uw, wv and the convex chain is emty and does not contain any constraints. Finally, we re-introduce a definition and lemma from [2]. Let and be two vertices that can see each other and let C(, ) be a convex olygon with and on its boundary. We look at the constraints that have as an endoint and the edge(s) of C(, ) on which lies, and extend them to half-lines that have as an endoint (see Figure 1a). Given the cyclic order of these half-lines around and the line segment, we define the clockwise neighbor of to be the half-line that minimizes the strictly ositive clockwise angle with. Analogously, we define the counterclockwise neighbor of to be the half-line that minimizes the strictly ositive counterclockwise angle with. We define the cone C that contains to be the region between the clockwise and counterclockwise neighbor of. Finally, let C(, ), the region of C(, ) that contains with resect to, be the intersection of C(, ) and C (see Figure 1b). Lemma 3 Let and be two vertices that can see each other and let C(, ) be any convex olygon with and on its boundary. If there is a vertex x in C(, ) (other than and ) that is visible to, then there is a vertex y (other than and ) in C(, ) that is visible to both and and triangle y is emty. r s (a) C(, ) C(, ) C(, ) (b) Figure 1: Defining the region of C(, ) that contains with resect to : (a) The clockwise and counterclockwise neighbor of are the half-lines through r and s, (b) C(, ) is marked in gray. 3 The Constrained Emty-Rectangle Delaunay Grah We look at the case where the emty convex shae is an arbitrary rectangle. We assume without loss of generality that the rectangle is axis-aligned. We do not, however, assume anything about the ratio between the height and width of the rectangle. We first show that if two visible vertices cannot see any vertices in C(, ) on one side of, then no vertex in C(, ) on the oosite side of can see any vertices beyond either. Lemma 4 Let and be two vertices that can see each other, such that is not vertical, and let C(, ) be any convex olygon with and on its boundary. If the region of C(, ) below does not contain any vertices visible to and, then no oint x in C(, ) above can see any vertices in C(, ) below. Proof. We rove the lemma by contradiction, so assume that there exists a vertex y in C(, ) below that is visible to x, but not to and. Since C(, ) is a convex olygon and x and y lie on oosite sides of, the visibility edge xy intersects. Let z be this intersection (see Figure 2). y z x w C(, ) Figure 2: If x can see a vertex below, then so can. Hence, zy and z are visibility edges. Since z is not a vertex, it is not the endoint of any constraints in-

3 CCCG 2015, Kingston, Ontario, August 10 12, 2015 tersecting the interior of triangle yz. It follows from Lemma 2 that there exists a convex chain of visibility edges between y and and this chain is contained in yz. However, this imlies that w, the neighbor of along this chain, is visible to and lies in C(, ) below. Next, we aly Lemma 2 on triangle w and find that the neighbor of along the chain from to w is visible to both and and lies in C(, ) below, contradicting that this region does not contain any vertices visible to and. Next, we introduce some notation for the following lemma. Let and be two vertices of the constrained generalized Delaunay grah that can see each other. Let R be a rectangle with and on its West and East boundary and let a, b, and r be the Northwest, Northeast, and Southwest corner of R. Let m 1,..., m k 1 be any k 1 oints on in the order they are visited when walking from to (see Figure 3). Let m 0 = and m k =. Consider the homothets S i of R with m i and m i+1 on their resective boundaries, for 0 i < k, such that a / ra = m i a i / r i a i, where a i, b i, r i are the Northwest, Northeast, and Southwest corner of S i. a b a b a 1 b 1 a a 2 b 2 0 b0 m 2 m 1 r 2 r 0 r1 r Figure 3: The total length of the sides of the rectangles S i euals that of C(, ). Lemma 5 We have x = 0 a b m 0 Figure 4: An inductive ath from to. k 1 ( mi a i + a i b i + b i m i+1 ) = a + ab + b. i=0 Proof. Let c = ( a + ab + b )/. Since for every S i we have that a / ra = m i a i / r i a i, we have ( m i a i + a i b i + b i m i+1 )/ m i m i+1 = c, for 0 i < k. Hence, we get k 1 ( mi a i + a i b i + b i m i+1 ) k 1 ( = c mi m i+1 ) i=0 roving the lemma. i=0 = c = a + ab + b, Before we rove the bound on the sanning ratio of the constrained generalized Delaunay grah, we first bound the length of the sanning ath between vertices and for the case where the rectangle C(, ) is artially emty. We call a rectangle C(, ) half-emty when C(, ) contains no vertices in C(, ) below that are visible to and C(, ) contains no vertices in C(, ) below that are visible to. We denote the x- and y-coordinate of a oint by x and y. Lemma 6 Let and be two vertices that can see each other. Let C(, ) be a rectangle with and on its boundary, such that it is half-emty. Let a and b be the corners of C(, ) on the non-half-emty side. The constrained generalized Delaunay grah contains a ath between and of length at most a + ab + b. Proof. We rove the lemma by induction on the rank of C(x, y) when ordered by size, for any two visible vertices x and y, such that C(x, y) is half-emty. We assume without loss of generality that lies on the West boundary, lies on the East boundary and that C(, ) is half-emty below. This imlies that a and b are the Northwest and Northeast corner of C(, ). We also assume without loss of generality that the sloe of is non-negative, i.e. x < x and y y (see Figure 4). We note that the case where lies on the West boundary, lies on the North boundary and C(, ) is halfemty below can be viewed as a secial case of the one above: We shrink C(, ) until one of and lies in a corner. This oint can now be viewed as being on both sides defining the corner and hence and are on oosite sides. An analogous statement holds for the case where lies on the West boundary, lies on the North boundary and C(, ) is half-emty above. Let r be the Southwest corner of C(, ). Let R be a homothet of C(, ) that is contained in C(, ) and whose West boundary is intersected by. Let a, b, r be the Northwest, Northeast, and Southwest corner of R and let m be the intersection of a r and. We call homothet R similar to C(, ) if and only if a / ra = ma / r a. Base case: If C(, ) is a rectangle of smallest area, then C(, ) does not contain any vertices visible to both and : Assume this is not the case and grow a rectangle R similar to C(, ) from to. Let x be the first vertex hit by R that is visible to and lies in C(, ). Note that this imlies that R is contained in C(, ). Therefore, R is smaller than C(, ). Furthermore, R is half-emty: By Lemma 4, the art below the line through and does not contain any vertices visible to or x in C(, ), and the art between the line through and x and the line through and does not contain any vertices visible to or x since x is the first visible vertex hit while growing R. However, this contradicts that C(, ) is the smallest half-emty rectangle. Hence, C(, ) does not contain any vertices visible to both and, which imlies that is an edge of

4 27 th Canadian Conference on Comutational Geometry, 2015 the constrained generalized Delaunay grah. Therefore the length of the shortest ath from to is at most a + ab + b. Induction ste: We assume that for all half-emty rectangles C(x, y) smaller than C(, ) the lemma holds. If is an edge of the constrained generalized Delaunay grah, the length of the shortest ath from to is at most a + ab + b. If is not an edge of the constrained generalized Delaunay grah, there exists a vertex in C(, ) that is visible from both and. We grow a rectangle R similar to C(, ) from to. Let x be the first vertex hit by R that is visible to and lies in C(, ) and let a and b be the Northwest and Northeast corner of R (see Figure 4). Note that this imlies that R is contained in C(, ). We also note that x is not necessarily an edge in the constrained generalized Delaunay grah, since if it is a constraint, there can be vertices visible to both and x above x. However, since R is half-emty and smaller than C(, ), we can aly induction on it and we obtain that the ath from to x has length at most a + a b + b x when x lies on the East boundary of R, and that the ath from to x has length at most a + a x when x lies on the North boundary of R. Let m 0 be the rojection of x along the vertical axis onto. Since m 0 is contained in R, x can see m 0. Since xm 0 and m 0 are visibility edges and m 0 is not the endoint of a constraint intersecting the interior of triangle xm 0, we can aly Lemma 2 and obtain a convex chain x = 0, 1,..., k = of visibility edges (see Figure 4). For each of these visibility edges i i+1, there is a homothet R i of C(, ) that falls in one of the following three tyes (see Figure 5): (i) i lies on the North boundary and i+1 lies in the Southeast corner, (ii) i lies on the West boundary and i+1 lies on the East boundary and the sloe of i i+1 is negative, (iii) i lies on the West boundary and i+1 lies on the East boundary and the sloe of i i+1 is not negative. Let a i and b i be the Northwest and Northeast corner of R i. We note that by convexity, these three tyes occur in the order Tye (i), Tye (ii), and Tye (iii). Let m i be the rojection of i along the vertical axis onto, let C i be the homothet of C(, ) with m i and m i+1 on its boundary that is similar to C(, ), and let a i and b i be the Northwest and Northeast corner of C i. Using these C i, we shift Tye (ii) and Tye (iii) rectangles down as far as ossible: We shift R i down until either i or i+1 lies in one of the North corners or the South boundary corresonds to the South boundary of C i. In the latter case, R i and C i are the same rectangle. Since all rectangles R i are smaller than C(, ), we can aly induction, rovided that we can show that R i is half-emty. For Tye (i) visibility edges, the art of the rectangle that lies below the line through i and i+1 is contained in R, which does not contain any visible i R i b i a i R i b i a i R i b i i+1 i i+1 i i+1 (i) (ii) (iii) Figure 5: The three tyes of rectangles along the convex chain. vertices, and the region of C(, ) below the convex chain, which is emty. For Tye (ii) and Tye (iii) visibility edges, the art of the rectangle that lies below the line through i and i+1 is contained in the region of C(, ) below the convex chain, which is emty, and the region of C(, ) below the line through and, which does not contain any visible vertices by Lemma 4. Hence, all R i are half-emty and we obtain an inductive ath of length at most: (i) i b i + b i i+1, (ii) i a i + a i b i + b i i+1, (iii) i a i + a i b i + b i i+1. To bound the total ath length, we erform case distinction on the location of x on R and whether the convex ath from x to goes down: (a) x lies on the East boundary of R and the convex ath does not go down, (b) x lies on the East boundary of R and the convex ath goes down, (c) x lies on the North boundary of R and the convex ath does not go down, (d) x lies on the North boundary of R and the convex ath goes down. Case (a): The vertex x lies on the East boundary of R and the convex ath does not go down. Recall that the length of the ath from to x is at most a + a b + b x, which is at most a + a b + b m 0. Since the convex chain does not go down, it cannot contain any Tye (i) or Tye (ii) visibility edges. Furthermore, since x lies on the East boundary of R, R and all C i are disjoint. Thus, Lemma 5 imlies that the boundaries above of R and all C i sum u to a + ab + b. Hence, if we can show that, for all R i, i a i + a i b i + b i i+1 m i a i + a i b i + b i m i+1, the roof of this case is comlete. By convexity, the sloe of i i+1 is at most that of and m i m i+1. Hence, when i+1 lies in the Northeast corner of R i, we have i+1 = b i and i a i + a i i+1 m i a i + a i b i + b i m i+1. If i+1 does not lie in the Northeast corner, R i = C i. Hence, since i and i+1 lie above, we have that i a i + a i b i + b i i+1 m i a i + a i b i + b i m i+1. Case (b): The vertex x lies on the East boundary of R and the convex ath goes down. Recall that the length of the ath from to x is at most a + a b + b x. Let

5 CCCG 2015, Kingston, Ontario, August 10 12, 2015 j be the lowest vertex along the convex chain. Since j lies above and has non-negative sloe, the descent of the convex ath is at most xm 0. Hence, when we charge this to R, we used a + a b + b m 0 of its boundary (see Figure 6). a a b m 0 Figure 6: Going down along the convex chain (blue) is charged to R (orange). b a b a b a 1 b 1 a a 0 Figure 7: Charging the ath from to j to C(, j ). Like in the Case (a), since x lies on the East boundary of R, R and all C i are disjoint. Thus, Lemma 5 imlies that the boundaries above of R and all C i sum u to a + ab + b. Hence, if we can show that, for all R i, the inductive ath length is at most m i a i + a i b i + b i m i+1, the roof of this case is comlete. For Tye (i) visibility edges, we have already charged b i i+1 to R, so it remains to show that i b i m i a i + a i b i + b i m i+1. This follows, since m i and m i+1 are the vertical rojections of i and i+1, which imlies that i b i = a i b i. For Tye (ii) visibility edges, we already charged b i i+1 i a i to R, so we can consider i i+1 to be horizontal and it remains to charge the remaining 2 i a i + a i b i. If i lies in the Northwest corner of R i, it follows that i a i = 0 and we have that i b i = a i b i m ia i + a i b i + b i m i+1. If i does not lie in the Northwest corner, R i is the same as C i. Hence, since we can consider i i+1 to be horizontal and i and i+1 lie above, it follows that 2 i a i + a i b i m i a i + a i b i + b i m i+1. Finally, Tye (iii) visibility edges are charged as in Case (a), hence we have that i a i + a i b i + b i i+1 m i a i + a i b i + b i m i+1, comleting the roof of this case. Case (c): Vertex x lies on the North boundary of R and the convex ath does not go down. Recall that the length of the ath from to x is at most a + a x. Since the convex chain does not go down, it cannot contain any Tye (i) or Tye (ii) visibility edges. Let j be the first vertex along the chain, such that R j 1 is the same as C j 1. Since lies on the East boundary of C(, ), this condition is satisfied for the last visibility edge along the convex chain, hence j exists. Let C(, j ) be the homothet of C(, ) that has and j on its boundary and is similar C(, ). Let a and b be the Northwest and Northeast corners of C(, j ) (see Figure 7). Since j is first vertex along the convex chain that does not lie in the Northeast corner of R j 1, we have that along the ath from to j the rojections of a x, all a i i+1, and a j 1 b j 1 onto a b are disjoint and the rojections of a, all i a i, and j 1 a j 1 onto a are disjoint. Hence, their lengths sum u to at most a + a b. Finally, since b j 1 j b j, the total length of the ath from to j is at most a + a b + b j, which is at most a + a b + b m j. All Tye (iii) visibility edges following j are charged as in Case (a), hence we have that i a i + a i b i + b i i+1 m i a i + a i b i + b i m i+1. We now aly Lemma 5 to C(, j ) and all C i following j and obtain that the total length of the ath from to is at most a + ab + b. Case (d): Vertex x lies on the North boundary of R and the convex ath goes down. Recall that the length of the ath from to x is at most a + a x and that 1 is the neighbor of x along the convex chain. Let C(, 1 ) be the homothet of C(, ) that has and 1 on its boundary and is similar to C(, ). Let a and b be the Northwest and Northeast corners of C(, 1 ). Since 1 lies to the right of R and lower than x, it lies on the East boundary of C(, 1 ). We first show that the length of the ath from to 1 is at most a + a b + b 1. If x 1 is a Tye (i) visibility edge, the length of the ath from x to 1 is at most xb 0 + b 0 1. Hence we have a ath from to 1 of length at most a + a x + xb 0 + b 0 1 = a + a b + b 0 1. Since a a and b 0 1 b 1, this imlies that the ath has length at most a + a b + b 1. If x 1 is a Tye (ii) visibility edge and x lies in the Northwest corner an analogous argument shows that the ath from to 1 is at most a + a b + b 1. If x 1 is a Tye (ii) visibility edge and R 0 = C 0, we have that the rojections of a x and a 0 b 0 onto a b are disjoint and the rojections of a and xa 0 onto a are disjoint. Hence, their total lengths sum u to at most a + a b. Finally, since b 0 1 b 1, the total length of the ath from to 1 is at most a + a b + b 1. Next, we observe, like in Case (b), that starting from 1 the convex ath cannot go down more than 1 m 1. Hence, when we charge this to C(, 1 ), we used a + a b + b m 1 of its boundary. Finally, we use arguments analogous to the ones in Case (b) to show that each inductive ath after 1 has length at most m i a i + a i b i + b i m i+1. We now aly Lemma 5 to C(, 1 ) and all C i following 1 and obtain that the total length of the ath from to is at most a + ab + b. Lemma 7 Let and be two vertices that can see each other. Let C(, ) be the rectangle with and on its boundary, such that lies in a corner of C(, ).

6 27 th Canadian Conference on Comutational Geometry, 2015 Let l and s be the length of the long and short side of C(, ). The constrained generalized Delaunay grah contains ( a ath between and of length at most 2l s + 1) ( x x + y y ). Proof. We assume without loss of generality that lies on the Southwest corner and lies on the East boundary. Note that this imlies that the sloe of is non-negative, i.e. x < x and y y. We rove the lemma by induction on the rank of C(x, y) when ordered by size, for any two visible vertices x and y, such that x lies in a corner of C(x, y). In fact, we show that the constrained generalized Delaunay grah contains a ath between x and y of length at most c ( x x )+d ( y y ) and derive bounds on c and d. Base case: If C(, ) is the smallest rectangle with in a corner, then C(, ) does not contain any vertices visible to both and : Let u be a vertex in C(, ) that is visible to both and. Let C(, u) be the rectangle with in a corner and u on its boundary. Since u lies in C(, ), C(, u) is smaller than C(, ), contradicting that C(, ) is the smallest rectangle with in a corner. Hence, C(, ) does not contain any vertices visible to both and, which imlies that is an edge of the constrained generalized Delaunay grah. Hence, the constrained generalized Delaunay grah contains a ath between and of length at most ( x x ) + ( y y ) c ( x x ) + d ( y y ), rovided that c 1 and d 1. Induction ste: We assume that for all rectangles C(x, y), with x in some corner of C(, ), smaller than C(, ) the lemma holds. If is an edge of the constrained generalized Delaunay grah, by the triangle ineuality, the length of the shortest ath from to is at most x x + y y. If there is no edge between and, there exists a vertex u in C(, ) that is visible from both and. We first look at the case where u lies below. Let g be the intersection of the South boundary of C(, ) and the line though arallel to the diagonal of C(, ) through, and let h be the Southeast corner of C(, ) (see Figure 8). If u lies in triangle g, by induction we have that the ath from to u has length at most c (u x x ) + d (u y y ) and the ath from u to has length at most c ( x u x ) + d ( y u y ). Hence, there exists a ath from to via u of length at most c ( x x ) + d ( y y ). If u lies in triangle gh, by induction we have that the ath from to u has length at most c (u x x ) + d (u y y ) and the ath from to u has length at most d ( x u x ) + c ( y u y ). When we take c and d to be eual, this imlies that there exists a ath from to via u of length at most c ( x x ) + d ( y y ). If there does not exist a vertex below that is visible to both and, than Lemma 3 imlies that there are no vertices in C(, ) below that are visible to and g Figure 8: Rectangle C(, ) with oints g and h. that there are no vertices in C(, ) below that are visible to. Hence, we can aly Lemma 6 and obtain that there exists a ath between and of length at most a + ab + b, where a and b are the Northwest and Northeast corner of C(, ). Since ab is ( x x ) and b a l s ( x x ), we can uer bound a + ab + b by c ( x x ) when c is at least ( 2l s + 1). Hence, since c and d need to be eual, we obtain that all cases work out when c = d = ( 2l s + 1). Finally, since ( x x + y y )/ is at most 2, we obtain the following theorem. Theorem 8 The constrained generalized Delaunay grah using an emty rectangle as emty convex shae has sanning ratio at most 2 ( 2l s + 1). References [1] N. Bonichon, C. Gavoille, N. Hanusse, and L. Perković. The stretch factor of L 1- and L -Delaunay triangulations. In ESA, ages , [2] P. Bose, J.-L. De Carufel, and A. van Renssen. Constrained generalized Delaunay grahs are lane sanners. EuroCG, ages , [3] P. Bose, R. Fagerberg, A. van Renssen, and S. Verdonschot. On lane constrained bounded-degree sanners. In LATIN, ages 85 96, [4] P. Bose and J. M. Keil. On the stretch factor of the constrained Delaunay triangulation. In ISVD, ages 25 31, [5] P. Bose and M. Smid. On lane geometric sanners: A survey and oen roblems. CGTA, 46(7): , [6] L. P. Chew. There is a lanar grah almost as good as the comlete grah. In SoCG, ages , [7] K. Clarkson. Aroximation algorithms for shortest ath motion lanning. In STOC, ages 56 65, [8] G. Das. The visibility grah contains a bounded-degree sanner. In CCCG, ages 70 75, [9] G. Narasimhan and M. Smid. Geometric Sanner Networks. Cambridge University Press, [10] K. Swaneoel. Helly-tye theorems for homothets of lanar convex curves. AMS, 131(3): , h

Geometric Dilation. A polygonal chain C. detour of C on the pair (p, q): where C q p the path on C connecting p and q. detour of C

Geometric Dilation. A polygonal chain C. detour of C on the pair (p, q): where C q p the path on C connecting p and q. detour of C Geometric Dilation A olygonal chain C detour of C on the air (, ): δ(, ) = C, where C the ath on C connecting and. detour of C δ C = max, C δ(, ). More general: A connected lanar grah G(V, E) Gemetric

More information

Lecture 3: Geometric Algorithms(Convex sets, Divide & Conquer Algo.)

Lecture 3: Geometric Algorithms(Convex sets, Divide & Conquer Algo.) Advanced Algorithms Fall 2015 Lecture 3: Geometric Algorithms(Convex sets, Divide & Conuer Algo.) Faculty: K.R. Chowdhary : Professor of CS Disclaimer: These notes have not been subjected to the usual

More information

Curve Reconstruction taken from [1]

Curve Reconstruction taken from [1] Notes by Tamal K. Dey, OSU 47 Curve Reconstruction taken from [1] The simlest class of manifolds that ose nontrivial reconstruction roblems are curves in the lane. We will describe two algorithms for curve

More information

Cross products. p 2 p. p p1 p2. p 1. Line segments The convex combination of two distinct points p1 ( x1, such that for some real number with 0 1,

Cross products. p 2 p. p p1 p2. p 1. Line segments The convex combination of two distinct points p1 ( x1, such that for some real number with 0 1, CHAPTER 33 Comutational Geometry Is the branch of comuter science that studies algorithms for solving geometric roblems. Has alications in many fields, including comuter grahics robotics, VLSI design comuter

More information

Empty Region Graphs. Computer Science Department, Université Libre de Bruxelles, CP212, Boulevard du Triomphe, 1050 Bruxelles, Belgium

Empty Region Graphs. Computer Science Department, Université Libre de Bruxelles, CP212, Boulevard du Triomphe, 1050 Bruxelles, Belgium Emty Region Grahs Jean Cardinal 1 Sébastien Collette 2 Stefan Langerman 3 Comuter Science Deartment, Université Libre de Bruxelles, CP212, Boulevard du Triomhe, 1050 Bruxelles, Belgium Abstract A family

More information

The Edge-flipping Distance of Triangulations

The Edge-flipping Distance of Triangulations The Edge-fliing Distance of Triangulations Sabine Hanke (Institut für Informatik, Universität Freiburg, Germany hanke@informatik.uni-freiburg.de) Thomas Ottmann (Institut für Informatik, Universität Freiburg,

More information

Compatible 4-Holes in Point Sets

Compatible 4-Holes in Point Sets CCCG 2018, Winnieg, Canada, August 8 10, 2018 Comatible 4-Holes in Point Sets Ahmad Biniaz Anil Maheshwari Michiel Smid Abstract Counting interior-disjoint emty convex olygons in a oint set is a tyical

More information

Cross products Line segments The convex combination of two distinct points p

Cross products Line segments The convex combination of two distinct points p CHAPTER Comutational Geometry Is the branch of comuter science that studies algorithms for solving geometric roblems. Has alications in many fields, including comuter grahics robotics, VLSI design comuter

More information

Computing the Convex Hull of. W. Hochstattler, S. Kromberg, C. Moll

Computing the Convex Hull of. W. Hochstattler, S. Kromberg, C. Moll Reort No. 94.60 A new Linear Time Algorithm for Comuting the Convex Hull of a Simle Polygon in the Plane by W. Hochstattler, S. Kromberg, C. Moll 994 W. Hochstattler, S. Kromberg, C. Moll Universitat zu

More information

We will then introduce the DT, discuss some of its fundamental properties and show how to compute a DT directly from a given set of points.

We will then introduce the DT, discuss some of its fundamental properties and show how to compute a DT directly from a given set of points. Voronoi Diagram and Delaunay Triangulation 1 Introduction The Voronoi Diagram (VD, for short) is a ubiquitious structure that aears in a variety of discilines - biology, geograhy, ecology, crystallograhy,

More information

Taut ideal triangulations of 3-manifolds

Taut ideal triangulations of 3-manifolds Abstract Taut ideal triangulations of 3-manifolds Marc Lackenby Mathematical Institute, Oxford University, 24-29 St Giles, Oxford OX1 3LB, UK Email: lackenby@maths.ox.ac.uk A taut ideal triangulation of

More information

Lecture 3: Art Gallery Problems and Polygon Triangulation

Lecture 3: Art Gallery Problems and Polygon Triangulation EECS 396/496: Computational Geometry Fall 2017 Lecture 3: Art Gallery Problems and Polygon Triangulation Lecturer: Huck Bennett In this lecture, we study the problem of guarding an art gallery (specified

More information

Graduate Algorithms CS F-19 Computational Geometry

Graduate Algorithms CS F-19 Computational Geometry Graduate Algorithms CS673-016F-19 Comutational Geometry David Galles Deartment of Comuter Science University of San Francisco 19-0: Cross Products Given any two oints 1 = (x 1,y 1 ) and = (x,y ) Cross

More information

CS 860 Fall Lecture 6. Anna Lubiw, U. Waterloo. one more paper on dynamic graphs (connectivity rather than shortest paths)

CS 860 Fall Lecture 6. Anna Lubiw, U. Waterloo. one more paper on dynamic graphs (connectivity rather than shortest paths) one more paper on dynamic graphs (connectivity rather than shortest paths) Efficient edge splitting-off algorithms maintaining all-pairs edge-connectivities LC Lau, CK Yung - Integer Programming and Combinatorial

More information

Computational Geometry

Computational Geometry Motivation Motivation Polygons and visibility Visibility in polygons Triangulation Proof of the Art gallery theorem Two points in a simple polygon can see each other if their connecting line segment is

More information

Directed File Transfer Scheduling

Directed File Transfer Scheduling Directed File Transfer Scheduling Weizhen Mao Deartment of Comuter Science The College of William and Mary Williamsburg, Virginia 387-8795 wm@cs.wm.edu Abstract The file transfer scheduling roblem was

More information

ON THE STRETCH FACTOR OF CONVEX POLYHEDRA WHOSE VERTICES ARE (ALMOST) ON A SPHERE

ON THE STRETCH FACTOR OF CONVEX POLYHEDRA WHOSE VERTICES ARE (ALMOST) ON A SPHERE ON THE STRETCH FACTOR OF CONVEX POLYHEDRA WHOSE VERTICES ARE (ALMOST) ON A SPHERE Prosenjit Bose, Paz Carmi, Mirela Damian, Jean-Lou De Caroufel, Darryl Hill, Anil Maheshwari, Yuyang Liu, and Michiel Smid

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 B. Keszegh, J. Pach, D. Pálvölgyi, and G. Tóth Abstract We show that every graph G with maximum degree three has a straight-line drawing in the plane using

More information

Lecture 2: Fixed-Radius Near Neighbors and Geometric Basics

Lecture 2: Fixed-Radius Near Neighbors and Geometric Basics structure arises in many alications of geometry. The dual structure, called a Delaunay triangulation also has many interesting roerties. Figure 3: Voronoi diagram and Delaunay triangulation. Search: Geometric

More information

arxiv: v1 [math.gt] 1 May 2018

arxiv: v1 [math.gt] 1 May 2018 CIRCUIT PRESENTATION AND LATTICE STICK NUMBER WITH EXACTLY 4 z-sticks HYOUNGJUN KIM AND SUNGJONG NO arxiv:805.0023v [math.gt] May 208 Abstract. The lattice stick number s L(L) of a link L is defined to

More information

Approximating geometric bottleneck shortest paths

Approximating geometric bottleneck shortest paths Approximating geometric bottleneck shortest paths Prosenjit Bose Anil Maheshwari Giri Narasimhan Michiel Smid Norbert Zeh February 18, 2004 Abstract In a geometric bottleneck shortest path problem, we

More information

COT5405: GEOMETRIC ALGORITHMS

COT5405: GEOMETRIC ALGORITHMS COT5405: GEOMETRIC ALGORITHMS Objects: Points in, Segments, Lines, Circles, Triangles Polygons, Polyhedra R n Alications Vision, Grahics, Visualizations, Databases, Data mining, Networks, GIS Scientific

More information

Randomized algorithms: Two examples and Yao s Minimax Principle

Randomized algorithms: Two examples and Yao s Minimax Principle Randomized algorithms: Two examles and Yao s Minimax Princile Maximum Satisfiability Consider the roblem Maximum Satisfiability (MAX-SAT). Bring your knowledge u-to-date on the Satisfiability roblem. Maximum

More information

CMSC 425: Lecture 16 Motion Planning: Basic Concepts

CMSC 425: Lecture 16 Motion Planning: Basic Concepts : Lecture 16 Motion lanning: Basic Concets eading: Today s material comes from various sources, including AI Game rogramming Wisdom 2 by S. abin and lanning Algorithms by S. M. LaValle (Chats. 4 and 5).

More information

MATH4455 Module 10 Worth the Weight

MATH4455 Module 10 Worth the Weight MTH4455 Module 10 Worth the Weight Math Math oncets: Weighted Means, Inscribed reas, eneralized Midoints uxiliary Ideas: Quadrilaterals, eneralized Proortions, Polygons, onvexity I. Personally Inscribed.

More information

Fundamentals of Restricted-Orientation Convexity

Fundamentals of Restricted-Orientation Convexity Fundamentals of Restricted-Orientation Convexity Eugene Fink Derick Wood Abstract A restricted-orientation convex set, also called an O-convex set, is a set of oints whose intersection with lines from

More information

Midpoint Routing algorithms for Delaunay Triangulations

Midpoint Routing algorithms for Delaunay Triangulations Midpoint Routing algorithms for Delaunay Triangulations Weisheng Si and Albert Y. Zomaya Centre for Distributed and High Performance Computing School of Information Technologies Prologue The practical

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

UPDATING ALGORITHMS FOR CONSTRAINT DELAUNAY TIN

UPDATING ALGORITHMS FOR CONSTRAINT DELAUNAY TIN UPDATING ALGORITMS FOR CONSTRAINT DELAUNAY TIN WU LiXin a,b WANG YanBing a, c a Institute for GIS/RS/GPS & Subsidence Engineering Research, China Uni Mining & Technology, Beijing, China, 100083 - awulixin@263.net,

More information

Approximation Algorithms for the Unit Disk Cover Problem in 2D and 3D

Approximation Algorithms for the Unit Disk Cover Problem in 2D and 3D Approximation Algorithms for the Unit Disk Cover Problem in 2D and 3D Ahmad Biniaz Paul Liu Anil Maheshwari Michiel Smid February 12, 2016 Abstract Given a set P of n points in the plane, we consider the

More information

The Art Gallery Problem: An Overview and Extension to Chromatic Coloring and Mobile Guards

The Art Gallery Problem: An Overview and Extension to Chromatic Coloring and Mobile Guards The Art Gallery Problem: An Overview and Extension to Chromatic Coloring and Mobile Guards Nicole Chesnokov May 16, 2018 Contents 1 Introduction 2 2 The Art Gallery Problem 3 2.1 Proof..................................

More information

Theoretical Analysis of Graphcut Textures

Theoretical Analysis of Graphcut Textures Theoretical Analysis o Grahcut Textures Xuejie Qin Yee-Hong Yang {xu yang}@cs.ualberta.ca Deartment o omuting Science University o Alberta Abstract Since the aer was ublished in SIGGRAPH 2003 the grahcut

More information

Convex Hulls. Helen Cameron. Helen Cameron Convex Hulls 1/101

Convex Hulls. Helen Cameron. Helen Cameron Convex Hulls 1/101 Convex Hulls Helen Cameron Helen Cameron Convex Hulls 1/101 What Is a Convex Hull? Starting Point: Points in 2D y x Helen Cameron Convex Hulls 3/101 Convex Hull: Informally Imagine that the x, y-lane is

More information

Preferred directions for resolving the non-uniqueness of Delaunay triangulations

Preferred directions for resolving the non-uniqueness of Delaunay triangulations Preferred directions for resolving the non-uniqueness of Delaunay triangulations Christopher Dyken and Michael S. Floater Abstract: This note proposes a simple rule to determine a unique triangulation

More information

Ma/CS 6b Class 26: Art Galleries and Politicians

Ma/CS 6b Class 26: Art Galleries and Politicians Ma/CS 6b Class 26: Art Galleries and Politicians By Adam Sheffer The Art Gallery Problem Problem. We wish to place security cameras at a gallery, such that they cover it completely. Every camera can cover

More information

Spanners of Complete k-partite Geometric Graphs

Spanners of Complete k-partite Geometric Graphs Spanners of Complete k-partite Geometric Graphs Prosenjit Bose Paz Carmi Mathieu Couture Anil Maheshwari Pat Morin Michiel Smid May 30, 008 Abstract We address the following problem: Given a complete k-partite

More information

Notes on Binary Dumbbell Trees

Notes on Binary Dumbbell Trees Notes on Binary Dumbbell Trees Michiel Smid March 23, 2012 Abstract Dumbbell trees were introduced in [1]. A detailed description of non-binary dumbbell trees appears in Chapter 11 of [3]. These notes

More information

Pebble Sets in Convex Polygons

Pebble Sets in Convex Polygons 2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon

More information

Trigonometric Functions

Trigonometric Functions Similar Right-Angled Triangles Trigonometric Functions We lan to introduce trigonometric functions as certain ratios determined by similar right-angled triangles. By de nition, two given geometric gures

More information

521493S Computer Graphics Exercise 3 (Chapters 6-8)

521493S Computer Graphics Exercise 3 (Chapters 6-8) 521493S Comuter Grahics Exercise 3 (Chaters 6-8) 1 Most grahics systems and APIs use the simle lighting and reflection models that we introduced for olygon rendering Describe the ways in which each of

More information

CS 428: Fall Introduction to. Geometric Transformations. Andrew Nealen, Rutgers, /15/2010 1

CS 428: Fall Introduction to. Geometric Transformations. Andrew Nealen, Rutgers, /15/2010 1 CS 428: Fall 21 Introduction to Comuter Grahics Geometric Transformations Andrew Nealen, Rutgers, 21 9/15/21 1 Toic overview Image formation and OenGL (last week) Modeling the image formation rocess OenGL

More information

New Results on Abstract Voronoi Diagrams

New Results on Abstract Voronoi Diagrams New Results on Abstract Voronoi Diagrams Dissertation Zur Erlangung des Doktorgrades (Dr. rer. nat.) der Mathematisch-Naturwissenschaftlichen Fakultät der Rheinischen Friedrich-Wilhelms-Universität Bonn

More information

Visibilty: Finding the Staircase Kernel in Orthogonal Polygons

Visibilty: Finding the Staircase Kernel in Orthogonal Polygons American Journal of Computational and Applied Mathematics 2012, 2(2): 17-24 DOI: 10.5923/j.ajcam.20120202.04 Visibilty: Finding the Staircase Kernel in Orthogonal Polygons Stefan A. Pape, Tzvetalin S.

More information

Folded Structures Satisfying Multiple Conditions

Folded Structures Satisfying Multiple Conditions Journal of Information Processing Vol.5 No.4 1 10 (Oct. 017) [DOI: 1197/isjji.5.1] Regular Paer Folded Structures Satisfying Multile Conditions Erik D. Demaine 1,a) Jason S. Ku 1,b) Received: November

More information

Lecture 8: Orthogonal Range Searching

Lecture 8: Orthogonal Range Searching CPS234 Comutational Geometry Setember 22nd, 2005 Lecture 8: Orthogonal Range Searching Lecturer: Pankaj K. Agarwal Scribe: Mason F. Matthews 8.1 Range Searching The general roblem of range searching is

More information

A CLASS OF STRUCTURED LDPC CODES WITH LARGE GIRTH

A CLASS OF STRUCTURED LDPC CODES WITH LARGE GIRTH A CLASS OF STRUCTURED LDPC CODES WITH LARGE GIRTH Jin Lu, José M. F. Moura, and Urs Niesen Deartment of Electrical and Comuter Engineering Carnegie Mellon University, Pittsburgh, PA 15213 jinlu, moura@ece.cmu.edu

More information

The Spatial Skyline Queries

The Spatial Skyline Queries The Satial Skyline Queries Mehdi Sharifzadeh Comuter Science Deartment University of Southern California Los Angeles, CA 90089-078 sharifza@usc.edu Cyrus Shahabi Comuter Science Deartment University of

More information

Polygon Triangulation

Polygon Triangulation Polygon Triangulation Definition Simple Polygons 1. A polygon is the region of a plane bounded by a finite collection of line segments forming a simple closed curve. 2. Simple closed curve means a certain

More information

Voronoi Diagrams and Delaunay Triangulations. O Rourke, Chapter 5

Voronoi Diagrams and Delaunay Triangulations. O Rourke, Chapter 5 Voronoi Diagrams and Delaunay Triangulations O Rourke, Chapter 5 Outline Preliminaries Properties and Applications Computing the Delaunay Triangulation Preliminaries Given a function f: R 2 R, the tangent

More information

Edge Guards for Polyhedra in Three-Space

Edge Guards for Polyhedra in Three-Space Edge Guards for Polyhedra in Three-Space Javier Cano Csaba D. Tóth Jorge Urrutia Abstract It is shown that every polyhedron in R with m edges can be guarded with at most 27 2m The bound improves to 5 6

More information

Deformable Free Space Tilings for Kinetic Collision Detection

Deformable Free Space Tilings for Kinetic Collision Detection Deformable Free Sace Tilings for Kinetic Collision Detection Pankaj K. Agarwal Julien Basch Leonidas J. Guibas John Hershberger Li Zhang Abstract We resent kinetic data structures for detecting collisions

More information

arxiv: v5 [cs.cc] 6 Jun 2017

arxiv: v5 [cs.cc] 6 Jun 2017 On the Comlexity of Barrier Resilience for Fat Regions and Bounded Ply arxiv:1302.4707v5 [cs.cc] 6 Jun 2017 Matias Korman Maarten Löffler Rodrigo I. Silveira Darren Strash Abstract In the barrier resilience

More information

ON PLANE GEOMETRIC SPANNERS: A SURVEY AND OPEN PROBLEMS

ON PLANE GEOMETRIC SPANNERS: A SURVEY AND OPEN PROBLEMS ON PLANE GEOMETRIC SPANNERS: A SURVEY AND OPEN PROBLEMS Prosenjit Bose Michiel Smid ABSTRACT. Given a weighted graph G = (V, E) and a real number t 1, a t-spanner of G is a spanning subgraph G with the

More information

Polygon decomposition. Motivation: Art gallery problem

Polygon decomposition. Motivation: Art gallery problem CG Lecture 3 Polygon decomposition 1. Polygon triangulation Triangulation theory Monotone polygon triangulation 2. Polygon decomposition into monotone pieces 3. Trapezoidal decomposition 4. Convex decomposition

More information

Chapter 3: Graphics Output Primitives. OpenGL Line Functions. OpenGL Point Functions. Line Drawing Algorithms

Chapter 3: Graphics Output Primitives. OpenGL Line Functions. OpenGL Point Functions. Line Drawing Algorithms Chater : Grahics Outut Primitives Primitives: functions in grahics acage that we use to describe icture element Points and straight lines are the simlest rimitives Some acages include circles, conic sections,

More information

Packing Two Disks into a Polygonal Environment

Packing Two Disks into a Polygonal Environment Packing Two Disks into a Polygonal Environment Prosenjit Bose, School of Computer Science, Carleton University. E-mail: jit@cs.carleton.ca Pat Morin, School of Computer Science, Carleton University. E-mail:

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

An improved algorithm for Hausdorff Voronoi diagram for non-crossing sets

An improved algorithm for Hausdorff Voronoi diagram for non-crossing sets An imroved algorithm for Hausdorff Voronoi diagram for non-crossing sets Frank Dehne, Anil Maheshwari and Ryan Taylor May 26, 2006 Abstract We resent an imroved algorithm for building a Hausdorff Voronoi

More information

arxiv: v1 [cs.cg] 1 Jul 2017

arxiv: v1 [cs.cg] 1 Jul 2017 CCCG 2017, Ottawa, Ontario, July 26 28, 2017 Angle-monotone Paths in Non-obtuse Triangulations Anna Lubiw Joseph O Rourke arxiv:1707.00219v1 [cs.cg] 1 Jul 2017 Abstract We reprove a result of Dehkordi,

More information

split split (a) (b) split split (c) (d)

split split (a) (b) split split (c) (d) International Journal of Foundations of Comuter Science c World Scientic Publishing Comany ON COST-OPTIMAL MERGE OF TWO INTRANSITIVE SORTED SEQUENCES JIE WU Deartment of Comuter Science and Engineering

More information

arxiv: v1 [cs.cg] 4 Dec 2007

arxiv: v1 [cs.cg] 4 Dec 2007 Spanners of Complete k-partite Geometric Graphs Prosenjit Bose Paz Carmi Mathieu Couture Anil Maheshwari Pat Morin Michiel Smid November 6, 018 arxiv:071.0554v1 [cs.cg] 4 Dec 007 Abstract We address the

More information

Polygon Triangulation. (slides partially by Daniel Vlasic )

Polygon Triangulation. (slides partially by Daniel Vlasic ) Polygon Triangulation (slides partially by Daniel Vlasic ) Triangulation: Definition Triangulation of a simple polygon P: decomposition of P into triangles by a maximal set of non-intersecting diagonals

More information

Learning Motion Patterns in Crowded Scenes Using Motion Flow Field

Learning Motion Patterns in Crowded Scenes Using Motion Flow Field Learning Motion Patterns in Crowded Scenes Using Motion Flow Field Min Hu, Saad Ali and Mubarak Shah Comuter Vision Lab, University of Central Florida {mhu,sali,shah}@eecs.ucf.edu Abstract Learning tyical

More information

Proving the absence of certain totally geodesic surfaces

Proving the absence of certain totally geodesic surfaces Proving the absence of certain totally geodesic surfaces Warren Shull August 24, 2012 Abstract We have proven the absence of totally geodesic surfaces bounded or punctured by either the figure-eight knot

More information

Yao Spanners for Wireless Ad Hoc Networks

Yao Spanners for Wireless Ad Hoc Networks Yao Spanners for Wireless Ad Hoc Networks A Thesis Presented to the Faculty of the Department of Computing Sciences Villanova University In Partial Fulfillment of the Requirements for the Degree of Master

More information

6th Bay Area Mathematical Olympiad

6th Bay Area Mathematical Olympiad 6th Bay Area Mathematical Olympiad February 4, 004 Problems and Solutions 1 A tiling of the plane with polygons consists of placing the polygons in the plane so that interiors of polygons do not overlap,

More information

Packing Short Plane Spanning Trees in Complete Geometric Graphs

Packing Short Plane Spanning Trees in Complete Geometric Graphs Packing Short Plane Spanning Trees in Complete Geometric Graphs Oswin Aichholzer 1, Thomas Hackl 2, Matias Korman 3, Alexander Pilz 4, Günter Rote 5, André van Renssen 6, Marcel Roeloffzen 7, and Birgit

More information

An Improved Algorithm for the Minimum Manhattan Network Problem

An Improved Algorithm for the Minimum Manhattan Network Problem An Imroved Algorithm for the Minimum Manhattan Network Problem Ro Kato, Keiko Imai, and Takao Asano Deartment of Information and Sstem Engineering Chuo Universit, Bunko-ku, Toko 112-8551, Jaan {asano,imai}@ise.chuo-u.ac.j

More information

Grouping of Patches in Progressive Radiosity

Grouping of Patches in Progressive Radiosity Grouing of Patches in Progressive Radiosity Arjan J.F. Kok * Abstract The radiosity method can be imroved by (adatively) grouing small neighboring atches into grous. Comutations normally done for searate

More information

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS

PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PACKING DIGRAPHS WITH DIRECTED CLOSED TRAILS PAUL BALISTER Abstract It has been shown [Balister, 2001] that if n is odd and m 1,, m t are integers with m i 3 and t i=1 m i = E(K n) then K n can be decomposed

More information

274 Curves on Surfaces, Lecture 5

274 Curves on Surfaces, Lecture 5 274 Curves on Surfaces, Lecture 5 Dylan Thurston Notes by Qiaochu Yuan Fall 2012 5 Ideal polygons Previously we discussed three models of the hyperbolic plane: the Poincaré disk, the upper half-plane,

More information

Computational Geometry. Geometry Cross Product Convex Hull Problem Sweep Line Algorithm

Computational Geometry. Geometry Cross Product Convex Hull Problem Sweep Line Algorithm GEOMETRY COMP 321 McGill University These slides are mainly compiled from the following resources. - Professor Jaehyun Park slides CS 97SI - Top-coder tutorials. - Programming Challenges books. Computational

More information

Constrained Path Optimisation for Underground Mine Layout

Constrained Path Optimisation for Underground Mine Layout Constrained Path Otimisation for Underground Mine Layout M. Brazil P.A. Grossman D.H. Lee J.H. Rubinstein D.A. Thomas N.C. Wormald Abstract The major infrastructure comonent reuired to develo an underground

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

arxiv: v2 [cs.cg] 3 May 2015

arxiv: v2 [cs.cg] 3 May 2015 Contact Representations of Graphs in 3D Md. Jawaherul Alam, William Evans, Stephen G. Kobourov, Sergey Pupyrev, Jackson Toeniskoetter, and Torsten Ueckerdt 3 arxiv:50.00304v [cs.cg] 3 May 05 Department

More information

The Geometry of Carpentry and Joinery

The Geometry of Carpentry and Joinery The Geometry of Carpentry and Joinery Pat Morin and Jason Morrison School of Computer Science, Carleton University, 115 Colonel By Drive Ottawa, Ontario, CANADA K1S 5B6 Abstract In this paper we propose

More information

An Optimal Algorithm for the Euclidean Bottleneck Full Steiner Tree Problem

An Optimal Algorithm for the Euclidean Bottleneck Full Steiner Tree Problem An Optimal Algorithm for the Euclidean Bottleneck Full Steiner Tree Problem Ahmad Biniaz Anil Maheshwari Michiel Smid September 30, 2013 Abstract Let P and S be two disjoint sets of n and m points in the

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

[Me] Meisters, G. H., Polygons have ears, American Mathematical Monthly, June/July 1975, pp

[Me] Meisters, G. H., Polygons have ears, American Mathematical Monthly, June/July 1975, pp 4. Applications Meisters [Me] Two-Ears Theorem was motivated by the problem of triangulating a simple polygon. In fact Meisters suggests a greedy, but concise algorithm to achieve this goal, i.e., find

More information

APPROXIMATING THE MAXMIN AND MINMAX AREA TRIANGULATIONS USING ANGULAR CONSTRAINTS. J. Mark Keil, Tzvetalin S. Vassilev

APPROXIMATING THE MAXMIN AND MINMAX AREA TRIANGULATIONS USING ANGULAR CONSTRAINTS. J. Mark Keil, Tzvetalin S. Vassilev Serdica J. Computing 4 00, 3 334 APPROXIMATING THE MAXMIN AND MINMAX AREA TRIANGULATIONS USING ANGULAR CONSTRAINTS J. Mark Keil, Tzvetalin S. Vassilev Abstract. We consider sets of points in the two-dimensional

More information

Aggregate-Max Nearest Neighbor Searching in the Plane

Aggregate-Max Nearest Neighbor Searching in the Plane CCCG 2013, Waterloo, Ontario, August 8 10, 2013 Aggregate-Max Nearest Neighbor Searching in the Plane Haitao Wang Abstract We study the aggregate nearest neighbor searching for the Max operator in the

More information

Computational Geometry

Computational Geometry Lecture 12: Lecture 12: Motivation: Terrains by interpolation To build a model of the terrain surface, we can start with a number of sample points where we know the height. Lecture 12: Motivation: Terrains

More information

Simplicial Hyperbolic Surfaces

Simplicial Hyperbolic Surfaces Simplicial Hyperbolic Surfaces Talk by Ken Bromberg August 21, 2007 1-Lipschitz Surfaces- In this lecture we will discuss geometrically meaningful ways of mapping a surface S into a hyperbolic manifold

More information

The Art Gallery Problem

The Art Gallery Problem The Art Gallery Problem Imagine an art gallery whose floor plan is a simple polygon, and a guard (a point) inside the gallery. Computational Geometry [csci 3250] The Art Gallery Problem Laura Toma Bowdoin

More information

Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Scheme

Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Scheme Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Scheme YASHAR GANJALI Department of Computer Science University of Waterloo Canada Abstract An Interval routing scheme

More information

arxiv: v1 [cs.cg] 6 Jan 2019

arxiv: v1 [cs.cg] 6 Jan 2019 Therese Biedl 1, Ahmad Biniaz 1, Veronika Irvine 1, Kshitij Jain 2, Philipp Kindermann 3, and Anna Lubiw 1 arxiv:1901.01476v1 [cs.cg] 6 Jan 2019 1 David R. Cheriton School of Computer Science, University

More information

Art Gallery, Triangulation, and Voronoi Regions

Art Gallery, Triangulation, and Voronoi Regions Art Gallery, Triangulation, and Voronoi Regions CS535 Fall 2016 Daniel G. Aliaga Department of Computer Science Purdue University [some slides based on Profs. Shmuel Wimer and Andy Mirzaian Topics Triangulation

More information

The Visibility Graph of Congruent Discs is Hamiltonian

The Visibility Graph of Congruent Discs is Hamiltonian The Visibility Graph of Congruent Discs is Hamiltonian David Rappaport School of Computing Queen s University, Kingston, Ontario, K7L 3N6, CANADA. Abstract We show that the visibility graph of a set of

More information

Computational Geometry [csci 3250]

Computational Geometry [csci 3250] Computational Geometry [csci 3250] Laura Toma Bowdoin College The Art Gallery Problem The Art Gallery Problem Imagine an art gallery whose floor plan is a simple polygon, and a guard (a point) inside the

More information

Fundamentals of. Restricted-Orientation Convexity z. Eugene Fink and Derick Wood y. Carnegie{Mellon University

Fundamentals of. Restricted-Orientation Convexity z. Eugene Fink and Derick Wood y. Carnegie{Mellon University Fundamentals of Restricted-Orientation Convexity z Eugene Fink and Derick Wood y Technical Reort HKUST-CS95-46 Setember 1995 Deartment of Comuter Science Carnegie{Mellon University Pittsburgh, PA 15213

More information

Improved Results on Geometric Hitting Set Problems

Improved Results on Geometric Hitting Set Problems Improved Results on Geometric Hitting Set Problems Nabil H. Mustafa nabil@lums.edu.pk Saurabh Ray saurabh@cs.uni-sb.de Abstract We consider the problem of computing minimum geometric hitting sets in which,

More information

Differential Geometry: Circle Patterns (Part 1) [Discrete Conformal Mappinngs via Circle Patterns. Kharevych, Springborn and Schröder]

Differential Geometry: Circle Patterns (Part 1) [Discrete Conformal Mappinngs via Circle Patterns. Kharevych, Springborn and Schröder] Differential Geometry: Circle Patterns (Part 1) [Discrete Conformal Mappinngs via Circle Patterns. Kharevych, Springborn and Schröder] Preliminaries Recall: Given a smooth function f:r R, the function

More information

A Concise Workbook for College Algebra

A Concise Workbook for College Algebra City University of New York (CUNY) CUNY Academic Works Oen Educational Resources Queensborough Community College Summer 6--08 A Concise Workbook for College Algebra Fei Ye Queensborough Community College

More information

We have set up our axioms to deal with the geometry of space but have not yet developed these ideas much. Let s redress that imbalance.

We have set up our axioms to deal with the geometry of space but have not yet developed these ideas much. Let s redress that imbalance. Solid geometry We have set up our axioms to deal with the geometry of space but have not yet developed these ideas much. Let s redress that imbalance. First, note that everything we have proven for the

More information

CMSC 754 Computational Geometry 1

CMSC 754 Computational Geometry 1 CMSC 754 Comutational Geometry 1 David M. Mount Deartment of Comuter Science University of Maryland Fall 2002 1 Coyright, David M. Mount, 2002, Det. of Comuter Science, University of Maryland, College

More information

Competitive Online Routing in Geometric Graphs

Competitive Online Routing in Geometric Graphs Competitive Online Routing in Geometric Graphs Prosenjit Bose and Pat Morin School of Computer Science, Carleton University, 1125 Colonel By Drive, Ottawa, Ontario, Canada, K1S 5B6. Abstract We consider

More information

Distributed Deterministic Edge Coloring using Bounded Neighborhood Independence

Distributed Deterministic Edge Coloring using Bounded Neighborhood Independence Distributed Comuting manuscrit No. (will be inserted by the editor) Distributed Deterministic Edge Coloring using Bounded Neighborhood Indeendence Leonid Barenboim Michael Elkin Received: date / Acceted:

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

Curve Reconstruction

Curve Reconstruction Curve Reconstruction Ernst Althaus Tamal Dey Stefan Näher Edgar Ramos Ernst Althaus and Kurt Mehlhorn: Traveling Salesman-Based Curve Reconstruction in Polynomial Time, SIAM Journal on Comuting, 3, 27

More information

Computing the Visibility Graph of Points Within a Polygon

Computing the Visibility Graph of Points Within a Polygon Comuting the Visibility Grah of Points Within a Polygon Boaz Ben-Moshe Comuter Science Ben-Gurion University Beer-Sheva 84105, Israel benmoshe@cs.bgu.ac.il Olaf Hall-Holt Alied Math. & Statistics Stony

More information