arxiv: v1 [cs.cg] 1 Feb 2016

Transcription

1 The Price of Order Prosenjit Bose Pat Morin André van Renssen, arxiv: v1 [cs.cg] 1 Feb 016 Abstract We present tight bonds on the spanning ratio of a large family of ordered θ-graphs. A θ-graph partitions the plane arond each vertex into m disjoint cones, each having apertre θ = π/m. An ordered θ-graph is constrcted by inserting the vertices one by one and connecting each vertex to the closest previosly-inserted vertex in each cone. We sho that for any integer k 1, ordered θ-graphs ith 4k + 4 cones have a tight spanning ratio of 1 + sin(θ/)/(cos(θ/) sin(θ/)). We also sho that for any integer k, ordered θ-graphs ith 4k + cones have a tight spanning ratio of 1/(1 sin(θ/)). We provide loer bonds for ordered θ-graphs ith 4k + 3 and 4k + 5 cones. For ordered θ-graphs ith 4k + and 4k +5 cones these loer bonds are strictly greater than the orst case spanning ratios of their nordered conterparts. These are the first reslts shoing that ordered θ-graphs have orse spanning ratios than nordered θ-graphs. Finally, e sho that, nlike their nordered conterparts, the ordered θ-graphs ith 4, 5, and 6 cones are not spanners. 1 Introdction In a eighted graph G, let the distance δ G (, v) beteen to vertices and v be the length of the shortest path beteen and v in G. A sbgraph H of G is a t-spanner of G if for all pairs of vertices and v, δ H (, v) t δ G (, v), here t is a real constant and at least 1. The spanning ratio of H is the smallest t for hich H is a t-spanner. The graph G is referred to as the nderlying graph [1]. We consider the sitation here the nderlying graph G is a straightline embedding of the complete graph on a set of n vertices in the plane. The eight of each edge v is the Eclidean distance v beteen and v. A spanner of sch a graph is called a geometric spanner. We look at a specific type of geometric spanner: θ-graphs. Introdced independently by Clarkson [9] and Keil [11], θ-graphs are constrcted as follos: for each vertex, e partition the plane into m c disjoint cones ith apex, each having apertre θ = π/m c. The θ-graph is constrcted Research spported in part by NSERC and Carleton University s President s 010 Doctoral Felloship. School of Compter Science, Carleton University, 115 Colonel By Drive, Ottaa, K1S 5B6, Canada, jit@scs.carleton.ca School of Compter Science, Carleton University, 115 Colonel By Drive, Ottaa, K1S 5B6, Canada, morin@scs.carleton.ca JST, ERATO, Kaarabayashi Large Graph Project National Institte of Informatics, -1- Hitotsbashi, Chiyoda-k, Tokyo, , Japan, andre@nii.ac.jp 1

