arxiv: v1 [cs.cg] 21 Mar 2013

Transcription

1 On he rech facor of he Thea-4 graph Lui Barba Proenji Boe Jean-Lou De Carufel André van Renen Sander Verdoncho arxiv: v1 [c.cg] 21 Mar 2013 Abrac In hi paper we how ha he θ-graph wih 4 cone ha conan rech facor, i.e., here i a pah beween any pair of verice in hi graph whoe lengh i a mo a conan ime he Euclidean diance beween ha pair of verice. Thi i he la θ-graph for which i wa no known wheher i rech facor wa bounded. 1 Inroducion A -panner of a weighed graph G i a conneced ub-graph H wih he propery ha for all pair of verice u and v, he weigh of he hore pah beween u and v in H i a mo ime he weigh of he hore pah beween u and v in G, for ome fixed conan 1. The malle conan for which H i a -panner of G i referred o a he rech facor or panning raio of he graph. The graph G i referred o a he underlying graph. In our eing, he underlying graph i he complee graph on a e of n poin in he plane and he weigh of an edge i he Euclidean diance beween i endpoin. A panner of uch a graph i called a geomeric panner. For a comprehenive overview of geomeric panner, ee he book by Naraimhan and Smid [8]. In hi paper, we focu on θ-graph. Inroduced independenly by Clarkon [5] and Keil [7], he θ m - C 2 (p) graph i conruced a follow. Given a e P of poin in he plane, we conider each poin p P and pariion he plane ino m cone (region in he plane beween wo ray originaing from he ame poin) wih apex p, each defined by wo ray a conecuive muliple of θ = 2π/m radian from he negaive y-axi. We label he cone C 0 (p) hrough C m 1 (p), in couner-clockwie order around p, aring from he negaive y-axi; ee Fig. 1. In each cone C i (p), we add an edge beween p and p i, he poin in C i (p) neare o p. However, inead of uing he Euclidean diance, we meaure diance in C i (p) by projecing each verex ono he angle biecor of hi cone. Formally, p i i he poin in C i (p) uch ha for every p 2 C 3 (p) p 3 p 1 p C 1 (p) p 0 C 0 (p) Figure 1: The neighbor of p in he θ 4 -graph of P. Each edge uppor an empy iocele riangle. oher poin w C i (p), he projecion of p i ono he angle biecor of C i (p) lie cloer o p han ha of w. For impliciy, we aume ha no wo poin of P lie on a line parallel o eiher he boundary or he angle biecor of a cone. Carleon Univeriy, Oawa, Canada Univerié Libre de Bruxelle, Bruel, Belgium 1

