arxiv: v1 [cs.cg] 7 May 2018

Transcription

1 Catuing oints with a otating olygon (and a 3D etension) Calos Alegía-Galicia 1, David Oden 2, Leonidas Palios 3, Calos Seaa 4, and Joge Uutia 5 axiv: v1 [cs.cg] 7 May Posgado en Ciencia e Ingenieía de la Comutación, Univesidad Nacional Autónoma de Méico. calegia@umcc2.iimas.unam.m 2 Deatamento de Física y Matemáticas, Univesidad de Alcalá, Sain. david.oden@uah.es 3 Deatment of Comute Science and Engineeing, Univesity of Ioannina, Geece. alios@cs.uoi.g 4 Deatament de Matemàtiques, Univesitat Politcnica de Catalunya, Sain. calos.seaa@uc.edu 5 Instituto de Matemáticas, Univesidad Nacional Autónoma de Méico. uutia@matem.unam.m Astact We study the olem of otating a simle olygon to contain the maimum nume of elements fom a given oint set in the lane. We conside vaiations of this olem whee the otation cente is a given oint o lies on a line segment, a line, o a olygonal chain. We also solve an etension to 3D whee we otate a olyhedon aound a given oint to contain the maimum nume of elements fom a set of oints in the sace. Keywods: Points coveing, otation, geometic otimization, olygon, olyhedon. 1 Intoduction Given a simle olygon P on the lane, the Polygon Placement Polem consists in finding a function τ, usually consisting of the comosition of a otation and a tanslation, such that τp q satisfies some geometic constaints. In the liteatue, τp q is known as a lacement of P. The oldest olem of this family who, given two olygons P and Q, eloed the olem of finding, if it eists, a lacement of P that contains Q. The most ecent contiution to these olems, in 2014, can e found in [2] (see Section 1.4 1

2 thee fo a summay of evious wok). Among othe esults, fo a oint set S and a simle olygon P, they show how to comute a lacement of P that contains as many oints of S as ossile. If n and m ae the sizes of S and P esectively, thei algoithm uns in On 3 m 3 lognmqq time and Onmq sace. Although tanslation-only olems have also een consideed [1, 4], suisingly enough thee ae no evious esults with τ eing only a otation. It is imotant to note that eisting esults with τ eing a comosition of a otation, a tanslation, and even a scaling, cannot e adated to solve the otation-only olem consideed hee: All those evious esults educe the seach sace comleity y consideing only lacements whee a constant nume of oints fom S lie on the ounday of P (see fo eamle efeences [2] and [6] fo algoithms ased esectively, on two-oint and one-oint lacements). Rotation-only adatations of these esults would not allow the otation cente to e fied o esticted to lie on a given cuve and theefoe, cannot e alied to the olems we deal with in this ae. This is why the following Maimum Cove unde Rotation (MCR) olems ae consideed in this ae: Polem 1 (Fied MCR). Given a oint, a olygon P, and a oint set S in the lane, comute an angle θ P 0, 2πq such that, afte clockwise otating P aound y θ, the nume of oints of S contained in P is maimized. Polem 2 (Segment-esticted MCR). Given a line segment l, a olygon P, and a oint set S in the lane, find a oint on l and an angle θ P 0, 2πq such that, afte a clockwise otating of P aound y θ, the nume of oints of S contained in P is maimized. In addition, we comlete the scene oening a ath towads the study of these olems in 3D, y esenting a thee-dimensional vesion of Polem 1: Polem 3 (3D Fied MCR). Given a oint, a olyhedon P, and a oint set S in R 3, comute the azimuth and altitude θ, ϕq P 0, 2πsˆ π, πs giving the diection in the unit shee such that, afte otating a olyhedon P y taking the z-ais to that diection, the nume of oints of S contained in P is maimized. Alications of olygon lacement olems include gloal localization of moile oots, atten matching, and geometic toleance; see the efeences in [2]. Rotation-only olems aise, e.g., in oot localization using a otating camea [8], with alications to quality contol of ojects manufactued aound an ais [10]. We fist show that Polem 1 is 3SUM-had, i.e., solving it in suquadatic time would imly an affimative answe to the oen question 2

3 of whethe a suquadatic time algoithm fo 3SUM eists, which is unlikely [7]. Then, we esent two algoithms to solve Polem 1: The fist one equies Onm lognmqq time and Onmq sace, fo n and m eing the sizes of S and P, esectively. The second one takes On`kq log n`m log mq time and On ` m ` kq sace, fo k in Onmq eing the nume of cetain events. We also descie an algoithm that solves Polem 2 in On 2 m 2 lognmqq time and On 2 m 2 q sace. This algoithm can e easily etended to solve vaiations of Polem 2 whee lies on a line o a olygonal chain. Futhemoe, ou techniques fo Polem 1 can e etended to 3D to solve Polem 3 within the same time and sace comleities as Polem 2. 2 Fied MCR (Polem 1) Given a oint on the lane and a oint P S, let C q e the cicle with cente and adius. If we otate S in the counteclockwise diection aound, C q is the cuve descied y duing a 2π otation of S aound. The endoints of the cicula acs esulting fom intesecting P and C q detemine the otation angles whee entes (in-event) and leaves (out-event) the olygon P. In the wost case, the nume of such events e element of S is Omq, see Figue 1. If we conside all the oints in S we could get Onmq events. Figue 1: A com-shaed simle olygon can geneate Ωmq in- and outevents e oint in S. 2.1 A 3SUM-had eduction We show net that Polem 1 is 3SUM-had, y a eduction fom the Segments Containing Points Polem that was oved to e 3SUM-had in [3]: Given a set A of n eal numes and a set B of m Onq aiwisedisjoint intevals on the eal line, is thee a eal nume u such that A ` u Ď B? Theoem 4. The Fied MCR olem is 3SUM-had. Poof. Let I e an inteval of the eal line that contains the set A of oints, and the set B of intevals of an instance of the Segments Containing Points Polem. Wa I on a cicle C whose eimete has length at least twice 3

4 the length of I. This effectively mas the oints in A and the intevals in B into a set A 1 of oints and a set B 1 of intevals on C. Clealy, finding a tanslation (if it eists) of the elements of A such that A ` u Ď B, is equivalent to finding a otation of the set of oints A 1 aound the cente of C such that all of the elements of A 1 ae maed to oints contained in the intevals of B 1. To finish ou eduction, constuct a (a) () Figue 2: Waing I fom (a) the eal line to () a cicle C. Intevals foming B and B 1 ae highlighted with lue. Elements of A and A 1 ae eesented y white oints. Additional vetices foming the olygon ae the intesection oints etween the tangents to C at the endoints of each inteval in B 1. olygon as shown in Figue An Onm lognmqq algoithm Hee we esent an Onm lognmqq algoithm fo Polem 1 (note that, y Theoem 4, this comleity is close to e otimal): 1. Intesect otation cicles. Given a fied oint, comute the intesection oints of C j q and P, fo all j P S. Each of these oints detemines an angle of otation of j aound when j entes o leaves P, see Figue 3. These angles, in tun, detemine a set of intevals I j ti j,1,..., I j,mj u whose endoints coesond to the otation angles in which j entes o leaves P and, hence, secify the otation angles on the unit cicle fo which j elongs to P, see again Figue 3. Let I I 1 Y Y I n. The set of endoints of the intevals in I can e soted in Omn logmnqq time. 2. Comute the angle of maimum coveage. Using standad techniques, we can now efom a swee on the set I I 1 Y Y I n as deicted in Figue 4. Duing the sweeing ocess, we maintain the nume of oints of S lying in P. If an in-event o an out-event occus, that nume is inceased o deceased y one, esectively. At the end 4