2 by, for each cone ith apex, connecting to the vertex v hose projection along the bisector of the cone is closest. When m c cones are sed, e denote the reslting θ-graph as θ mc. Rppert and Seidel [13] shoed that the spanning ratio of these graphs is at most 1/(1 sin(θ/)), hen θ < π/3, i.e. there are at least seven cones. In this paper, e look at the ordered variant of θ-graphs. The ordered θ-graph is constrcted by inserting the vertices one by one and connecting each vertex to the closest previosly-inserted vertex in each cone (a more precise definition follos in the next section). These graphs ere introdced by Bose et al. [6] in order to constrct spanners ith nice additional properties, sch as logarithmic maximm degree and logarithmic diameter. The crrent pper bond on the spanning ratio of these graphs is 1/(1 sin(θ/)), hen θ < π/3. In 010, Bonichon et al. [3] shoed that the nordered θ 6 -graph has spanning ratio. This as done by dividing the cones into to sets, positive and negative cones, sch that each positive cone is adjacent to to negative cones and vice versa. It as shon that hen edges are added only in the positive cones, in hich case the graph is called the half-θ 6 -graph, the reslting graph is eqivalent to the TD-Delanay trianglation (the Delanay trianglation here the empty region is an eqilateral triangle) hose spanning ratio is, as shon by Che [8]. An alternative, indctive proof of the spanning ratio of the half-θ 6 -graph as presented by Bose et al. [5]. This indctive proof as generalized to sho that the θ (4k+) -graph has spanning ratio 1 + sin(θ/), here k is an integer and at least 1. This spanning ratio is tight, i.e. there is a matching loer bond. Recently, the pper bond on the spanning ratio of the θ (4k+4) -graph as improved [4] to 1 + sin(θ/)/(cos(θ/) sin(θ/)) and those of the θ (4k+3) -graph and the θ (4k+5) -graph ere improved to cos(θ/4)/(cos(θ/) sin(3θ/4)). By applying techniqes similar to the ones sed to improve the spanning ratio of nordered θ-graphs, e improve the spanning ratio of the ordered θ (4k+4) -graph to 1 + sin(θ/)/(cos(θ/) sin(θ/)) and sho that this spanning ratio is tight. Unfortnately, this indctive proof cannot be applied to ordered θ-graphs ith an odd nmber of cones, as the triangle e apply indction on can become larger, depending on the order in hich the vertices are inserted. We also sho that the ordered θ (4k+) -graph (k ) has a tight spanning ratio of 1/(1 sin(θ/)). Next, e provide loer bonds for ordered θ-graphs ith 4k + 3 and 4k + 5 cones (see Table 1). For ordered θ-graphs ith 4k + and 4k + 5 cones these loer bonds are strictly greater than the orst case spanning ratios of their nordered conterparts. Finally, e sho that ordered θ-graphs ith 3, 4, 5, and 6 cones are not spanners. For the ordered θ 3 -graph this is not srprising, as its nordered conterpart is connected [1], bt not a spanner El09. For the ordered θ 4, θ 5, and θ 6 -graph, hoever, this is a bit srprising since their nordered conterparts have recently been shon to be spanners [, 3, 7]. In other ords, e sho, for the first time, that obtaining the nice additional properties of the ordered θ-graphs comes at a price. Preliminaries We define a cone C to be a region in the plane beteen to rays originating from a vertex referred to as the apex of the cone. When constrcting an (ordered)

3 θ 3, θ 4, θ 5, and θ 6 -graph Upper Bond - Loer Bond Not constant spanners. θ (4k+) -graph θ (4k+3) -graph θ (4k+4) -graph θ (4k+5) -graph 1 1 sin( θ ), for k 1 1 sin( θ ) 1 1 sin( θ ), for k sin( θ ) cos( θ ) sin( θ ), for k cos( θ 4 )+sin θ cos( 3θ 4 ) sin( θ ) cos( θ ) sin( θ ) 1 1 sin( θ ), for k sin( θ ) cos( θ 4 ) cos( θ ) sin( 3θ 4 ) Table 1: An overvie of pper and loer bonds on the spanning ratio of ordered θ-graphs. Upper bonds on ordered θ-graphs ith 4k +, 4k + 3, or 4k + 5 cones by Bose et al. 6. θ mc -graph, for each vertex consider the rays originating from ith the angle beteen consective rays being θ = π/m c. Each pair of consective rays defines a cone. The cones are oriented sch that the bisector of some cone coincides ith the vertical halfline throgh that lies above. We call this cone C 0 of and e nmber the cones in clockise order arond (see Figre 1). The cones arond the other vertices have the same orientation as the ones arond. We rite Ci to indicate the i-th cone of a vertex. For ease of exposition, e only consider point sets that satisfy the folloing general position assmption: no to vertices lie on a line parallel to one of the rays that defines a cone bondary and no to vertices lie on a line perpendiclar to the bisector of a cone. C 0 C 5 C1 v C 4 C C3 Figre 1: The cones having apex in the (ordered) θ 6 -graph. Figre : Three previosly-inserted vertices are projected onto the bisector of a cone of. Vertex v is the closest vertex. Given some ordering of the vertices, the ordered θ mc -graph is constrcted as follos: e insert the vertices in the order given by the ordering. When a vertex is inserted, for each cone C i of, e add an edge from to the closest 3