2 Rupper and Seidel [9] howed ha θ m -graph are geomeric panner for m 7, and heir rech facor approache 1 a m goe o infiniy. Their proof crucially relie on he fac ha, given wo verice p and q uch ha q C i (p), he diance beween p i and q i alway le han he diance beween p and q. Thi propery doe no hold for m 6 and indeed, he pah obained by aring a p and repeaedly following he edge in he cone ha conain q, i no necearily a panning pah. The main moivaion for uing panner i uually o reduce he number of edge in he graph wihou increaing he lengh of hore pah oo much. Thu, θ-graph wih fewer cone are more inereing in pracice, a hey have fewer edge. Thi raie he following queion: Wha i he malle m for which he θ m -graph i a geomeric panner? Bonichon e al. [1] howed ha he θ 6 -graph i alo a geomeric panner. Recenly, Boe e al. [4] proved he ame for he θ 5 -graph. Coming from he oher ide, El Molla [6] howed ha here i no conan for which he θ 2 - and θ 3 -graph are geomeric panner. Thi leave he θ 4 -graph a he only open queion. Moreover, i reemblance o graph like he Yao 4 -graph [3] and he L -Delaunay riangulaion [2], boh of which are panner, make hi queion more analizing. In hi paper we eablih an upper bound of approximaely 237 on he rech facor of he θ 4 -graph, hereby howing ha i i a geomeric panner. In Secion 5, we preen a lower bound of 7 ha we believe i cloer o he rue rech facor of he θ 4 -graph. 2 Exience of a panning pah Le P be a e of poin in he plane. In hi ecion, we prove ha he θ 4 -graph of P i a panner. We do hi by howing ha he θ 4 -graph approximae he L -Delaunay riangulaion. The L -Delaunay riangulaion of P i a geomeric graph wih verex e P, and an edge beween wo poin of P whenever here exi an empy axi-aligned quare having hee wo poin on i boundary. Bonichon e al. [2] howed ha he L -Delaunay riangulaion ha a rech facor of c = , i.e., here i a pah beween any wo verice whoe lengh i a mo c ime heir Euclidean diance. We approximae hi pah in he L -Delaunay riangulaion by howing he exience of a panning pah in he θ 4 -graph of P joining he endpoin of every edge in he L -Delaunay riangulaion. The main ingredien o obain hi approximaion i Lemma 1 whoe proof i deferred o Secion 4. Before we can ae hi lemma, we need a few more definiion. Given wo poin and, heir L 1 diance d L1 (, ) i he um of he abolue difference of heir x- and y-coordinae. Le S () be he malle axi-aligned quare cenered on ha conain. Le and l + be he line wih lope 1 and +1 paing hrough, repecively. Throughou hi paper, we repeaedly ue o denoe a arge poin of P ha we wan o reach via a pah in he θ 4 -graph. Therefore, we ypically omi he reference o and wrie, l + and S() when referring o, l+ and S (), repecively. We ay ha an objec i empy if i inerior conain no poin of P. An --pah i a pah wih endpoin and. Lemma 1. Le and be wo poin of P uch ha lie in C 0 (). If he op-righ quadran of S() i empy and C 1 () conain no poin of P below, hen here i an --pah in he θ 4 -graph of P of lengh a mo 18 d L1 (, ). Given a pah ϕ, le ϕ denoe he um of he lengh of he edge in ϕ. Uing Lemma 1, we obain he following. 2

3 a) b) 3 a S S ab b S S( 3 ) a S ab S() b Figure 2: a) Configuraion ued in he proof of Lemma 2, grey area repreen empy region. b) If a and b lie on conecuive ide of a quare S, here i a quare S ab uch ha ab S ab S and eiher a or b lie on a corner of S ab. Lemma 2. Le and be wo poin of P. If he malle axi-aligned quare encloing and, ha ha a a corner, i empy, hen here i an --pah in he θ 4 -graph of P of lengh a mo ( ). Proof. Aume wihou lo of generaliy ha lie in C 1 (). Then, he op-righ quadran of S() i empy a i coincide wih he malle axi-aligned quare encloing and ha ha a a corner; ee Fig. 2(a). Recall ha 3 i he neighbor of in he θ 4 -graph inide he cone C 3 (). Aume ha 3 a oherwie he reul follow rivially. Conequenly, 3 mu lie eiher in C 0 () or in C 2 (). Aume wihou lo of generaliy ha 3 lie in he op-lef quadran of S(). A 3 lie in he inerior of S(), S( 3 ) S() and hence, he op-righ quadran of S( 3 ) i empy. Moreover, 3 lie above and hence C 1 ( 3 ) conain no poin of P below. Therefore, by Lemma 1 here i an 3 --pah ϕ of lengh a mo 18 d L1 ( 3, ). Since 3 lie inide S(), 3 2 and hence ϕ 18 d L1 ( 3, ) = 36. Moreover, he lengh of edge 3 i a mo d L1 (, ) 2 ince 3 mu lie above. Thu, 3 ϕ i an --pah of lengh 3 + ϕ ( ). The following obervaion i depiced in Fig. 2(b). Obervaion 3. Le S be an axi-aligned quare. If wo poin a and b lie on conecuive ide along he boundary of S, hen here i a quare S ab conaining he egmen ab uch ha S ab S and eiher a or b lie on a corner of S ab. Lemma 4. Le ab be an edge of he L -Delaunay riangulaion of P. There i an a-b-pah ϕ ab in he θ 4 -graph of P uch ha ϕ ab (1 + 2) ( ) ab. Proof. Le T = (a, b, c) be a riangle in he L -Delaunay riangulaion of P. By definiion of hi riangulaion, here i an empy quare S uch ha every verex of T lie on he boundary of S. By he general poiion aumpion, a, b and c mu lie on differen ide of S. If a and b lie on conecuive ide of he boundary of S, hen by Obervaion 3 and Lemma 2 here i a pah ϕ ab conained in he θ 4 -graph of P uch ha ϕ ab ( 2+36) ab. If a and b lie on oppoie ide of S, hen boh ac and cb have heir endpoin on conecuive ide along he boundary of S. Le S ac be he quare conained in S exiing a a conequence of Obervaion 3 when applied on he edge ac. Thu, eiher a or c lie on a corner of S ac. Furhermore, a S ac i conained in S, i i alo empy. Conequenly, by Lemma 2, here i a a-c-pah ϕ ac uch ha ϕ ac ( ) ac. Analogouly, here i a pah ϕ cb uch ha ϕ cb ( ) cb. Uing elemenary geomery, i can be hown 3