5 y Figue 3: An in-event at (left tun), and an out-event at y (ight tun). n. I j,1 I j,ij j. 1 l 0 2π Figue 4: The events sequence and the sweeing line at angle θ. Highlighted with a ed cicle, the intesection of line l with an inteval coesonding to 1 (whee 1 is inside P ). Highlighted with a lue cicle, the intesection of line l with one of the endoints of an inteval coesonding to n (an in-event). of the sweeing ocess, we eot the angula inteval(s) whee the nume is maimized. Since the comleity of ou algoithm is dominated y Ste 1, which takes Onm lognmqq time, we conclude the following esult. Theoem 5. The Fied MCR olem can e solved in Onm lognmqq time and Onmq sace. 2.3 An outut-sensitive algoithm We now show that, efoming a lane swee using a sweeing cicle centeed at whose diamete inceases continuously, it is ossile to intesect P and the set of otation cicles in a moe efficient way. The idea is to maintain a list of the edges intesecting the sweeing-cicle, odeed y aeaance along the sweeing-cicle. Using the same technique shown in Figue 3, the edges ae laeled as defining in- o out- events. The algoithm is outlined net. 5

6 1. Nomalize P. In the following stes, we conside P to have no edges intesecting any cicle centeed at moe than once. This can e guaanteed y efoming a eocessing ste on P : Fo evey edge e uv of P, let e e the intesection oint etween the line l containing e and the line eendicula to l assing though. If e elongs to the elative inteio of e, sudivide this edge into the edges u e and e v. In the wost case, each edge of P gets sudivided into two ats. See Figue 5. u v Figue 5: Slitting an edge of P. 2. Pocess a vete of P. Sot fist the vetices of P and S accoding to thei distance fom. This is the ode in which an eanding sweeing cicle centeed at will each them. As the sweeing-cicle inceases in size, we sto at each vete j of P. Each time this haens, the nume of intesections of C j q with the ounday of P will incease o decease y two. We can maintain and udate the odeed list of edges intesected y C j q, using a ed-lack tee, in logaithmic time. This enales us to calculate the intesections of C j q in time ootional to thei nume. It suffices to walk along the odeed list of edges intesected y the sweeingcicle. Each time the sweeing cicle eaches an element of S, the nume and ode of intesections of the sweeing cicle with the edges of P emains unchanged. Howeve, since the oints of intesection change, we need to ecalculate them each time we each a oint of P o S. 3. Comute the intevals sequence fo each element of S. We can now comute, within the same time comleity, the intevals in which C j q intesects the inteio of P. Note that these intevals ae not the elements of I j, they have to e otated accoding to the osition of j with esect to. 4. Constuct the events sequence. Since fo each oint j in S we have comuted the coesonding sequence of soted intevals I j, all 6

7 we need to do is to mege these (at most n) sequences into a comlete sequence of events. The nomalization ocess takes Omq time. Soting the oints in S and the vetices of P y distance fom takes On log nq and Om log mq time, esectively. The odeed list of edges intesecting the swee-line is maintained in an Omq-size ed-lack tee, so we can ocess all the vetices of P in Om log mq time. On the othe hand, ocessing all the oints in S takes Okq time, whee k denotes the total nume of in- and out-events in a Fied MCR olem. Finally, meging the Onq sequences of soted intevals takes Ok log nq time. We then swee the meged list of I 1 Y Y I n in Okq time to otain a solution to ou olem. The total time comleity is On log n ` m log m ` k log nq. The sace comleity is On ` m ` kq. We have thus oved: Theoem 6. The Fied MCR olem can e solved in On ` kq log n ` m log mq time and On ` m ` kq sace. 3 Segment-esticted MCR (Polem 2) Ou aoach to solve Polem 2 is to chaacteize, fo each in S, the intesection etween the olygon P and the otation cicle C q while the cente of C q moves along a line segment l a fom a to. Fo simlicity, we assume that a lies on the oigin 0, 0q and on the ositive -ais. Fo each edge e uv of P, we aameteize the intesection etween C q and e using a function ω fq, whee is the -coodinate of (anging fom 0 to the -coodinate. of ) and ω is the counteclockwise angle swet y the ay ÝÑ until it coincides with the ay emanating fom and assing though the cuent oint of intesection q of C q and e (assume fo the moment that thee eists eactly one such oint of intesection). See Figue 12. Leaving the details fo Section 3.4, we otain the following eession of ω as a function of : γq aδq ω accos, (1) ɛq whee γq, δq, and ɛq ae olynomials of degees 2, 4, and 2, esectively. The motion of along l thus coesonds to a set of oints, ωq fo which hits the ounday of P. Fo each oint P S, these oints fom Omq cuves ounding a collection of simle egions in the -ω lane; each oint, ωq of any such egion coesonds to a otation of, y a counteclockwise angle of size ω with esect to a otation cente at, 0q, fo which elongs to P. Note that each ai of such egions have disjoint inteios, 7