4 previosly-inserted vertex in that cone, here distance is measred along the bisector of the cone (see Figre ). Note that or general position assmption implies that each vertex has a niqe closest vertex in each of its non-empty cones and adds at most one edge per cone to the graph. As the ordered θ-graph depends on the ordering of the vertices, different orderings can prodce different θ-graphs. Given a vertex in cone C i of vertex, e define the canonical triangle T as the triangle defined by the borders of C i and the line throgh perpendiclar to the bisector of C i. We se m to denote the midpoint of the side of T opposite and α to denote the smaller nsigned angle beteen and m (see Figre 3). Note that for any pair of vertices and, there exist to canonical triangles: T and T. m α Figre 3: The canonical triangle T. Before e bond the spanning ratios of ordered θ-graphs, e first introdce a fe sefl geometric lemmas. Note that Lemmas 1 and are proven by Bose et al. [4]. We se xyz to denote the smaller angle beteen line segments xy and yz. Lemma 1 (Bose et al. [4], Lemma 3) Let, v and be three vertices in the θ (4k+x) -graph, here x {, 3, 4, 5}, sch that C0 and v T, to the left of. Let a be the intersection of the side of T opposite to ith the left bondary of C0 v. Let Ci v denote the cone of v that contains and let c and d be the pper and loer corner of T v. If 1 i k 1, or i = k and c d, then max { vc + c, vd + d } va + a and max { c, d } a. Lemma (Bose et al. [4], Lemma 4) Let, v and be three vertices in the θ (4k+x) -graph, here x {, 3, 4, 5}, sch that C 0, v T to the left of, and C v 0. Let a be the intersection of the side of T opposite to ith the left bondary of C v 0. Let c and d be the corners of T v opposite to v. Let β = av and let γ be the nsigned angle beteen v and the bisector of T v. Let c be a positive constant. If cos γ sin β c cos ( θ β) sin ( θ + γ), 4

5 a c C v i d v a c β T v v γ θ d Figre 4: The sitation here e apply Lemma 1. Figre 5: The sitation here e apply Lemma. then max { vc + c c, vd + c d } va + c a. 3 The Ordered θ (4k+4) -Graph In this section, e give tight bonds on the spanning ratio of the ordered θ (4k+4) -graph, for any integer k 1. We start by improving the pper bonds. Theorem 3 Let and be to vertices in the plane sch that as inserted before. Let m be the midpoint of the side of T opposite and let α be the nsigned angle beteen and m. There exists a path connecting and in the ordered θ (4k+4) -graph of length at most ( cos α cos ( ) + c θ ( cos α tan here c eqals 1/(cos(θ/) sin(θ/)). ( ) θ + sin α) ), Proof. We assme ithot loss of generality that C0 and lies on or to the right of the bisector of C0. We prove the theorem by indction on the rank, hen ordered by area (ties are broken arbitrarily), of the canonical triangles T xy for all pairs of vertices here y as inserted before x. Let a and b be the pper left and right corners of T. Or indctive hypothesis is δ(, ) max{ a + c a, b + c b }, here δ(, ) denotes the length of the shortest path from to in the ordered θ (4k+4) -graph and c eqals 1/(cos(θ/) sin(θ/)). We first sho that this indction hypothesis implies the theorem. Basic trigonometry gives s the folloing eqalities: m = cos α, m = sin α, am = bm = cos α tan(θ/), and a = b = cos α/ cos(θ/). Ths the indction hypothesis gives that δ(, ) is at most (cos α/ cos(θ/) + c (cos α tan(θ/) + sin α)). 5