4 ha ince a and b lie on oppoie ide of S, ac + cb (1 + 2) ab. Therefore, he pah ϕ ab = ϕ ac ϕ cb i an a-b-pah uch ha ϕ ab (1 + 2) ( ) ab. Theorem 5. The θ 4 -graph of P i a panner whoe rech facor i a mo (1 + 2) ( ) Proof. Le ν be he hore pah joining wih in he L -Delaunay riangulaion of P. Bonichon e al. [2] proved ha he lengh of ν i a mo By replacing every edge in ν wih he pah in he θ 4 -graph of P ha exi by Lemma 4, we obain an --pah of lengh a mo (1 + 2) ( ) ν (1 + 2) ( ) Ligh pah We inroduce ome ool ha will help u proving Lemma 1 in Secion 4. Given a poin p of P, we call edge pp i an i-edge. Le ϕ be a pah ha follow only 0- and 1-edge. A 0-edge pp 0 of ϕ i ligh if no edge of ϕ croe he horizonal ray hooing o he righ from p. We ay ha ϕ i a ligh pah if all i 0-edge are ligh. In hi ecion we how how o bound he lengh of a ligh pah wih repec o he Euclidean diance beween i endpoin. Noice ha every i-edge i aociaed wih an empy iocele righ riangle. For a poin p, he empy riangle generaed by i i-edge i denoed by i (p). Lemma 6. Given a ligh pah ϕ, every pair of 0-edge of ϕ ha dijoin orhogonal projecion on he line defined by he equaion y = x. Proof. Le and be he endpoin of ϕ. Le pp 0 be any 0-edge of ϕ and le ν p0 be he diagonal line exending he hypoenue of 0 (p), i.e., ν p0 i a line wih lope +1 paing hrough p 0. Le γ be he pah conained in ϕ ha join p 0 wih. We claim ha every poin in γ lie below ν p0. If hi claim i rue, he diagonal line conruced from he empy riangle of every 0-edge in ϕ pli he plane ino dijoin lab, each conaining a differen 0-edge of ϕ. Thu, heir projecion on he line defined by he equaion y = x mu be dijoin. To prove ha every poin in γ lie below ν p0, noice ha every poin in γ mu lie o he righ of p ince ϕ i x-monoone, and below p ince pp 0 i ligh, i.e., γ i conained in C 0 (p). Since 0 (p) i empy, no poin of γ lie above ν p0 and inide C 0 (p) yielding our claim. Given a poin w of P, we ay ha a poin p of P i w-proeced if C 1 (p) conain no poin of P below or on w, recall ha w i he line wih lope 1 paing hrough w. In oher word, a poin p i w-proeced if eiher C 1 (p) i empy or p 1 lie above w. Moreover, every poin lying above w i w-proeced and no poin in C 3 (w) i w-proeced. Given wo poin and uch ha lie o he lef of, we aim o conruc a pah joining wih in he θ 4 -graph of P. The role of -proeced poin will be cenral in hi conrucion. However, a a fir ep, we relax our goal and prove inead he exience of a ligh pah σ going from oward ha doe no necearily end a. To conruc σ, ar a a poin z = and repea he following ep unil reaching eiher or a -proeced poin w lying o he righ of. If z i no -proeced, hen follow i 1-edge, i.e., le z = z 1. 4