8 wheeas thei oundaies may intesect at most at a common vete due to the simlicity of P. 3.1 Sudividing the Edges of the Polygon We mentioned ealie that, fo convenience, we sudivide the edges of the olygon P aout thei oints of intesection (if any) with the -ais; so, in the following, we assume that each edge has no oints on eithe side of the -ais. We futhe sudivide the edges in ode to simlify the comutation of the angle ω in tems of the -coodinate of the otation cente as it moves along the segment a. Theoetical Famewok. Let us conside that we ocess the oint P S, and denote y D q the closed disk ounded y C q, whee is a oint in a. In Figue 7, is taken to lie aove the -ais whee eithe a. ď. ď. (to figue) o. ă. (ottom figue). The cases whee. ă a. o whee lies elow the -ais ae symmetic, wheeas the case whee lies on the -ais is simila (see figues 9 and 10). Moeove, let 1 e the mio image of with esect to the -ais; clealy, 1 coincides with if lies on the -ais. Finally, let H L (H R, es.) e the oen halflane to the left (ight, es.) of the line eendicula to the -ais that asses though. Then, it is useful to oseve the following oeties. Lemma 7. Let e a oint, and let H L, H R, C q, and D q, fo P a, e as defined aove. (i) Conside any two oints, 1 P a with 1. If the oint lies on the -ais, then the cicles C q, C 1 q intesect only at. If the oint does not lie on the -ais, the cicles C q, C 1 q intesect at and at s mio image 1 aout the -ais, and the line segment 1 elongs to oth D q, D 1 q. (ii) Ź Fo evey oint s in the inteio of H L X D q, thee eists a unique cicle centeed on the -ais that asses fom and s and its cente lies to the ight of ; Ź fo evey oint t in H L D q, thee eists a unique cicle centeed on the -ais that asses fom and t and its cente lies to the left of. Symmetically, Ź fo evey oint s 1 in the inteio of H R X D q, thee eists a unique cicle centeed on the -ais that asses fom and s 1 and its cente lies to the left of ; 8

9 H L t T () H L t q s B s B q C () C () B t Figue 6: Fo the oof of Lemma 7. (left) The eendicula isectos B s, B q, B t intesect the -ais at oints 1,, 2, esectively. (ight) The lines though that ae eendicula to the tangent at and to t intesect the -ais at oints, 2, esectively. ÙÖ ½ ÓÖ Ø ÔÖÓÓ Ó Ä ÑÑ º Рص Ì Ô ÖÔ Ò ÙÐ Ö ØÓÖ B s B q B t ÒØ Ö Ø Ø ¹ Ü Ø ÔÓ ÒØ,, Ö Ô Ø Ú Ðݺ Ö Øµ Ì Ð Ò Ø ÖÓÙ Ø Ø Ö Ô ÖÔ Ò ÙÐ Ö ØÓ Ø Ø Ò ÒØ Ø Ò ØÓ t ÒØ Ö Ø Ø ¹ Ü Ø ÔÓ ÒØ, Ö Ô Ø Ú Ðݺ Poof. Ź fo evey oint t 1 in H R D q, thee eists a unique cicle centeed on the -ais that asses fom and t 1 and its cente lies to the ight of. (i) Fom the definition of the cicles C q fo all P a, elongs to each such cicle. Net, assume that lies on the -ais and suose fo contadiction that two cicles C q, C 1 q with 1 intesect at a oint 1 as well. Then, oth, 1 would elong to the eendicula isecto of the line segment 1 ; thus, the eendicula isecto should coincide with the -ais. Then, since lies on the -ais, 1 would coincide with, in contadiction to the assumtion that 1. Theefoe, if lies on the -ais, any two cicles C q, C 1 q with 1 intesect only at. Now, assume that does not lie on the -ais. Then, since 1 is the mio image of with esect to the -ais, the -ais is the eendicula isecto of the segment 1. Thus, 1 elongs to all the cicles centeed on the -ais that ass fom. The fact that 1 elongs to each of the disks D q, fo all P a, follows fom the fact that each disk D q is a conve set containing and 1. (ii) Let q e the oint of intesection of C q with the line L though and s; see Figue 6(left). The line L is well defined since s. In fact, s. ă. (ecause s elongs to H L ), and thus L is not eendicula to the -ais, which imlies that the eendicula isecto B q of the line segment q intesects the -ais at a single oint; this oint of intesection 9