6 Base case: T has rank 1. Since this triangle is a smallest triangle here as inserted before, it is empty: if it is not empty, let x be a vertex in T. Since T x and T x are both smaller than T, the existence of x contradicts that T is the smallest triangle here as inserted before. Since T is empty, is the closest vertex to in C 0. Hence, since as inserted before, adds an edge to hen it is inserted. Therefore, the edge is part of the ordered θ (4k+4) -graph, and δ(, ) =. From the triangle ineqality and the fact that c 1, e have max{ a + c a, b + c b }, so the indction hypothesis holds. Indction step: We assme that the indction hypothesis holds for all pairs of vertices ith canonical triangles of rank p to j. Let T be a canonical triangle of rank j + 1. If is an edge in the ordered θ (4k+4) -graph, the indction hypothesis follos by the same argment as in the base case. If there is no edge beteen and, let v be the vertex in T that connected to hen it as inserted, let a and b be the pper left and right corners of T v, and let a be the intersection of the side of T opposite and the left bondary of C v 0 (see Figre 6). a a b a a a v c d b a a a v c d b a a a v c d b a v b (a) (b) (c) (d) Figre 6: The for cases based on the cone of v that contains. We need to perform case distinction on hether as inserted before or after v, to determine hether e can apply indction on T v or T v. Let c and d be the left and right corners of T v and let c and d be the left and right corner of T v. We note that since the ordered θ (4k+4) -graph has an even nmber of cones, vcc and vdd form to parallelograms. Ths, e have that vc + c c = c + c c v and vd + c d = d + c d v. Hence, e can assme ithot loss of generality that the canonical triangle e need to look at is T v. Withot loss of generality, e assme that v lies to the left of or has the same x-coordinate as ; The case here v lies to the right of is symmetric to this case. Since e need to sho that δ(, ) max{ a + c a, b + c b }, it sffices to sho that δ(, ) a + c a. We perform a case analysis based on the cone of v that contains : (a) C v 0, (b) C v i here 1 i k 1, 6

7 or i = k and c d, (c) Ck v and c > d, (d) Cv k+1. To prove that δ(, ) a + c a, it sffices to sho that δ(v, ) va + c a, as v a + c a v and v, a, a, and a form a parallelogram (see Figre 6). Case (a): Vertex lies in C0 v (see Figre 6a). Since T v has smaller area than T, e apply the indctive hypothesis to T v. Since v lies to the left of or has the same x-coordinate as, e have δ(v, ) va + c a. Case (b): Vertex lies in Ci v, here 1 i k 1, or i = k and c d. Since T v is smaller than T, by indction e have δ(v, ) max{ vc + c c, vd +c d } (see Figre 6b). Since Ci v here 1 i k 1, or i = k and c d, e can apply Lemma 1. Note that point a in Lemma 1 corresponds to point a in this proof. Hence, e get that max { vc + c, vd + d } va + a and max { c, d } a. Since c 1, this implies that max { vc + c c, vd + c d } va + c a. Case (c) Vertex lies in Ck v and c > d. Since T v is smaller than T and c > d, the indction hypothesis for T v gives δ(v, ) vc + c c (see Figre 6c). Let β be a v and let γ be the angle beteen v and the bisector of T v. We note that γ = θ β. Hence Lemma gives that vc +c c va +c a holds hen c (cos(θ β) sin β)/(cos(θ/ β) sin(3θ/ β)). As this fnction is decreasing in β for θ/ β θ, it is maximized hen β eqals θ/. Hence c needs to be at least (cos(θ/) sin(θ/))/(1 sin θ), hich can be reritten to 1/(cos(θ/) sin(θ/)). Case (d) Vertex lies in Ck+1 v (see Figre 6d). Since T v is smaller than T, e can apply indction on it. Since lies above the bisector of T v, the indction hypothesis for T v gives δ(v, ) vd + c d. Let β be a v and let γ be the angle beteen v and the bisector of T v. We note that γ = β. Hence Lemma gives that vd + c d va + c a holds hen c (cos β sin β)/(cos(θ/ β) sin(θ/ + β)), hich is eqal to 1/(cos(θ/) sin(θ/)). Since cos α/ cos(θ/) + (cos α tan(θ/) + sin α)/(cos(θ/) sin(θ/)) is increasing for α [0, θ/], for θ π/4, it is maximized hen α = θ/, and e obtain the folloing corollary: ( ) sin( Corollary 4 The ordered θ (4k+4) -graph (k 1) is a 1 + θ ) - cos( θ ) sin( θ ) spanner. Next, e provide a matching loer bond on the spanning ratio of the ordered θ (4k+4) -graph. Lemma 5 The ordered θ (4k+4) -graph (k 1) has spanning ratio at least 1 + sin( θ ) cos( θ ) sin( θ ). Proof. To prove the loer bond, e first constrct a point set, after hich e specify the order in hich these vertices are inserted into the graph. We fix a vertex and a vertex arbitrarily close to the right bondary of C 0. Next, e place a vertex v 1 arbitrarily close to the left corner of T, folloed by a vertex v arbitrarily close to the pper corner of T v1. Finally, e repeat the folloing to steps an arbitrary nmber of times: e position a vertex v i arbitrarily close to the left corner of T vi v i 1, folloed by a vertex v i+1 arbitrarily close to the 7