5 If z i -proeced, hen follow i 0-edge, i.e., le z = z 0. The peudocode of hi algorihm can be found in Algorihm 1. Algorihm 1 Given wo poin and of P uch ha lie o he lef of, algorihm o compue he pah σ 1: Le z =. 2: Append o σ. 3: while z and z i no a -proeced poin lying o he righ of do 4: if z i -proeced hen z = z 0 ele z = z 1 5: Append z o σ. 6: end while 7: reurn σ Lemma 7. Le and be wo poin of P uch ha lie o he lef of. Algorihm 1 produce a ligh x-monoone pah σ joining wih a -proeced poin w uch ha eiher w = or w lie o he righ of. Moreover, every edge on σ i conained in S(). v 0 (v) v 0 l Figure 3: If v i a -proeced poin, hen edge vv 0 i ligh in any pah σ ha conain i. Proof. By conrucion, Algorihm 1 finihe only when reaching eiher or a -proeced poin lying o he righ of. Since every edge of σ i eiher a 0-edge or a 1- edge ravered from lef o righ, σ i x-monoone. The lef endpoin of every 0-edge in σ lie in C 2 () a i mo be -proeced and no -proeced poin lie in C 3 (). Thu, if vv 0 i a 0-edge, hen v lie in C 2 () and hence, v 0 lie inide S() and above l +. Oherwie would lie inide 0 (v). Therefore, every 0-edge in σ i conained in S(). Every 1-edge in σ ha i wo endpoin lying below ; oherwie, we followed he 1-edge of a - proeced poin which i no allowed by Sep 4 of Algorihm 1. Thu, every 1-edge in σ lie below and o he righ of. A 1-edge are ravered from boom o op and he 0-edge of σ are encloed by S(), every 1-edge in σ i conained in S(). Le vv 0 be any 0-edge of σ. Since we followed he 0-edge of v, we know ha v i -proeced and hence no poin of P lie in C 1 (v) and below. A every 1-edge ha i wo endpoin lying below and σ i x-monoone, no 1-edge in σ can have an endpoin in C 1 (v). In addiion, every 0-edge of σ join i lef endpoin wih a poin below i. Thu, no 0-edge of σ can cro he ray hooing o he righ from v. Conequenly, vv 0 i ligh and hence σ i a ligh pah; ee Fig 3. Given wo poin p and q, le pq x and pq y be he abolue difference beween heir x- and y-coordinae, repecively, i.e., d L1 (p, q) = pq x + pq y. Lemma 8. Le and be wo poin of P uch ha lie o he lef of. If i -proeced, hen σ 3 d L1 (, ). Proof. To bound he lengh of σ, we bound he lengh of i 0-edge and he lengh of i 1-edge eparaely. Le Z be he e of all 0-edge in σ and conider heir orhogonal projecion on. By Lemma 6, all hee projecion are dijoin. Moreover, he lengh of every 0-edge in Z i a mo 2 ime he lengh of i projecion. Le be he 5