10 is ecisely the cente of C q. Since the eendicula isecto of the line segment s is aallel to B q and lies to the ight of B q (ecause s is an inteio oint of q), it intesects the -ais at a single oint 1 to the ight of ; 1 is the cente of the cicle centeed on the -ais that asses fom and s. Now, conside t P H L D q, and let T q e the oen halflane that is tangent to the cicle C q at and contains. If t P T q, then the line L though and t intesects C q at and at anothe oint q, and q P t. Then, as aove, the eendicula isecto B q of q intesects the -ais at, wheeas the eendicula isecto of t is aallel and to the left of B q (since q is an inteio oint of t), and thus intesects the -ais at a oint 2 to the left of ; see Figue 6(left). It is imotant to oseve that the oof so fa alies no matte whethe lies on the -ais o not. Net, let us conside the case in which t R T q; this case is not ossile if lies on the -ais since then T q H L. Then, the line though eendicula to the tangent to the cicle C q at intesects the -ais at. Since t R T q, the line eendicula to the line though t and is not aallel to the -ais and thus intesects the -ais at a single oint 2. In fact, since the angle t of the tiangle with t,, as vetices is lage than π{2, 2 is to the left of ; see Figue 6(ight). The esults fo oints s 1 in the inteio of H R XD q and t 1 P H R D q ae otained in a fashion left-to-ight symmetic to the one we used in ode to otain the esults fo the oints s in the inteio of H L X D q and t P H L D q, esectively. Statement (ii) of Lemma 7 diectly imlies that the union of all the cicles C q foms ecisely the closue of the symmetic diffeence D aq D q of the disks D aq and D q centeed at a and, esectively (see Figue 7); note that any oint in the inteio of `D aq D q X H L Y `D q D aq X H R lies on a cicle C q with in the inteio of a, wheeas no othe oint does so. Lemma 7(ii) also imlies the following coollay. Coollay 8. (i) Fo any, 1 P a with to the left of 1 : Ź `C qxd 1 q XH L H and D 1 qxh L Ă D qxh L ; Ź `C 1 qxd q XH R H and D qxh R Ă D 1 qxh R. (ii) Suose that a line segment I intesects a cicle C q, whee P a, at oints w 1, w 2 such that the line segment w 1 w 2 lies entiely in the closue of `D aq D q. Then, the segment I is tangent to 10

11 Poof. a cicle C 1 q fo some 1 P a and the oint of tangency elongs to w 1 w 2. Symmetically, the same esult holds if the segment w 1 w 2 lies entiely in the closue of `D q D aq. (i) We ove the oositions fo the halflane H L ; the oofs fo H R ae left-to-ight symmetic. Since is to the left of 1, Lemma 7(ii) imlies that C 1 qxh L lies in the inteio of D qxh L. This in tun imlies that (i) `C qxh L X`D 1 qx H L H, i.e., `C q X D 1 q X H L H, and (ii) `D 1 q X H L Ă `D q X H L since the disk D 1 q is ounded y C 1 q and since each such disk is a conve set; we have a oe suset elation ecause the oints in C q X H L do not elong to D 1 q X H L. (ii) Below, we ove the statement fo the case that w 1 w 2 lies entiely in the closue of `D aq D q ; the oof fo the case that w 1 w 2 P closue`d q D aq is left-to-ight symmetic. Since w 1 w 2 and w 1 w 2 P closue`d aq D q, then ; let t P a e a oint infinitesimally to the ight of. Then, accoding to statement (i), `C qxd tq XH L H and `D tqxh L Ă `D qxh L, which togethe imly that `D X I Ă w 1 w 2 ; note that at least one of w 1, w 2 (which elong to C q) elongs to H L, fo othewise, eithe w 1 w 2 degeneates to a single oint, in contadiction to the fact that w 1 w 2, o w 1 w 2 1 with 1, in contadiction to the fact that w 1 w 2 lies entiely in the closue of `D aq D q. Since the otation cente moves continuously along a thee eists a oint 1 P such that D 1 qxi is a single oint, i.e., the line segment I is tangent to the cicle C 1 q; moeove, since D 1 qxi Ă w 1 w 2, the oint of tangency elongs to the line segment w 1 w 2. The Sudivision Pocedue. Ou sudivision ocedue fo the olygon edges while ocessing oint P S woks in two hases: in Phase 1, we ensue that each cicle C q intesects each esulting su-edge in at most one oint; in Phase 2, we ensue that fo each su-edge eithe 0 ď ω ď π o π ď ω ď 2π imlying that the value of ω is uniquely detemined fom the value of its cosine. Phase 1: If an edge uv of the olygon P does not intesect D aq Y D q o if at least one of its endoints elongs to D aq X D q, then we need not do anything, othewise: If uv does not intesect the inteio of D aqxd q, then uv is tangent to at most two of the cicles C q and we sudivide it at these oints of tangency; see edges u 1 v 1 and u 2 v 2 in Figue 7. 11

12 y u1 v1 u3 v3 a v4 u2 u4 v2 y u2 v2 u3 v3 a u4 u1 v4 v1 ÙÖ ½ ËÙ Ú Ò Ø ÔÓÐÝ ÓÒ Ó Ø Ø Ù ¹ ÒØ Ö Ø Ø Figue 7: Sudividing ÑÓ Øthe ÓÒ Ýolygon Ó Ø ÖÐ edges c Û Ø so ÒÓØ that ÔÓ ÒØ Ó each Ù Ú ¹ su-edge is intesected ÓÒµº at most once y each of the cicles C q (white disks denote oints of edge sudivision). If uv intesects the inteio of D aq X D q, then it cosses D aq X D q. If uv intesects the segment 1, then we sudivide uv at its oint of intesection with 1 (see edge u 3 v 3 in Figue 7); if not, then the oints of intesection of uv with the ounday of D aq X D q oth elong to eithe C aq o C q (see edge u 4 v 4 in Figue 7), in which case we sudivide uv at its closest oint to a o, esectively. It is not difficult to see that if the edge uv has two oints of intesection with a cicle C q, these two oints of intesection end u elonging to diffeent ats of the sudivided edge. Afte Phase 1 has een comlete, we aly Phase 2 on the esulting su-edges. Let a 1 and 1 e oints such that a and ae the midoints of segments a 1 and 1, esectively; see Figue 8. Then, Phase 2 involves the following sudivision stes. Phase 2: If a su-edge intesects a 1 1, we sudivide it at this oint of intesection (in Figue 8, see su-edges u 1 v 1 and su-edge u 2 v 2 in the to figue). Additionally, if the su-edge is tangent to two cicles, we sudivide it at its oint of intesection with the line though eendicula to the -ais (see su-edges u 2 v 2 in Figue 8). 12

13 y a u2 u1 v2 a v1 y a v1 a v2 u1 u2 ÙÖ ½ ÙÖØ Ö Ù Ú Ò Ø ÔÓÐÝ ÓÒ Ó Ø Ø Ø Ò Ð ω ÐÓÒ Figue 8: Futhe sudividing Ø Ö ØÓ [0, π] ÓÖ ØÓ [π, the 2π] Û Ø olygon ÒÓØ ÔÓ ÒØ edges Ó Ù Ú ÓÒµº so that the angle ω elongs eithe to 0, πs o to π, 2πs (white disks denote oints of edge sudivision). By taking into account that each of Phase 1 and Phase 2 may intoduce at most two sudivision oints on a olygon edge, we conclude that each edge ends u sudivided into at most 5 su-edges. Finally, it is imotant to note that the aove descied edge sudivision is intoduced ecisely fo the ocessing of the cuent oint P S eing ocessed; that is, fo the net element of S, we ignoe the sudivision oints intoduced and stat woking again with the edges of the olygon P (sudivided only aout the -ais). Coectness. Befoe oving Theoem 10 which estalishes the coectness of the sudivision ocedue, we show the following useful lemma. Lemma 9. Let e an element of the oint set S and 1 e the mio image of with esect to the -ais. (i) If the oint is such that 0 a. ď. ď., then 1 elongs to the line segment a 1 1. (ii) Fo any oint q P a 1 1 such that q 1, thee is a oint P a fo which C q has the segment q as its diamete. Poof. (i) Fist, assume that lies on the -ais. Then, 1. The assumtion a. ď. ď. imlies that P a, which in tun imlies that a Ă a 1 1 ; see 13

14 Figue 10. Thus, P a 1 1, i.e., 1 P a 1 1. Now, conside the case that does not lie on the -ais. Let c e the (vetical) ojection of onto the - ais. Since a. ď. ď., c P a. The line defined y, c (note that c) is eendicula to the -ais and let d e its oint of intesection with the line suoting a 1 1. Since c P a, we conclude that d P a 1 1. Moeove, y its constuction, the line segment a 1 1 is aallel to the -ais, and since a aa 1, the similaity of the tiangles with vetices, a, c and, a 1, d imlies that c cd. Thus, 1 d and hence 1 P a 1 1. (ii) Assume that lies on the -ais. Let q P a 1 1 with q, and suose without loss of geneality that q is to the left of (the case whee q is to the ight of is symmetic). Then, the midoint of q lies in a and it is the cente of the unique cicle C q assing though q. Theefoe, C q has q as its diamete. Now assume that does not lie on the -ais. Conside any oint q P a 1 1 with q 1. Let z e the oint of intesection of the line segment q with the -ais (z eists ecause and a 1 1, and hence and q, lie on oosite sides of the -ais). Note that z P a since q P a 1 1. Then, y the similaity of the tiangles az and a 1 q we have that z zq ; i.e., the oint z is the midoint of q. Theefoe, z elongs to the eendicula isecto of q and in fact, it is the only oint of intesection of such isecto and the - ais. Note that, since q 1, the line assing though and q (ememe that q) is not eendicula to the -ais. This imlies that the cente of any cicle C q assing though q coincides with z, that is, q is a diamete of C q. Lemma 9(ii) imlies that fo any oint q 1 elonging to a 1 1, the coesonding angle ω yq is equal to π, whee P a is the cente of the cicle C q assing fom q. Now we ae eady to ove Theoem 10 which estalishes that the sudivision stes of Phases 1 and 2 achieve the set goals. Theoem 10. (i) Afte the comletion of Phase 1, no esulting su-edge intesects any cicle C q fo some P a in moe than one oint. (ii) Afte the comletion of Phase 2, fo any two oints q, q 1 (lying on cicles C q and C 1 q, esectively) of each esulting su-edge, the counteclockwise angles yq and z 1 q 1 eithe oth elong to 0, πs o oth elong to π, 2πs. Poof. 14

15 (i) Suose fo contadiction that thee eists a su-edge cd and a cicle C q with P a that intesect in two oints w 1 and w 2. The oint and its mio image 1 sudivide the cicle C q into two acs, A L and A R, the fome to the left of the line though eendicula to the -ais and the latte to the ight (note that if lies on the -ais, one of these acs degeneates into a single oint). Then, w 1, w 2 should elong to the same ac; othewise, would not lie on the -ais and the line segment w 1 w 2 would intesect the line segment 1, and thus the su-edge cd would have een sudivided in Phase 1 aout its oint of intesection with 1. Suose without loss of geneality that w 1, w 2 elong to the ac A L. But then, no matte whethe the segment w 1 w 2 intesects the inteio of D aqxd q o not, we have a contadiction. In the fome case, the su-edge cd would have een sudivided in Phase 1 aout the eendicula ojection of onto cd; s ojection onto cd elongs to D aq X D q and thus is an inteio oint of w 1 w 2. In the latte case, the su-edge cd would have een sudivided in Phase 1 aout its oint of tangency with a cicle C tq with t P a; this oint of tangency elongs to w 1 w 2 as shown in Coollay 8(ii). Theefoe, afte Phase 1, no esulting su-edge intesects any cicle C q fo some P a in moe than one oint. (ii) Suose without loss of geneality that the oint lies aove o on the -ais and it holds that. ě a.; the case whee it holds that. ă a. is left-to-ight symmetic (the coesonding angles ae equal to 2π minus the coesonding angles when. ą.), wheeas the case whee lies elow the -ais is to-down symmetic (in this case too, the coesonding angles ae equal to 2π minus the coesonding angles when lies aove the -ais). Let R 1 (R 3, esectively) e the susets of oints in the closue of the symmetic diffeence D P aq D q that ae on o to the left of the line though that is eendicula to the -ais and ae on o aove (on o elow, esectively) a 1 1 ; symmetically, let R 2 (R 4, esectively) e the susets of oints in the closue of the symmetic diffeence D P aq D q that ae on o to the ight of the line though that is eendicula to the -ais and ae on o aove (on o elow, esectively) a 1 1 ; see Figue 9 and Figue 10. Conside a oint w lying on a cicle C tq with t P a. Since accoding to Lemma 9(ii), fo any oint q P a 1 1, the segment q is a diamete of the cicle centeed on the -ais and assing fom, q, if w P R 1, the counteclockwise angle ytw elongs to 0, πs. Similaly, if w P R 2 then ytw P π, 2πs, if w P R 3 then ytw P π, 2πs, and if w P R 4 then ytw P 0, πs. Since no su-edge esulting afte Phase 2 contains oints in moe than one of the egions R 1, R 2, R 3, R 4, the statement of the theoem follows. 15

16 y R1 a R2 s t t s a R3 R4 y R1 a R2 a s t t R3 ÙÖ ½ Ì Ô ÖØ Ø ÓÒ Ó Ø ÐÓ ÙÖ Ó Ø ÝÑÑ ØÖ «Ö Ò D(a) Figue 9: The atition D() ÓÙØ of Ø the Ð Ò Ñ ÒØ closue a Ò Ø ofð Ò the Ò symmetic Ý, ÒØÓ Ö ÓÒ diffeence D aq R1, R2, R3, R4 Û Ò Ø ÔÓ ÒØ Ó ÒÓØ Ð ÓÒ Ø ¹ Ü º ÆÓØ Ø Ø Ø Ð Ò D q aout the line Ñ ÒØ segment s, s, t, t a 1 Ö 1 Ñ Ø Ö º and the line defined y, 1 into egions R 1, R 2, R 3, R 4 when the oint does not lie on the -ais. Note that the line segments s, s 1, t, t 1 ae diametes. 3.2 The Algoithm We ae now eady to outline ou algoithm fo Polem 2: 1. Sudivide the edges of olygon P aout the -ais. 2. Pocess each oint P S. Fo each oint, we sudivide each edge of olygon P (esulting fom the evious ste) into su-edges (see the edge sudivision ocess descied ealie). Net, fo each su-edge, we comute the cuve of the angle ω with esect to the -coodinate of the otation cente as it moves along a (see Equation 1), and finally we fom the egions ounded y these cuves. 3. Constuct and tavese the aangement of all the egions. Using standad techniques, we constuct the aangement of all the egions of all the elements of S. Net, we tavese the dual gah of the esulting aangement looking fo a su-egion of maimum deth; any oint in this su-egion detemines a osition, 0q of and a otation angle ω that constitute a solution to the olem. 3.3 Time and Sace Comleity Ste 1 clealy takes Omq time and sace, esulting into at most 2m suedges. The edge sudivision while ocessing a oint P S in Ste 2 takes 16

17 y R1 R2 a s a s t t R3 R4 y R1 a s a t R3 ÙÖ ½ Ì Ô ÖØ Ø ÓÒ Ó Ø ÐÓ ÙÖ Ó Ø ÝÑÑ ØÖ «Ö Ò D(a) D() Figue 10: The atition ÓÙØ Ø of Ð Ò Ñ ÒØ the a closue Ò Ø Ð Ò Ø Ø of Ô ÖÔ Ò ÙÐ Ö the symmetic ØÓ Ø ¹ Ü Ø diffeence D ÒØÓ Ö ÓÒ R1, R2, R3, R4 Û Ò Ø ÔÓ ÒØ Ð ÓÒ Ø ¹ Ü º ÆÓØ Ø Ø Ø aq Ð Ò Ñ ÒØ s, s, t, t Ö Ñ Ø Ö º D q aout the line segment a 1 1 and the line that is eendicula to the -ais at into egions R 1, R 2, R 3, R 4 when the oint lies on the -ais. Note that the line segments s, s 1, t, t 1 ae diametes. Omq time and sace, oducing Omq su-edges: Fo each su-edge uv, O1q time suffices to detemine whethe its endoints elong to the disks D aq and D q, and whethe uv intesects the cicles C aq, C q, the segment 1, o the line suoting 1, as well as to comute any oints of intesection. Moeove, the centes of the cicles C q, fo P a, to which uv is tangent ae ecisely the oints of intesection of the segment a with the aaola that is equidistant fom oint and the line suoting uv. Then, ocessing yields Omq cuves ounding Omq egions. Thus, ocessing all the oints in S in Ste 2 takes a total of Onmq time and oduces a set of Onmq egions ounded y Onmq cuves in the -ω lane. Fom Ste 1, we can show the following lemma: Lemma 11. Any two (ω-)-cuves as in Equation 1 have at most 32 oints of intesection. Poof. The idea is ased on the fact that a olynomial of constant degee has a constant nume of oots. In ou case, we have a squae oot which needs to e squaed in ode to e emoved. Let us conside the two (ω-)-cuves ω accos γ 1 q aδ 1 q ɛ 1 q and ω accos γ 2 q aδ 2 q ɛ 2 q Since a oint of intesection of these cuves elongs to oth of them, we have: γ 1 q aδ 1 q γ 2 q aδ 2 q ω accos accos ɛ 1 q ɛ 2 q 17.

18 ùñ γ 1 q ɛ 2 q γ 2 q ɛ 1 q ɛ 2 q a δ 1 q ɛ 1 q a δ 2 q (2) fom which, y squaing twice to get id of the squae oots, we get 2 γ 1 q ɛ 2 q γ 2 q ɛ 1 q ɛ 2 q a δ 1 q ɛ 1 q a δ 2 q ùñ γ 1 q ɛ 2 q γ 2 q ɛ 1 q 2 ɛ 2 2 q δ 1 q ɛ 2 1q δ 2 q 2 ùñ 2 ɛ 1 q ɛ 2 q a δ 1 q δ 2 q ˆ 2 γ 1 q ɛ 2 q γ 2 q ɛ 1 q 2 ɛ 2 2 q δ 1 q ɛ 2 1q δ 2 q 4 ɛ 2 1q ɛ 2 2q δ 1 q δ 2 q. (3) The last equality is a olynomial of degee at most 16 and, thus, it has at most 16 eal oots fo (it is imotant to note that the value of in any ai ω, q satisfying Equation 2 satisfies the olynomial in Equation 3, although the evese does not necessaily hold, i.e., not evey oot of the olynomial satisfies Equation 2). Thus, if we sustitute the eal oots of the olynomial in Equation 3 into Equation 1, we get at most 32 ossile oints of intesection, due to the oeand. Hence, the total nume of intesection oints of all the cuves is On 2 m 2 q. Using standad techniques, in On 2 m 2 lognmqq time the aangement of all these egions can e comuted, and the dual gah of the esulting aangement can e tavesed looking fo a su-egion of maimum deth. Any oint in this su-egion detemines a osition of the otation cente and a otation angle ω that constitute a solution to the olem. The sace comleity is On 2 m 2 q. Then: Theoem 12. The Segment-esticted MCR olem can e solved in On 2 m 2 lognmqq time and On 2 m 2 q sace. Note that Polem 2 can also e solved in On 2 m 2 lognmqq time even when the otation cente is esticted to lie on a line L: Comute the Voonoi diagam of P Y S, and aly the algoithm we just descied to a segment of L containing all the intesection oints of L and the Voonoi edges. Moeove, if we estict the otation cente to lie on a olygonal chain with s line segments, we can tivially otain the otimal lacement of P using Osn 2 m 2 lognmqq time. In oth cases, the sace comleity is On 2 m 2 q. 3.4 Equation 1: eessing w as a function of In ode to simlify the eosition leading to Equation 1, fo each oint s in the lane othe than the cuent otation cente, we define a coesonding 18

19 s ϑ s ϑ s s Figue 11: The definition of the angle ϑ ÙÖ ½ Ì Ò Ø ÓÒ Ó Ø Ò Ð ϑ s ÓÖ ÒÝ s fo any oint s. ÔÓ ÒØ s º angle ϑ s with esect to. In aticula, let H e the set of oints aove the -ais o on the -ais and to the ight of and let H e the set of oints elow the -ais o on the -ais and to the left of (clealy, the sets H and H atition R 2 tu). Then, if s P H, ϑ s is the angle swet y the ightwad hoizontal ay emanating fom as it moves in counteclockwise diection aound until it coincides with the ay ÝÑ s (see Figue 11, left); if s P H, ϑ s is the angle swet y the leftwad hoizontal ay emanating fom as it moves in counteclockwise diection aound until it coincides with the ay ÝÑ s (see Figue 11, ight). (Note that fo all oints s on the -ais, ϑ s 0.) Fom the definition of ϑ s, it follows that in all cases 0 ď ϑ s ă π (4) (we conside counteclockwise and clockwise angles eing ositive and negative, esectively) and cos ϑ s s.. ds, q sgns.yq sin ϑ s s.y ds, q s.y sgns.yq (5) ds, q whee ds, q denotes the distance of oint s fom the otation cente,. and.y ae esectively the and y coodinates of a oint, and sgns.yq is the sign of s.y. Now, we distinguish two main cases: Point and the intesection oint q of the cicle C q and the edge e uv of P oth elong to eithe H o H (see Figue 12(a)): if ϑ ď ϑ q then ω ϑ q ϑ (6) othewise ω π ϑ q ` π ` ϑ q 2π ` ϑ q ϑ. (7) 19

20 Point and the intesection oint q of the cicle C q and the edge e uv of P do not oth elong to eithe H o H (see Figue 12()): in this case, ω π ϑ q ` ϑ q π ` ϑ q ϑ. (8) It is imotant to oseve that the definition of H and H ensues that the aove eessions fo ω hold fo all secial cases in which at least one of, q lies on the -ais, as summaized in the following tale. q P H q P H q on -ais ϑq 0 q aove -ais 0 ă ϑ q ă π q on -ais ϑq 0 q elow -ais 0 ă ϑ q ă π P H P H on -ais aove -ais on -ais elow -ais ϑ 0 0 ă ϑ ă π ϑ 0 0 ă ϑ ă π ω 0 ω 2π ϑ ω π ω π ϑ ω ϑ q Eq. (6), (7) ω π ` ϑ q Eq. (8) ω π ω π ϑ ω 0 ω 2π ϑ ω π ` ϑ q Eq. (8) ω ϑ q Eq. (6), (7) In all cases, cosωq cosϑ q ϑ q cosϑ q q cosϑ q ` sinϑ q q sinϑ q which, due to Equation 5 and to the fact that dq, q d, q, imlies that cosωq q. q. q ` q.y.y d 2 sgnq.yq sgn.yq, q q. q. q ` q.y.y. q 2 `.yq 2 sgnq.yq sgn.yq 2 q. `.q ` q.. ` q.y.y 2 2. `.q 2 `.yq 2 sgnq.yq sgn.yq. (9) Fo convenience, we sudivide each edge that intesects the -ais at this oint of intesection so that the value of sgnq.yq is fied at each su-edge no matte whee q is. The coodinates q., q.y of intesection oint q can e eessed in tems of y taking into account that q elongs to the line suoting the edge uv and that is equidistant fom q and. The fome imlies that thee eists a eal nume λ with 0 ď λ ď 1 such that the vecto ÝÑ uq is λ times the vecto ÝÑ uv, which yields and q. u.q λ v. u.q ðñ q. λ v. u.q ` u. (10) q.y u.yq λ v.y u.yq ðñ q.y λ v.y u.yq ` u.y, (11) wheeas the latte imlies 20

21 y y y y q q v v u yu q q v v ω ω y u u q v u a a a q v ϑ q ω ϑ q ϑ q ϑ ϑ ϑ a a a u ϑ ϑ ϑ ϑ q ϑ q ω ω ϑ q y y (a) µ µ ω y µ a a a u ω ω u ω q ϑ q ϑ q q ϑ q µ µ v u q ÙÖ ÙÖ ½ ½ È Ö Ñ Ø Ö Þ Ò Ø Ø ÒØ Ö Ø ÓÒ µ ØÛ Ò ØÛ Ò Ø ÖÐ Ø ÖÐ c Ò c Ò Ø Ø uv uv Û Ð Û Ð ÑÓÚ ÑÓÚ ÐÓÒ ÐÓÒ Ñ ÒØ Ñ ÒØ a Û Ò a Û Ò ÔÓ ÒØ () ÔÓ ÒØ Ò Ò Ø Ø ÒØ Ö Ø ÓÒ q Ó qc Ó Ò c Ò uv Ö uv µ Ö Ò µ Ø Ò Ñ Ø Ñ Ð ÔÐ Ò Ð ÔÐ Ò Ò Ò µ Ò µ ÓÔÔÓ Ø Ò ÓÔÔÓ Ø Ð ÔÐ Ò Ð ÔÐ Ò Û Ø Û Ø Ö Ô Ø Ö Ô Ø ØÓ ØÓ Ø ÙÖ ¹ Ü µº Ø ¹ Ü µº ½ È Ö Ñ Ø Ö Þ Ò Ø ÒØ Ö Ø ÓÒ ØÛ Ò Ø ÖÐ c Ò Ø uv Û Ð ÑÓÚ ÐÓÒ Ñ ÒØ a Û Ò ÔÓ ÒØ Ò Ø ÒØ Ö Ø ÓÒ q Ó c Ò uv Ö µ Ò Ø Ñ Ð ÔÐ Ò Ò µ Ò ÓÔÔÓ Ø Ð ÔÐ Ò Û Ø Ö Ô Ø ØÓ Ø ¹ Ü µº Figue 12: Paameteizing the intesection etween the cicle C q and the edge uv while moves along segment a when oint and the intesection q of C q and uv ae (a) in the same halflane and () in oosite halflanes (with esect to the -ais). v ϑ ϑ v ϑ d 2 q, q d 2, q ðñ q. q 2 ` q.yq 2. q 2 `.yq 2 ðñ q.q 2 2 q. ` q.yq 2.q 2 ` 2..yq 2 0. (12) By sustituting q., q.y fom equations 10 and 11 into Equation 12, we 21

22 get λ v. u.q ` u. 2 2 λ v. u.q ` u. ` λ v.y u.yq ` u.y 2.q2 ` 2..yq 2 0 ðñ λ 2 v. u.q 2 ` v.y u.yq 2 2 λ v. u.q u. v. u.q u.y v.y u.yq 2 u..q ` u.q 2 ` u.yq 2.q 2.yq 2 0, which has at most 2 oots fo λ in tems of of the fom λ αq aβq, (13) whee αq and βq ae olynomials of degees 1 and 2, esectively. Then, y sustituting q., q.y, and λ fom equations 10, 11 and 13 esectively, into Equation 9, we get: aδq γq γq aδq cosωq ùñ ω accos, (14) ɛq ɛq whee γq, δq, and ɛq ae olynomials of degees 2, 4, and 2, esectively. 4 3D Fied MCR (Polem 3) In this section we etend ou techniques to the 3D-equivalent of Polem 1. We conside a set S of n oints in 3D, a otation cente, and a non self-intesecting olyhedon P with comleity m, i.e., with m facets. We identify otations aound with oints in a shee with cente. The following shows how to etend the algoithm we used to solve the Fied MCR olem: 1. Comute the inclusion egions. Fo each j P S, the intesection of the shee C j q with cente at and adius j with the olyhedon P esults in a set of egions on the ounday of the shee. These egions consist of the otated coies of j that lie in the inteio of P. Regadless of P eing conve o not, each facet can contiute to those egions a constant nume of times. Hence, the oveall comleity is Omq. Moeove, notice that a egion can have many holes, even in the case that P is conve. The sides of these egions on the shee C j q ae acs of cicles, since they ae the intesection of the shee with a lana facet of the olyhedon. Then, these sides can e comuted in constant time each, as the intesection of the lanes containing the faces of the olyhedon with C j q. 22

23 Thus the total time and sace comleities of comuting all the Onmq egions is Onmq. 2. Nomalize inclusion egions. Let R j e the set of inclusion egions of j P S. Conside the unit shee S 2 to e centeed at and oject the egions to S 2. Choose a oint N in S 2 as efeence and comute the otation τ j equied to send j to N. Then comute τ j R j q to set the same efeence fo all the inclusion egions. 3. Comuting the deth of N. Fo late use, we need to comute how many of the aove egions contain the oint N (in its inteio o ounday), what we call the deth of N. In ode to comute it, we efom oint location in the lana sudivision on the shee, i.e., we check whethe the oint N elongs to each of the Onmq egions with a cost of Olog mq e egion, fo a total time comleity of Onm log mq. 4. Steeogahic ojection. We use the well-known steeogahic ojection fom the oint N, consideed as the noth ole, to the tangent lane at the antiodal south ole. The fact that this ojection is confomal imlies that cicles in the shee ae maed to cicles in the lane [9]. Theefoe, the ojections of the inclusion egions τ j R j q have oundaies comosed y cicula acs. Because any two sides (acs of cicles) of the egions can intesect at most two times, the aangement A of ojected egions can e comuted in On 2 m 2 q time and sace, since the total nume of intesection oints etween acs is On 2 m 2 q. Notice that fo comuting the ojected ac we oceed as follows: We comute the ojection of the two endoints of the ac, and also the ojection of a thid oint of the ac (fo eamle the coesonding to the midoint of the ac); with these thee ojected oints, we comute the cicle containing the ojected ac and the ojected ac itself. 5. Comuting the egion in A with lagest deth. To do this comutation we wok on the dual gah of the aangement A, just knowing that the eteio (unounded) face of A is the face which was containing the oint N, and hence we know its deth. Stating in this face, we efom a tavesal of the dual gah, comuting the deth of each egion and maintaining the egion with maimum deth, in a total On 2 m 2 q time. Comuting an inteio oint of the egion with maimum deth, we comute its coesonding oint in the unit shee and then we know the two aametes θ, ϕ giving such diection, which is the solution of ou olem. 23

24 Theoem 13. The Fied MCR olem in 3D can e solved in On 2 m 2 lognmqq time and On 2 m 2 q sace. 5 Concluding Remaks We studied the olem of finding a otation of a simle olygon that coves the maimum nume of oints fom a given oint set. We descied algoithms to solve the olem when the otation cente is fied, o lies on a line segment, a line, o a olygonal chain. Without much effot, ou algoithms can also e alied when the olygon has holes, and can e easily modified to solve minimization vesions of the same olems. We also solved the olem with a fied otation cente in 3D, leaving as oen olem the 3D-analogue of Polem 2. 6 Acknowledgements David Oden is suoted y MINECO Pojects MTM and MTM P, as well as y H2020-MSCA-RISE oject CONNECT. Calos Seaa is suoted y ojects Gen. Cat. DGR 2017SGR1640, y MINECO MTM R, and y H2020-MSCA-RISE oject CONNECT. Joge Uutia is suoted in at y SEP-CONACYT of Méico, Poyecto and y PAPPIIT IN Pogama de Aoyo a la Investigación e Innovación Tecnológica, Univesidad Nacional Autónoma de Méico.. Refeences [1] P. K. Agawal, T. Hageu, R. Ray, M. Shai, M. Smid, and E. Welzl. Tanslating a lana oject to maimize oint containment. In Algoithms ESA 2002: 10th Annual Euoean Symosium. Rome, Italy, Seteme 17 21, Poceedings, ages 42 53, [2] G. Baequet and A. Goyachev. Offset olygon and annulus lacement olems. Comutational Geomety: Theoy and Alications, 47(3, Pat A): , [3] G. Baequet and S. Ha-Peled. Polygon containment and tanslation min-hausdoff-distance etween segment sets ae 3SUM-had. Intenational Jounal of Comutational Geomety & Alications, 11(4): , [4] G. Baequet, M. Dickeson, and P. Pau. Tanslating a conve olygon to contain a maimum nume of oints. Comutational Geomety: Theoy and Alications, 8(4): ,

25 [5] B. Chazelle. Advances in Comuting Reseach, volume 1, chate The olygon containment olem, ages JAI Pess, [6] M. Dickeson and D. Schastein. Otimal lacement of conve olygons to maimize oint containment. Comutational Geomety: Theoy and Alications, 11(1):1 16, [7] A. Gajentaan and M. H. Ovemas. On a class of On 2 q olems in comutational geomety. Comutational Geomety: Theoy and Alications, 5(3): , [8] H. Ishiguo, M. Yamamoto, and S. Tsuji. Omni-diectional steeo. IEEE Tansactions on Patten Analysis and Machine Intelligence, 14(2): , [9] T. Needham. Visual comle analysis, chate 6.II.3: A confomal ma of the shee, ages Claendon Pess, Ofod, [10] C. K. Ya and E.-C. Chang. Algoithms fo Root Motion Planning and Maniulation, chate Issues in the metology of geometic toleancing, ages A.K. Petes, Wellesley, MA,