8 pper corner of T vi 1v i. Let v n be the last vertex placed in this fashion. We insert the vertices in the folloing order: v n, v n 1,..., v, v 1,,. The reslting ordered θ (4k+4) -graph consists of a single path beteen and and is shon in Figre 7. Note that hen a vertex v is inserted, all previosly-inserted vertices lie in the same cone of v. This ensres that no shortcts are introdced hen inserting v. v 3 v 4 v v 1 Figre 7: A loer bond for the ordered θ (4k+4) -graph. We note that edges v 1 and edges of the form v i v i+ (for odd i 1) lie on a line. We also note that edges v and edges of the form v i v i+ (for even i ) lie on a line. Let x be the intersection of these to lines and let β be xv 1. Hence, as the nmber of vertices approaches infinity, the total length of the path approaches x + x. Using that x = (π θ)/ β, e compte the folloing edge lengths: x = sin ( π θ + β ) sin ( π θ β ) x = sin θ sin ( π θ β ) Since for the ordered θ (4k+4) -graph β = θ/, the sm of these eqalities is 1/(cos θ+tan θ), hich can be reritten to 1+ sin(θ/)/(cos(θ/) sin(θ/)). Theorem 6 The ordered θ (4k+4) -graph (k 1) has a tight spanning ratio of sin( 1 + θ ) cos( θ ) sin( θ ). 8

9 4 Loer Bonds Next, e provide loer bonds for the ordered θ (4k+) -graph, the ordered θ (4k+3) - graph, and the ordered θ (4k+5) -graph. For the ordered θ (4k+) -graph, this loer bond implies that the crrent pper bond on the spanning ratio is tight. For the ordered θ (4k+) -graph and the ordered θ (4k+5) -graph, these loer bonds are strictly larger than the pper bond on the orst case spanning ratio of its nordered conterpart. Lemma 7 The ordered θ (4k+) -graph (k ) has spanning ratio at least 1 1 sin( θ ). Proof. To prove the loer bond, e first constrct a point set, after hich e specify the order in hich these vertices are inserted into the graph. We fix a vertex and a vertex arbitrarily close to the right bondary of C0, and e place a vertex v 1 arbitrarily close to the pper left corner of T. Next, e repeat the folloing configration of six points l 1, v, l, r 1, v 3, and r an arbitrary nmber of times: position l 1 in T v1 arbitrarily close to v 1 ; v lies in the right corner of T l1 ; l is close to the right bondary of T v1v arbitrarily close to v 1 ; r 1 lies in the intersection of T vl and C l 0 arbitrarily close to v ; v 3 is placed in the left corner of the intersection of T l1r 1 and T lr 1 ; vertex r is positioned in the intersection of T vv 3 and T v3v sch that v 3 r is parallel to v 1. Since v 3 r is parallel to v 1, e can repeat placing this configration, constrcting a staircase of vertices (see Figre 8). When e place the i-th configration, e place vertices l i 1, v i, l i, r i 1, v i+1, and r i. v 3 r r 1 v l v 1 l 1 Figre 8: A loer bond for the ordered θ (4k+) -graph. We insert these vertices into the ordered θ (4k+) -graph in the folloing order: starting from the last configration don to the first one, insert the vertices of the i-th configration in the order r i, r i 1, v i+1, l i, l i 1, v i. Finally, e 9