6 l + a) b) η δ d L1 (,) 2 γ 0 l + η d L1 (, ) γ 1 p 1 q 1 Figure 4: a) The egmen δ having lengh d L1 (, )/ 2. b) The 0-edge of σ have dijoin projecion on and he 1-edge have dijoin projecion on he horizonal line paing hrough. The lope beween he endpoin of he maximal pah γ 0 and γ 1 i le han 1. orhogonal projecion of on and le δ be he egmen joining wih. Since i -proeced and σ i x-monoone, he orhogonal projecion of every 0-edge of Z on i conained in δ and hence e Z e 2 δ. Since δ = d L1 (, )/ 2 a depiced in Fig. 4(a), we conclude ha e Z e d L 1 (, ). Le O be he e of all 1-edge in σ and le η be he horizonal line paing hrough. Since σ i x-monoone, he orhogonal projecion of all edge in O on η are dijoin. Le γ 0,..., γ k be he conneced componen induced by O, i.e., he e of maximal conneced pah ha can be formed by he 1-edge in O; ee Fig. 4(b). We claim ha he lope of he line joining he wo endpoin p i, q i of every γ i i maller han 1. If hi claim i rue, he lengh of every γ i i bounded by p i q i x + p i q i y 2 p i q i x a each γ i i x- and y-monoone. To prove ha he lope beween p i and q i i maller han 1, le vv 0 be he 0-edge of σ uch ha v 0 = p i. Since vv 0 i in σ, v i -proeced by Sep 4 of Algorihm 1 and hence, a 0 (v) i empy, q i mu lie below he line wih lope +1 paing hrough p i yielding our claim. Le ω be he egmen obained by hooing a ray from o he lef unil hiing he boundary of S(). We bound he lengh of all edge in O uing he lengh of ω. Noice ha he orhogonal projecion of every γ i on η i conained in ω, excep maybe for γ k whoe righ endpoin q k could lie below and o he righ of. Two cae arie: If he projecion of γ k on η i conained in ω, hen k i=0 γ i k i=0 2 pi q i x 2 ω. Oherwie, ince q k i -proeced, q k lie below and hence d L1 (p k, q k ) d L1 (p k, ). Moreover, p k mu lie above l + a p k i reached by a 0-edge coming from above η, i.e., p k y < p k x. Therefore, γ k d L1 (p k, q k ) d L1 (p k, ) = p k x + p k y 2 p k x Conequenly, k i=0 γ i 2 p k x + k 1 i=0 2 pi q i x 2 ω. Since ω d L1 (, ), we ge ha e O e = k i=0 γ i 2 d L1 (, ). Thu, σ i a ligh pah of lengh a mo e O e + e Z e 3 d L 1 (, ). By he conrucion of he ligh pah in Algorihm 1, we oberve he following. Lemma 9. Le and be wo poin of P uch ha lie o he lef of. If he righ endpoin w of σ i no equal o, hen w lie eiher above l + if w C 1 (), or below if w C 0 (). 6

7 Proof. If w lie in C 1 (), hen by Sep 4 of Algorihm 1, w wa reached by a 0-edge pw uch ha p i a -proeced poin lying above and o he lef of. A 0 (p) i empy, lie below he hypoenue of 0 (p) and hence w lie above l +. Aume ha w lie in C 0 (). Noice ha w i he only -proeced poin of σ ha lie o he righ of ; oherwie, Algorihm 1 finihe before reaching w. By Sep 4 of Algorihm 1, every 0-edge of σ need o have a -proeced lef endpoin. Moreover, every -proeced poin of σ, oher ha w, lie above and o he lef of. Therefore, w i no reached by a 0-edge of σ, i.e., w mu be he righ endpoin of a 1-edge pw of σ. Noice ha w canno lie above ince oherwie p i -proeced and hence Algorihm 1 finihe before reaching w yielding a conradicion. Thu, w lie below. 4 One empy quadran In hi ecion, we provide he proof of Lemma 1. Before epping ino he proof, we need one la definiion. Given a poin p of P, he max 1 -pah of p i he longe pah having p a an endpoin ha coni only of 1-edge and conain he edge pp 1. We reae Lemma 1 uing he noion of -proeced and --pah. Lemma 1. Le and be wo poin of P uch ha lie in C 0 (). If he op-righ quadran of S() i empy and i -proeced, hen here i an --pah in he θ 4 -graph of P of lengh a mo 18 d L1 (, ). Proof. Since i -proeced, no poin of P lie above, o he righ of and below ; ee he dark-haded region in Fig. 5. Le R be he malle axi-aligned recangle encloing and and le k be he number of -proeced poin inide R, by he general poiion aumpion, hee poin are ricly conained in R. We prove he lemma by inducion on k. Bae cae: Aume ha R conain no - proeced poin, i.e., k = 0. We claim ha R mu be empy and we prove i by conradicion. Le q be a poin in R and noe ha q canno lie above a i would be -proeced yielding a conradicion. If q lie below, we can follow he max 1 -pah from q unil reaching a -proeced poin p lying below. Since i -proeced, p mu lie inide R which i alo a conradicion. Thu, R mu be empy. Aume ha 0 ince oherwie he reul i rivial. A R i empy and 0, 0 lie below and above l +. Moreover, no poin of P lie above, below and inide S( 0 ) ince i -proeced. Thu, if we 0 R l + S( 0 ) S() Figure 5: Bae cae. hink of he e of poin P roaed 90 degree clockwie around, Lemma 8 and Lemma 9 guaranee he exience of an 0 --pah γ of lengh a mo 3 d L1 ( 0, ). Since 0 lie above l +, d L1 (, 0 ) d L1 (, ). Furhermore, d L1 ( 0, ) 2 d L1 (, ) a 0 lie inide S(). Thu, by joining 0 wih γ, we obain an --pah of lengh a mo 7 d L1 (, ). Inducive ep: We aim o how he exience of a pah γ joining wih a -proeced poin w R uch ha he lengh of γ i a mo 18 d L1 (, w). If hi i rue, we can merge γ wih he w--pah ϕ exiing by he inducion hypohei o obain he deired --pah wih lengh a mo 18 d L1 (, ). We analyze wo cae depending on he poiion of 0 wih repec o R. 7

8 Cae 1. Aume ha 0 lie inide R. If 0 lie above, hen 0 i -proeced and hence we are done afer applying our inducion hypohei on 0. If 0 lie below, hen we can follow i max 1 -pah o reach R a -proeced poin w ha mu lie inide R a i - σ x w proeced. By running Algorihm 1 on and w, we obain a pah σ w ha goe hrough he edge 0 and 0 hen follow he max 1 -pah of 0 unil reaching w; ee Fig. 6. Figure 6: Cae 1. Since i -proeced and w lie below, i alo w-proeced. Therefore, Lemma 8 guaranee ha σ w 3 d L1 (, w). By inducion hypohei on w, here i a w--pah ϕ uch ha ϕ 18 d L1 (w, ). A w lie in R, by joining σ w wih ϕ we obain he deired --pah of lengh a mo 18 d L1 (, ). Cae 2. Aume ha 0 doe no lie in R. Thi implie ha 0 lie below. Aume alo ha σ doe no reach ; oherwie we are done ince σ 3 d L1 (, ). Thu, a he op-righ quadran of S() i empy, σ end a a -proeced poin z lying in he boom-righ quadran of S(). We conider wo ub-cae depending on wheher σ conain a poin inide R or no. Cae 2.1. If σ conain a poin inide R, le w be he fir -proeced poin of σ afer l l + and noe ha w alo lie inide R ince i -proeced. Noice ha he par of σ going from o w i in fac equal o σ R w w ince w lie above and only 1-edge were followed afer 0 σ x by Sep 4 of Algorihm 1; ee Fig. 7. Thu, z a i alo w-proeced, he lengh of σ w i bounded by 3 d L1 (, w) by Lemma 8. Hence, we can apply he inducion hypohei on w a before and obain he deired --pah. Cae 2.2. If σ doe no conain a poin 0 Figure 7: Cae 2.1. inide R, hen σ follow only 1-edge from 0 unil reaching z in he boom-righ quadran of S(); ee Fig. 8(a). Le P be he e of poin obained by reflecing P on he line l +. Since z remain -proeced afer he reflecion, we can ue Algorihm 1 o produce a pah σ z in he θ 4 -graph of P. Le γ z be he pah in he θ 4 graph of P obain by reflecing σ z on l +. Noe ha γ z end a a poin w uch ha w i eiher equal o or w lie in he op-lef quadran of S() ince he op-righ quadran of S() i empy. Since z lie inide S(), d L1 (z, ) 2 d L1 (, ). Therefore, by Lemma 8, he lengh of σ γ z i given by σ + γ z 3 d L1 (, ) + 3 d L1 (z, ) 3 d L1 (, ) + 6 d L1 (, ) = 9 d L1 (, ). Two cae arie: If γ z reache (w = ), hen we are done ince σ γ z join wih hrough z. If γ z doe no reach (w ), hen w lie below by Lemma 9 applied on σ z. Moreover, a i -proeced, no poin in C 1 () can be reached by γ z and hence w mu lie inide R. We claim ha d L1 (, ) 2 d L1 (, w). If hi claim i rue, σ γ z 9 d L1 (, ) 18 d L1 (, w). Furhermore, by he inducion hypohei, here i a pah ϕ joining w wih of lengh a mo 18 d L1 (w, ). Conequenly, by joining σ, γ z and ϕ, we obain an --pah of lengh a mo 18 d L1 (, w) + 18 d L1 (w, ) = 18 d L1 (, ). 8