10 insert, v 1, and. The reslting ordered θ (4k+) -graph is essentially a path beteen and and is shon in Figre 8. We note that edges v 1 and edges of the form v i v i+ (for odd i 1) lie on a line. We also note that edges v and edges of the form v i v i+ (for even i ) lie on a line. Let x be the intersection of these to lines. Hence, as the nmber of vertices approaches infinity, the total length of the path approaches x + x. Using that x = θ, x = (π + θ)/, x = (π 3θ)/, and the la of sines, e compte the folloing edge lengths: x = sin ( ) π+θ sin ( ) π 3θ sin θ x = sin ( ) π 3θ Hence, the spanning ratio of the ordered θ (4k+) -graph is at least (sin((π + θ)/) + sin θ)/ sin((π 3θ)/), hich can be reritten to 1/(1 sin(θ/)). Since Bose et al. [6] shoed that the θ (4k+) -graph has a spanning ratio of at most 1/(1 sin(θ/)), this loer bond implies the folloing theorem. Theorem 8 The ordered θ (4k+) -graph (k ) has a tight spanning ratio of 1 1 sin( θ ). We also note that since the orst case spanning ratio of the nordered θ 4k+ -graph [4] is 1 + sin(θ/), this shos that the ordered θ (4k+) -graph has a orse orst case spanning ratio. Lemma 9 The ordered θ (4k+3) -graph (k 1) has spanning ratio at least cos( θ 4 )+sin θ. cos( 3θ 4 ) Proof. The proof is analogos to the proof of Lemma 5, here β = θ/4, and shos that the spanning ratio of the ordered θ (4k+3) -graph is at least (sin(π/ θ/4) + sin θ)/ sin(π/ 3θ/4), hich can be reritten to (cos(θ/4) +sin θ)/ cos(3θ/4). Lemma 10 The ordered θ (4k+5) -graph (k 1) has spanning ratio at least 1 + sin( θ ) cos( θ 4 ) cos( θ ) sin( 3θ 4 ). Proof. The proof is analogos to the proof of Lemma 5, here β = 3θ/4, and shos that the spanning ratio of the ordered θ (4k+5) -graph is at least (sin(π/+θ/4)+sin θ)/ sin(π/ 5θ/4), hich can be reritten to 1+ sin(θ/) cos(θ/4)/(cos(θ/) sin(3θ/4)). We note that this loer bond on the spanning ratio of the ordered θ (4k+5) - graph is the same as the crrent pper bond on θ-roting on the nordered θ (4k+5) -graph, hich is strictly greater than the crrent pper bond on the spanning ratio of the nordered θ (4k+5) -graph. 10