9 a) b) R w l + ρ l + γ z σ 0 z S() 0 Q + σ Q w a S(z) z γ z Figure 8: a) Cae 2.2 in he proof of Lemma 1, pah σ ha no poin inide R and reache a poin z lying in he boom-righ quadran of S(). b) The inducive argumen proving ha he poin w, reached afer aking he pah γ z, lie ouide of he riangle Q + conaining all he poin above ρ and below. A i -proeced, he region above and below ρ i empy. To prove ha d L1 (, ) 2 d L1 (, w), le be he orhogonal projecion of on l +. Le ρ be he perpendicular biecor of he egmen and noice ha for every poin y in C 0 (), d L1 (, ) 2 d L1 (, y) if and only if y lie below ρ. Le Q be he minimum axi-aligned quare conaining and. Noe ha ρ pli Q ino wo equal riangle Q + and Q a one diagonal of Q i conained in ρ. Aume ha Q + i he riangle ha lie above ρ. Noice ha all poin lying in C 0 () and above ρ are conained in Q + ; ee Fig. 8(b). We prove ha w lie ouide of Q + and hence, ha w mu lie below ρ. If 0 lie below ρ, hen he empy riangle 0 () conain Q + forcing w o lie below ρ. Aume ha 0 lie above ρ. In hi cae, z lie above 0 a we only followed 1-edge o reach z in he conrucion of σ by Sep 4 of Algorihm 1. Le a be he inerecion of l + and he ray hooing o he lef from z. Noice ha w mu lie o he righ of a a he pah γ z i conained in he quare S(z) and a i one of i corner. A z lie above 0 and 0 lie above, we conclude ha a i above and boh lie on l +. Therefore, a lie o he righ of, implying ha w lie o he righ of and hence ouide of Q +. A we proved ha w lie below ρ, we conclude ha d L1 (, ) 2 d L1 (, w). 5 Lower Bound In hi ecion we how how o conruc a lower bound of 7 for he θ 4 -graph. We ar wih wo verice u and w uch ha w lie in C 2 (u) and he difference of heir x-coordinae i arbirarily mall. To conruc he lower bound, we repeaedly replace a ingle edge of he hore u-w-pah by placing verice in he corner of he empy riangle() aociaed wih ha edge. The final graph i hown in Fig. 9. We ar ou by removing he edge beween u and w by placing wo verice, one inide 2 (u) and one inide 0 (w), boh arbirarily cloe o he corner ha doe no conain u nor w. Le v 1 be he verex placed in 2 (u). Placing v 1 and he oher verex in 0 (w) removed edge uw, bu creaed wo new hore pah, uv 1 w being one of hem. Hence, our nex ep i o exend hi pah. We remove edge v 1 w (and i equivalen in he oher pah) by placing a verex arbirarily cloe o he corner of 1 (v 1 ) and 3 (w) ha i farhe from u. Le v 2 be he verex placed inide 1 (v 1 ). Hence, edge v 1 w i replaced by he pah v 1 v 2 w. 9