11 5 Ordered Theta-Graphs ith Fe Cones In this section e sho that ordered θ-graphs ith 3, 4, 5, or 6 cones are not spanners. For the ordered θ 4, θ 5, and θ 6 -graph, this is srprising, since their nordered conterparts ere recently shon to be spanners [, 3, 7]. For each of these ordered θ-graphs, e bild a toer similar to the ones from the previos section. Hoever, nlike the toers in the previos section, the toers of ordered θ-graphs that have at most 6 cones do not converge, ths giving rise to point sets here the spanning ratio depends on the size of these sets. Lemma 11 The ordered θ 4 -graph is not a spanner. Proof. To prove that the ordered θ 4 -graph is not a spanner, e first constrct a point set, after hich e specify the order in hich these vertices are inserted into the graph. We fix a vertex and a vertex slightly to the right of the bisector of C0. Next, e place a vertex v 1 arbitrarily close to the left corner of T and a vertex v arbitrarily close to the pper corner of T v1. Note that the placement of v implies that it lies slightly to the right of the bisector of C v1 0. Becase of this, e can repeat placing pairs of vertices in a similar fashion, constrcting a staircase of vertices (see Figre 9). Let v n denote the last vertex that as placed. v n v n 1 v n v n 3 v v 1 Figre 9: The ordered θ 4 -graph is not a spanner. We insert these vertices into the ordered θ 4 -graph in the folloing order: v n, v n 1, v n, v n 3,..., v, v 1,,. The reslting ordered θ 4 -graph consists of a single path beteen and and is shon in Figre 9. When e take to be 1, all diagonal edges have length c = and the total length of the path is 1 + n. Hence, e have a graph hose spanning ratio depends on the nmber of vertices, implying that there does not exist a constant t, sch that it is a t-spanner. 11

12 Lemma 1 The ordered θ 3 -graph is not a spanner. Proof. The proof is analogos to the proof of Lemma 11, here c = cos(π/6) = 3/, and shos that the total length of the path is 1 + n 3/. Hence, e have a graph hose spanning ratio depends on the nmber of vertices, implying that there does not exist a constant t, sch that it is a t-spanner. Lemma 13 The ordered θ 5 -graph is not a spanner. Proof. The proof is analogos to the proof of Lemma 11, here vertex is placed sch that the angle beteen and the bisector of C0 is θ/4 = π/10 and c = cos(π/10)/ cos(π/5), and shos that the total length of the path is 1+n cos(π/10)/ cos(π/5). Hence, e have a graph hose spanning ratio depends on the nmber of vertices, implying that there does not exist a constant t, sch that it is a t-spanner. We note that the placement of v i (for even i) implies that the angle beteen v i 1 v i and the bisector of C vi 1 0 is θ/4. Hence, every pair v i 1, v i of the staircase has the same relative configration as the pair,. Lemma 14 The ordered θ 6 -graph is not a spanner. Proof. To prove that the ordered θ 6 -graph is not a spanner, e first constrct a point set, after hich e specify the order in hich these vertices are inserted into the graph. We fix a vertex, a vertex arbitrarily close to the right bondary of C 0, and a vertex v 1 arbitrarily close to the left corner of T. Next, e repeat the folloing configration of for vertices l 1, v, r 1, and v 3 an arbitrary nmber of times: position vertex l 1 in T v1 arbitrarily close to v 1 (otside T ); v lies in the right corner of T l1 ; place r 1 in T vl 1 arbitrarily close to v (otside T l1 ); v 3 lies in the left corner of T l1r 1. Note that the line segment v 3 r 1 is parallel to v 1. Becase of this, e can repeat placing for vertices in a similar fashion, constrcting a staircase of vertices (see Figre 10). When e place the i-th configration, e place vertices l i, v i, r i, and v i+1. We insert these vertices into the ordered θ 6 -graph in the folloing order: starting from the last configration don to the first one, insert the vertices of the i-th configration in the order r i, v i+1, l i, v i. Finally, e insert, v 1, and. The reslting ordered θ 6 -graph is essentially a path beteen and and is shon in Figre 10. When e take to be 1, e note that every configration of for vertices extends the path length by. Hence, e have a graph hose spanning ratio depends on the nmber of vertices, implying that there does not exist a constant t, sch that it is a t-spanner. 6 Conclsion We have provided tight spanning ratios for ordered θ-graphs ith 4k + or 4k + 4 cones. We also provided loer bonds for ordered θ-graphs ith 4k + 3 or 4k + 5 cones. The loer bonds for ordered θ-graphs ith 4k + or 4k + 5 cones are strictly greater than those of their nordered conterparts. Frthermore, 1