10 Nex, we exend he pah again by removing edge v 2 w (and i equivalen edge in he oher pah). Like before, we place a verex arbirarily cloe o he corner of 0 (v 2 ) and 2 (w) ha i farhe from u. Le v 3 be he verex placed in 0 (v 2 ). Hence, edge v 2 w i replaced by v 2 v 3 w. Finally, we replace edge v 3 w (and i equivalen edge in he oher pah). For all pah for which hi edge lie on he ouer face, we place a verex in he corner of he wo empy riangle defining ha edge. However, for edge v 3 w which doe no lie on he ouer face, we place a ingle verex v 4 in he inerecion of 3 (v 3 ) and 1 (w). In hi way, edge v 3 w i replaced by v 3 v 4 w. When placing v 4, we need o enure ha no edge uv 4 i added a hi would creaed a horcu. Thi i eaily achieved by placing v 4 uch ha i i cloer o v 3 han o w. The reuling graph i hown in Fig. 9. v 2 v 3 v 1 w u v 4 Figure 9: A lower bound for he θ 4 -graph. One of he hore pah from u o w goe via v 1, v 2, v 3, and v 4. Lemma 10. The rech facor of he θ 4 -graph i a lea 7. Proof. We look a pah uv 1 v 2 v 3 v 4 w from Fig. 9. Edge uv 1, v 3 v 4, and v 4 w have lengh uw ε and edge v 1 v 2 and v 2 v 3 have lengh 2 uw ε, where ε i poiive and arbirarily cloe o 0. Hence he rech facor of hi pah i arbirarily cloe o 7. Reference [1] N. Bonichon, C. Gavoille, N. Hanue, and D. Ilcinka. Connecion beween hea-graph, Delaunay riangulaion, and orhogonal urface. In Proceeding of he 36h Inernaional Conference on Graph Theoreic Concep in Compuer Science (WG 2010), page , [2] N. Bonichon, C. Gavoille, N. Hanue, and L. Perković. The rech facor of L 1 - and L - Delaunay riangulaion. In Proceeding of he European Sympoia on Algorihm (ESA 2012), page , [3] P. Boe, M. Damian, K. Douïeb, J. O Rourke, B. Seamone, M. Smid, and S. Wuhrer. π/2-angle Yao graph are panner. Inernaional Journal of Compuaional Geomery & Applicaion, 22(1):61 82,

11 [4] P. Boe, P. Morin, A. van Renen, and S. Verdoncho. The θ 5 -graph i a panner. Compuer Reearch Repoiory (CoRR), ab/ , [5] K. Clarkon. Approximaion algorihm for hore pah moion planning. In Proceeding of he 19h Annual ACM Sympoium on Theory of Compuing (STOC 1987), page 56 65, [6] N. M. El Molla. Yao panner for wirele ad hoc nework. Maer hei, Villanova Univeriy, [7] J. Keil. Approximaing he complee Euclidean graph. In Proceeding of he 1 Scandinavian Workhop on Algorihm Theory (SWAT 1988), page , [8] G. Naraimhan and M. Smid. Geomeric Spanner Nework. Cambridge Univeriy Pre, [9] J. Rupper and R. Seidel. Approximaing he d-dimenional complee Euclidean graph. In Proceeding of he 3rd Canadian Conference on Compuaional Geomery (CCCG 1991), page ,