13 v 5 v 4 r v 3 l r 1 v v 1 l 1 Figre 10: A loer bond for the ordered θ 6 -graph. e shoed that ordered θ-graphs ith feer than 7 cones are not spanners. For the ordered θ 4, θ 5, and θ 6 -graph, this is srprising, since their nordered conterparts ere sho to be spanners [, 3, 7]. Ths e have shon for the first time that the nice properties obtained hen sing ordered θ-graphs come at a price. A nmber of open problems remain ith respect to ordered θ-graphs. For starters, thogh e provided loer bonds for ordered θ-graphs ith 4k + 3 or 4k + 5 cones, they do not match the crrent pper bond of 1/(1 sin(θ/)). Hence, the obvios open problem is to find tight matching bonds for these graphs. Hoever, more importantly, there is crrently no roting algorithm knon for ordered θ-graphs. The θ-roting algorithm sed for nordered θ-graphs cannot be sed, since it assmes the existence of an edge in each non-empty cone. This assmption does not need to hold for ordered θ-graphs, since hether or not an edge is present depends on the order of insertion as ell. References [1] O. Aichholzer, S. W. Bae, L. Barba, P. Bose, M. Korman, A. van Renssen, P. Taslakian, and S. Verdonschot. Theta-3 is connected. Comptational Geometry: Theory and Applications (CGTA) special isse for CCCG 013, 47(9): , 014. [] L. Barba, P. Bose, J.-L. De Carfel, A. van Renssen, and S. Verdonschot. On the stretch factor of the theta-4 graph. In Proceedings of the 13th Algorithms and Data Strctres Symposim (WADS 013), volme 8037 of Lectre Notes in Compter Science, pages , 013. [3] N. Bonichon, C. Gavoille, N. Hansse, and D. Ilcinkas. Connections beteen theta-graphs, Delanay trianglations, and orthogonal srfaces. In Proceed- 13

14 ings of the 36th International Conference on Graph Theoretic Concepts in Compter Science (WG 010), pages 66 78, 010. [4] P. Bose, J.-L. De Carfel, P. Morin, A. van Renssen, and S. Verdonschot. Toards tight bonds on theta-graphs: More is not alays better. Accepted, pending minor revisions, to Theoretical Compter Science (TCS), 015. [5] P. Bose, R. Fagerberg, A. van Renssen, and S. Verdonschot. Optimal local roting on Delanay trianglations defined by empty eqilateral triangles. Accepted to SIAM Jornal on Compting (SICOMP), 015. [6] P. Bose, J. Gdmndsson, and P. Morin. Ordered theta graphs. Comptational Geometry: Theory and Applications (CGTA), 8(1):11 18, 004. [7] P. Bose, P. Morin, A. van Renssen, and S. Verdonschot. The θ 5 -graph is a spanner. Comptational Geometry: Theory and Applications (CGTA), 48(): , 015. [8] P. Che. There are planar graphs almost as good as the complete graph. Jornal of Compter and System Sciences, 39():05 19, [9] K. Clarkson. Approximation algorithms for shortest path motion planning. In Proceedings of the 19th Annal ACM Symposim on Theory of Compting (STOC 1987), pages 56 65, [10] N. M. El Molla. Yao spanners for ireless ad hoc netorks. Master s thesis, Villanova University, 009. [11] J. Keil. Approximating the complete Eclidean graph. In Proceedings of the 1st Scandinavian Workshop on Algorithm Theory (SWAT 1988), pages 08 13, [1] G. Narasimhan and M. Smid. Geometric Spanner Netorks. Cambridge University Press, 007. [13] J. Rppert and R. Seidel. Approximating the d-dimensional complete Eclidean graph. In Proceedings of the 3rd Canadian Conference on Comptational Geometry (CCCG 1991), pages 07 10,