arxiv: v2 [cs.cg] 30 Apr 2015

Transcription

1 Diffue Reflecion Diameer in Simple Polygon arxiv: v2 [c.cg] 30 Apr 2015 Gill Bareque Deparmen of Compuer Science Technion Haifa, Irael Eli Fox-Epein Deparmen of Compuer Science Brown Univeriy Providence, RI Diane L. Souvaine Deparmen of Compuer Science Tuf Univeriy Medford, MA Sarah M. Cannon College of Compuing Georgia Iniue of Technology Alana, GA Benjamin Heco Deparmen of Compuer Science Tuf Univeriy Medford, MA Caba D. Tóh Deparmen of Mahemaic California Sae Univeriy Norhridge Lo Angele, CA Andrew Winlow Déparmen d Informaique Univerié Libre de Bruxelle Bruel, Belgium awinlow@ulb.ac.be Abrac We prove a conjecure of Aanjaneya, Bihnu, and Pal ha he minimum number of diffue reflecion ufficien o illuminae he inerior of any imple polygon wih n wall from any inerior poin ligh ource i n/2 1. Ligh reflecing diffuely leave a urface in all direcion, raher han a an idenical angle a wih pecular reflecion. 1 Inroducion For a ligh ource placed in a polygonal room wih mirror wall, ligh ray ha reach a wall a angle θ, wih repec o he normal of he wall urface, alo leave a angle θ. In oher word, for hee pecular reflecion he angle of incidence equal he angle of reflecion (ee Fig. 1). A preliminary verion of hi work ha been publihed a: G. Bareque, S. M. Cannon, E. Fox-Epein, B. Heco, D. L. Souvaine, C. D. Tóh, A. Winlow, Diffue reflecion in imple polygon, Elecronic Noe in Dicree Mahemaic 44(5) (2013), Suppored in par by Naional Science Foundaion gran CCF

2 Θ Θ pecular diffue Figure 1: Two ype of reflecion. Specular reflecion occur on mirrored urface (lef) and diffue reflecion occur on mae urface (righ). Klee [10] aked wheher he inerior of any room defined by a imple polygon wih mirrored wall i compleely illuminaed by placing a ingle poin ligh anywhere in he inerior. Tokarky [15] gave a negaive anwer o hi queion by conrucing imple polygon and pair of poin (, ) uch ha here i no pah from o wih pecular reflecion off he wall of he room. Figure 2: The region of he polygon illuminaed by a ligh ource afer 0, 1, 2, and 3 diffue reflecion. On he oher hand, if he wall of he polygonal room P reflec ligh diffuely in all direcion, hen i i eay o ee ha every poin in P i illuminaed afer a mo n diffue reflecion (Fig. 2). For diffue reflecion, we aume ha he verice of P aborb ligh, and ha ligh doe no propagae along he edge of P. A diffue reflecion pah i a polygonal pah γ conained in P uch ha every inerior verex of γ lie in he relaive inerior of ome edge of P, and he relaive inerior of every edge of γ i in he inerior of P. Aronov e al. [3] were he fir o udy V k (), he par of he polygon illuminaed by a ligh ource afer a mo k diffue reflecion. Formally, V k () i he e of poin P uch ha here i a diffue reflecion pah from o wih a mo k inerior verice. In paricular, V 0 () i he viibiliy region of poin in he inerior of V (where he boundary of P i conidered opaque), hence i i a imply-conneced region wih O(n) edge [6]. Aronov e al.proved ha V 1 () i imply conneced wih a mo Θ(n 2 ) edge. Brahma e al. [7] conruced imple polygon and a ource uch ha V 2 () i no imply conneced, and howed ha V 3 () can have a many a Ω(n) hole. Exending he work of [3], Aronov e al. [4, 5] and Praad e al. [12] bounded he complexiy of V k () a O(n 9 ) and Ω(n 2 ) for all k. I remain an open problem o cloe he gap beween hee bound for k 2. Finding a hore diffue reflecion pah beween wo given poin in a imple polygon by brue force i poible in O(n 10 ) ime uing he reul of Aronov e al. [5]. Ghoh e al. [9] preened a 3-approximaion in O(n 2 ) ime, and heir approximaion applie even if he polygon P ha hole. 2

3 Figure 3: Lef: An orhogonal piral polygon wih n = 20 verice [1], where every diffue reflecion pah beween and ha a lea n/2 2 = 8 urn. Righ: A zig-zag polygon wih n = 16 verice where every diffue reflecion pah beween and ha a lea n/2 1 = 7 reflecion. Reul We deermine he minimum number of diffue reflecion ufficien o illuminae he inerior of any imple polygon wih n verice from any inerior poin. For a imple polygon P, he diffue reflecion diameer D(P ) i he malle k N 0 uch ha for every wo poin, in(p ), here i a diffue reflecion pah beween and wih a mo k inerior verice (i.e., wih a mo k reflecion). For an ineger n 3, le D(n) be he large diffue reflecion diameer D(P ) over all imple polygon P wih n verice. Aanjaneya e al. [1] conjecured ha D(n) n/2 1 and conruced a family of polygon ha yield D(n) n/2 2; ee Fig. 3 (lef). The family of zig-zag polygon (Fig. 3, righ) how ha D(n) n/2 1 for all n 3. Here we prove ha hi bound i igh. Theorem 1. We have D(n) = n/2 1 for every ineger n 3. When he poin and are allowed o be on he boundary of P, he minimum number of diffue reflecion may be larger, ince a diffue reflecion pah canno have edge along he boundary of P. Similarly o D(P ), we define D(P ) a he malle k N 0 uch ha for every wo poin, P (in he inerior or on he boundary of P ), here i a diffue reflecion pah beween and wih a mo k inerior verice. For n 3, le D(n) be he maximum D(P ) over all imple polygon P wih n verice. We deermine D(n) for all n 3. Theorem 2. We have D(3) = 2 and D(n) = n/2 for every ineger n 4. Relaed Reul for Link Pah The diffue reflecion pah i a pecial cae of a link pah, which ha been udied exenively due o i applicaion in moion planning, roboic, and curve compreion [8, 11]. The link diance beween wo poin, and, in a imple polygon P i he minimum number of edge in a polygonal pah beween and ha lie enirely in P. In a polygon P wih n verice, he link diance beween wo poin can be compued in O(n) ime [13]. The link diameer of P, he maximum link diance beween any wo poin in P, can be compued in O(n log n) ime [14]. By conra, no polynomial ime algorihm i known for compuing he diffue reflecion diameer of a imple polygon. 2 Preliminary Definiion For a e S R 2, le in(s) and cl(s) denoe he inerior of S and he cloure of S, repecively. The boundary of S, denoed S, i cl(s) \ in(s). The relaive inerior of a line egmen pq in he 3

4 plane i denoed relin(pq). Le d(p, q) be he Euclidean diance beween poin p and q in he plane. Le P be a imple cloed polygonal domain (for hor, imple polygon) wih n verice, where n 3. We ay ha wo poin, P ee each oher (or, are viible o each oher) if relin() in(p ). In paricular, conecuive verice of a diffue reflecion pah ee each oher. 1 A chord of P i a cloed line egmen ab, uch ha a, b P and relin(ab) in(p ). Two line egmen (e.g., chord of P ) cro each oher if here i a poin in he relaive inerior of boh egmen, bu he wo egmen are no collinear. We define he viibiliy polygon of a line egmen ab of P, denoed V 0 (ab), a he e of poin viible from ome poin in relin(ab). (V 0 (ab) i alo known a he weak viibiliy polygon of he relaive inerior of ab [6].) A ube U of P weakly cover an edge e of P if U inerec relin(e). 3 A Sequence of Region R k Le P be a imple polygon wih n verice, and le P. Inead of ackling V k () direcly, we recurively define an infinie equence of imply-conneced region R 0 R 1 R 2... uch ha R 0 = V 0 () and R k V k () for all k N. In Secion 4, we prove in(p ) R n/2 1 for all in(p ) and n 3, which immediaely implie Theorem 1. In Secion 2, we prove P R n/2 for all P and n 4, which implie Theorem 2. Le R 0 = V 0 (). In he remainder of hi ecion, we recall a few well-known characeriic of V 0 (), and hen formulae properie (i) (iv) ha we wih o mainain for all R k, k N 0. Uing (i) (iv), we define R k, k N, recurively, and how ha (i) (iv) are mainained in each ep. Finally, we prove R k () V k () for all k N k. U 1 w 1 V 0 () U 6 w 6 w 5 w 3 U 5 W 1 w 1 R 1 w 6 W 6 w 5 c 5 = c 6 W 5 U 2 w w 4 2 U 4 P W 2 c2 w 2 w 3 w 4 P W 4 c 4 Figure 4: Lef: A imple polygon P wih a ligh ource. The viibiliy polygon V 0 () ha ix window: w 1,..., w 6. Window w 3 i he only degenerae window. Window w 1 and w 3 are auraed, while he oher window are unauraed. Righ: R 1 i he union of he cloure of V 0 () and he viibiliy polygon W wi for i = 1,..., 6. Properie of V 0 () Recall ha V 0 () i he e of all poin P uch ha relin() in(p ). Refer o Fig. 4. A uch, V 0 () i he union of (an infinie number of) cloed line egmen, each of which i inciden o and ome poin in P, hence V 0 () i imply conneced. Conequenly, he boundary of V 0 () coni of ome line egmen along P and poibly egmen lying on ray emied by, which may conain a chord of P. However, V 0 () P conain only one poin along 1 Noe ha a more relaxed definiion of viibiliy, ha require only P, i common in he lieraure [6]. 4

5 each ray emied by. For a e U, where U P, we define a window of U o be a chord of P conained in U, or an edge e of P uch ha e U bu relin(e) U. A window which i an edge of P i called a degenerae window. See Fig. 4 for example. If he verice of P and are in general poiion (ha i, no hree poin in a line), hen every ray emied by conain a mo one window V 0 (), and no window i degenerae. In general, however, a ray may conain everal collinear window V 0 (), ome of which may be degenerae (Fig. 4). Suppoe ha ab i a window of V 0 () uch ha a lie in he inerior of b. For a window ab of V 0 (), conider he maximal line egmen a b uch ha ab a b and a b V 0 () (poibly, ab = a b ). Then he ray emied by can reach P in a neighborhood of b, and a ufficienly mall neighborhood conain a egmen c P, where relin(c) i viible from he oher endpoin a of he window. The window of V 0 () ha lie on diinc ray are necearily dijoin. Conequenly, he region R 0 = V 0 () aifie he following properie. (i) The cloure of R k, cl(r k ), i a imple polygon whoe boundary coni of chord of P and line egmen conained in he boundary of P. (ii) The endpoin of every window of R k can be labeled by a and b uch ha cl(r k ) ha an inerior angle of a lea 180 a a. (iii) For every window ab of R k, here i a nonrivial line egmen c uch ha an endpoin of c lie on he ray ab, relin(c) lie in he relaive inerior of an edge of P, relin(c) R k, and a ee every poin in relin(c). (iv) Any wo window of R k are dijoin or collinear; and for any wo adjacen window, here i a common egmen c ha aifie propery (iii). Recurive conrucion of R k, k 1 We can now conruc R k+1 for all k N 0, auming ha R k i already defined and aifie (i) (iv). Inuiively, we conruc R k+1 by exending R k beyond each of i window wih a viibiliy region a follow (refer o Fig. 4). A window ab of R k i auraed if every chord of P ha croe ab ha an endpoin in R k ; oherwie, i i unauraed. Noe ha every degenerae window i auraed, becaue a degenerae window croe no chord. Each nondegenerae window ab of R k decompoe P ino wo imple polygon; le U ab denoe he polygon ha i dijoin from in(r k ). For a degenerae window, le U ab = ab. For each window ab, we define a e W ab a follow. If ab i auraed, hen le W ab = V 0 (ab) U ab. If ab i unauraed, hen le c R k P be he egmen decribed in propery (iii), and le W ab = V 0 (c) U ab. Le R k+1 be he union of cl(r k ) and he e W ab for all window ab of R k. The definiion of he region R k, k N 0, readily implie ha properie (i) (iv) are mainained for R k+1. Propoiion 1. Le P be a imple polygon and P. properie (i) (iv). For every k N 0, region R k aifie Proof. We proceed by inducion on k N 0. For k = 0, he region R 0 i he viibiliy polygon V 0 () of poin in P, and properie (i) (iv) are eaily verified (ee Figure 4, lef). Suppoe R k aifie (i) (iv) for ome k N 0. If R k ha no window, hen cl(r k ) = P and R k+1 = P, hence properie (i)-(iv) rivially hold for R k+1. If R k ha a lea one window, hen R k+1 i he union of cl(r k ) and he viibiliy polygon W ab for all window ab. By definiion, W ab conain relin(ab) for boh auraed and unauraed window ab. Each W ab aifie properie (i) (iv) wihin U ab. Thi prove properie (i) (iii) for R k+1, and (iv) for window adjacen in each W ab. 5

6 I remain o eablih (iv) for pair of window, w and w, of R k+1 ha lie on he boundary of W ab and W a b, where ab and a b are diinc window of R k. Suppoe ha heir common endpoin i x = w w. Then x i alo a common endpoin of ab and a b. Since R k aifie (iv) by he inducion hypohei, he window ab and a b are collinear, and hey have a common egmen c aifying (iii). Conequenly, w and w lie on he ame ide of ab a b. Noe ha ab i unauraed, oherwie W ab would weakly cover he edge of U ab inciden o x, and w could no be inciden o x. Analogouly, a b i unauraed. However, if boh ab and a b are unauraed, hen V 0 (c) weakly cover he edge of U ab or U a b inciden o x. Therefore, a mo one of w and w can be inciden o x. We conclude ha he window w and w of R k+1 are dijoin, proving propery (iv) for R k+1. The nex propoiion juifie ha he cloure of R k i conained in V k+1 () if R k V k () and in(p ). Propoiion 2. Le in(p ) and k N 0. For every e U V k (), we have cl(u) V k+1 (). Proof. Le p U \ U. Since p cl(u) and cl(u) cl(v k ()), we have cl(v k (p)) by ymmery. For every i N, here i a poin i V k (p) lying in a 1 i -neighborhood of uch ha here i a diffue reflecion pah (p, r i (1),..., r i (l), i ) wih l k, where he poin r i (1),..., r i (l) lie in he inerior of ome edge of P. By conrucion, we have lim i d( i, ) = 0, and we may aume by compacne ha here i a poin r P uch ha lim i d(r i (l), r) = 0. The ray r i (l) i hi P a a poin q i, and we may aume ha here i a poin q P uch ha lim i d(q i (l), q) = 0, where lie on he chord rq. For a ufficienly large i N, here i a poin q P in a neighborhood of q ha lie in he inerior of ome edge of P and direcly ee boh r i (l) and. Conequenly, here i a diffue reflecion pah (p, r i (1),..., r i (l), q, ) of lengh a mo k + 1 beween p and. I follow ha p V k+1 (S), and o cl(u) V k+1 () a deired. Corollary 1. If in(p ), hen R k V k () for all k N 0. Proof. We prove he aemen by inducion on k. In he bae cae we have R 0 = V 0 () by definiion. Suppoe R k V k () for ome k N 0. By Propoiion 2, cl(r k ) V k+1 (). For every window ab of R k, we how ha W ab V k+1. Specifically, conider he wo cae in he conrucion of W ab. Fir, uppoe ab i a auraed window of R k. Then every poin W ab ee ome poin x relin(ab), and x i conained in a chord y of P, where y R k. If y i in he relaive inerior of an edge of P, hen a diffue reflecion pah from o y can be exended o uing a diffue reflecion a y. Oherwie, noe ha alo ee ome neighborhood of x wihin relin(ab), hence ome neighborhood of y wihin P R k. Again, a diffue reflecion pah from o uch a poin can be exended o. Now uppoe ha ab i unauraed. Then every poin W ab ee a poin in he relaive inerior of egmen c, where relin(c) R k and relin(c) lie in he relaive inerior of an edge of P. A diffue reflecion pah from o any poin in c can be exended o via a diffue reflecion in c. In boh cae, we have hown W ab V k+1 (). Conequenly, R k+1 V k+1 (). Weakly covered edge We aociae wo crucial parameer wih he region R k, k N 0. For every k N 0, le µ k be he number of edge of P weakly covered by R k, and λ k he oal number of window of R k. We derive a lower bound on he number of new edge weakly covered in each round. 6

7 Lemma 1. For every k N 0, (1) We have µ k+1 µ k + λ k ; and (2) If all window of R k are auraed, hen µ k+1 min(µ k + λ k + 1, n). Proof. Recall ha cl(r k ) R k+1, and o R k+1 conain all degenerae window of R k. Now conider nondegenerae window of R k. Le ab be a nondegenerae window of R k. By propery (ii), a i a fla or reflex verex of cl(r k ), hence i i a convex verex of U ab. Le ad denoe he edge of P inciden o a and on he boundary of U ab. I i clear ha R k doe no weakly cover ad, and we how ha W ab weakly cover i. If ab i auraed, i i clear ha W ab weakly cover ad. If ab i unauraed, hen U ab and c lie on oppoie ide of he line panned by ab, and o every poin in c ee ome par of ad in a neighborhood of a. Conequenly, R k+1 weakly cover a lea one new edge of P behind every window of R k. For he econd claim, aume ha all window of R k are auraed, bu µ k+1 < n. Then here i a auraed window ab uch ha R k+1 doe no weakly cover all edge of P in U ab. A above, le ad denoe he edge of U ab inciden o a, and alo le e denoe he edge of P ha conain b and ha nonrivial inerecion wih he boundary of U ab. From above, we know ha R k+1 weakly cover ad. Nex, conider all chord of P ha cro ab and are parallel o ad or e. A lea one of hee chord ha an endpoin in he relaive inerior of ome edge of P ha i dijoin from R k and i no ad, and o W ab weakly cover a lea wo new edge of P behind ab, a required. Corollary 2. For every k N 0, (1) We have µ k+1 min(µ k + 1, n); and (2) If all window of R k are auraed, hen µ k+1 min(µ k + 2, n). Proof. Noe ha if cl(r k ) P, hen R k ha a lea one window and λ k 1. 4 Couning Weakly Covered Edge in R k Le P be a imple polygon wih n verice, and le in(p ). In hi ecion, we eablih he inequaliy µ k min(2k + 3, n) ( ) for all k N 0, which immediaely implie Theorem 1. I i folklore ha V 0 () weakly cover a lea hree edge, hence µ 0 3. Propoiion 3. If in(p ), hen V 0 () weakly cover a lea hree edge of P. Conequenly, µ 0 3. Proof. In any riangulaion of P, lie in ome riangle whoe verice pariion he edge of P ino hree e. A lea one edge i een by in each of he hree e. We prove ( ) for all k N 0 by inducion on k. Recall ha R 0 aifie ( ) by Propoiion 3, and µ k ricly monoonically increae unil i reache n by Corollary 2. Conequenly, if ( ) fail for ome R k+1, k N 0, hen R k mu aify ( ) wih equaliy, and µ k < n. Thi moivae he following definiion. A region R k i called criical if µ k = 2k + 3 and µ k < n. By Lemma 1, i i enough o how ha whenever R k i criical, hen λ k 2 or all window of R k are auraed. For every criical region R k, we will inducively how (Lemma 2(3)) ha one of he following wo condiion hold: 7

8 (A) All window of R k are auraed; or (B) R k ha an unauraed window and λ k 2. Noe ha hee wo condiion are muually excluive, ha i, a region R k canno aify boh. Iniializaion We fir how ha R 0 aifie one of he wo condiion. Propoiion 4. Region R 0 aifie condiion (A) or (B). Proof. Fir, uppoe λ 0 2. Then eiher all window are auraed o (A) hold, or a lea one window i unauraed and (B) hold. Nex, uppoe λ 0 = 1. If he ingle window of R 0 i degenerae, hen (A) hold. Aume ha R 0 ha exacly one window ha i nondegenerae, denoed by ab a defined in (ii). Recall ha R 0 = V 0 (), and o every poin in R 0 i conained in a window or direcly viible from. Conequenly, all poin in R 0 \ ab are in R 0. A ab pli P ino R 0 and U ab, every chord of P ha croe ab ha exacly one endpoin in R 0 \ ab and o ha one endpoin in R 0, a deired. I follow ha window ab i auraed, and o R 0 aifie condiion (A). We will alo inducively how (Lemma 2) ha no wo conecuive criical region aify (B). For he fir wo region, R 0 and R 1, hi i eablihed a follow. Propoiion 5. If boh R 0 and R 1 are criical and R 0 aifie (B), hen R 1 aifie (A). Proof. If boh R 0 and R 1 are criical, hen µ 0 = 3 and µ 1 = 5. By he proof of Propoiion 4, R 0 mu have a lea wo dijoin window, oherwie i aifie (A) inead of (B). Addiionally R 0 mu have a mo wo window, a oherwie λ 0 3 and o µ 1 > 5 by Lemma 1(1), a conradicion. Denoe by a 1 b 1 and a 2 b 2 he wo dijoin window of R 0. By aumpion a lea one of hee wo dijoin window i unauraed, and i follow ha he oher mu be eiher unauraed or auraed and degenerae. The boundary of R 0 coni of five line egmen: window a 1 b 1, window a 2 b 2, and hree egmen along hree edge of P weakly covered by R 0. Since a 1 b 1 and a 2 b 2 are dijoin and hu no adjacen, hey are boh inciden o ome edge e of P weakly covered by R 0. By Propery (ii), we may aume ha a 1 and a 2 are reflex verice of cl(r 0 ). If a 1 or a 2 i inciden o e, hen boh window are auraed, conradicing our earlier obervaion. Therefore, neiher a 1 nor a 2 i inciden o e, hence boh b 1 and b 2 lie on e. Then R 1 = cl(r 0 ) V 0 (c 1 ) V 0 (c 2 ), where c 1, c 2 e. Since R 1 weakly cover preciely one new edge of P behind each window, every window of R 1 i collinear wih e. I follow ha a chord of P ha croe any window of R 1 canno have an endpoin on edge e. Therefore one endpoin of uch a chord i in R 1 = cl(r 0 ) V 0 (c 1 ) V 0 (c 2 ), and all window of R 1 are auraed. A deired, R 1 aifie (A). The nex propoiion explore he cae where R k+1 i criical for ome k 1, bu he previou region R k aifie ( ) wih a ric inequaliy o i no criical. Propoiion 6. Suppoe ha R k i no criical and µ k > 2k +3, bu R k+1 i criical. Then λ k = 1, region R k ha an unauraed window, and R k+1 aifie (A). 8

9 a R k a R k a R k d β V 0 (c) α b c e d β V 0 (c) α b c d β V 0 (c) α b c Figure 5: The iuaion in Propoiion 6. The region R k i noncriical and R k+1 i criical. The window ab of R k i unauraed, while he window αβ of R k+1 i auraed. Lef: b lie in he relaive inerior of an edge of P. Middle: b i a reflex verex of P. Righ: b i a convex verex of P. Proof. Becaue µ k 2k + 4 and µ k+1 = 2(k + 1) + 3 = 2k + 5, we have µ k+1 µ k + 1. By Corollary 2(1), we have µ k = 2k + 4 and λ k = 1, ha i, R k ha exacly one window. The window ab canno be auraed by Corollary 2(2). Since R k+1 i criical, we have µ k+1 < n and hu R k+1 alo ha a lea one window, which mu be wihin U ab. Becaue ab i unauraed, R k+1 = cl(r k ) W ab, where W ab = V 0 (c) U ab for a egmen c decribed in (iii). Since µ k+1 = µ k +1, he region R k+1 weakly cover preciely one more edge han R k. Le ad be he edge of P inciden o a lying on he boundary of U ab. Refer o Fig. 5. A argued in he proof of Lemma 1, ad i he only edge weakly covered by W ab bu no weakly covered by R k. We diinguih beween wo cae o define a poin β ad. Cae 1: b relin(e) for ome edge e of P (Fig. 5, lef). Then c relin(e). Since ad i he only edge in U ab viible from c, he upporing line of e inerec ad, and we denoe he inerecion poin by β. Cae 2: b i a verex of P. In hi cae, b mu be a reflex verex of P (a in Fig. 5, middle), oherwie c would alo ee he edge of U ab inciden o b (a in Fig. 5, righ). Since ad i he only edge in U ab viible from c, he upporing line of c inerec ad, and we denoe he inerecion poin by β. In boh cae, we have W ab = (abβ)\bβ, and o any window of R k+1 i conained in bβ. Every chord of P ha croe bβ ha an endpoin in eiher relin(aβ) or in cl(r k ). In eiher cae, one endpoin of uch a chord i in R k+1, and o all window of R k+1 are auraed. Inducion Sep The nex hree propoiion concern he iuaion where everal conecuive region are criical. Propoiion 7. If all window of boh R k and R k+1 are collinear, and R k aifie (A), hen R k+1 alo aifie (A). Proof. Le αβ be an arbirary window of R k+1. Then αβ lie on he boundary of ome viibiliy region W ab, where ab i a window of R k. Since ab i auraed, we have W ab = V 0 (ab) U ab. Conider a chord cd of P ha croe αβ wih d U αβ. We need o how ha c R k+1. If cd croe ab, hen c R k R k+1 ince ab i auraed. If c = a or c = b, hen c R k+1 ince a, b cl(r k ) R k+1. Oherwie, c W ab \ (ab αβ). Since ab i auraed, all poin of W ab \ W ab are in window of R k+1, which are collinear wih αβ, o c mu lie in W ab. In all cae, c R k+1, and o he window αβ i auraed. 9

10 Propoiion 8. If R k and R k+1 are criical and R k aifie (A), hen R k+1 aifie (A) or (B). Proof. Fir, noe ha µ k = 2k + 3 and µ k+1 = 2k + 5 by criicaliy. Noe ha R k ha a lea one window, oherwie µ k+1 = n, conradicing he criicaliy of R k+1. If λ k 2, hen by Lemma 1(2), µ k+1 (2k + 3) > 2k + 5, which i a conradicion. I follow ha R k ha exacly one window ha i nondegenerae. If λ k+1 2, hen R k+1 aifie (A) or (B): eiher all window are auraed and (A) hold, or i ha an unauraed window and (B) hold. If λ k+1 1, hen any window of R k+1 i auraed by Propoiion 7 and o (A) hold. Propoiion 9. Suppoe ha R k, R k+1, and R k+2 are criical, R k aifie (A), and R k+1 aifie (B). Then R k+2 aifie (A). Proof. Noe ha µ k = 2k + 3, µ k+1 = µ k + 2, and µ k+2 = µ k By Lemma 1(2), R k ha only one window, which i auraed; label hi window ab a decribed in Propery (ii). Recall ha in hi cae, W ab = V 0 (ab) U ab. We have λ k+1 = 2, a condiion (B) yield λ k+1 2 and Lemma 1(1) implie λ k+1 2. However, R k+1 canno have wo adjacen collinear window, oherwie boh of hee window would be auraed by Propoiion 7, and R k+1 would aify (A). By propery (iv), R k+1 ha exacly wo window ha are dijoin. We denoe hem α 1 β 1 and α 2 β 2, repecively. Refer o Fig. 6. By Propery (ii), we may aume ha a i a reflex verex or a raigh verex of cl(r k ). Denoe by ad he edge of P on he boundary of U ab and inciden o a. Since µ k+1 = µ k + 2, region R k+1 weakly cover preciely wo new edge of P : one i ad and call he oher e. Le f be he edge of P conaining b and weakly covered by U ab. Noe ha α 1 β 1 and α 2 β 2 are dijoin and lie on he boundary of W ab. Since ad and f can each be inciden o a mo one of hem, we have e f, and edge e i inciden o boh α 1 β 1 and α 2 β 2. The boundary of W ab i formed by egmen ab, α 1 β 1, and α 2 β 2, and ome par of he edge ad, e, and poibly f. Noe ha ad W ab ince a poin in ab ufficienly cloe o a can ee all of ad. However, he inerecion f W ab could be he ingle poin b, or a nonrivial line egmen connecing b and an endpoin of f. Wihou lo of generaliy, we may aume ha W ab conain, in counerclockwie order, α 1 β 1, par of e, α 2 β 2, ad, ab, and poibly par of f, bu conain no oher egmen. Since µ k+2 = µ k+1 + 2, region R k+2 weakly cover preciely one new edge of P behind each of he wo window α 1 β 1 and α 2 β 2. I follow ha R k+2 ha a mo wo window: a mo one behind each of α 1 β 1 and α 1 β 2. By Propery (ii) and dijoinne of W ab wo window, we may aume ha α 1 and α 2 are reflex verice of cl(r k+1 ). Since W ab = V 0 (ab) U ab, he region W ab ha a reflex or fla inerior angle a boh α 1 and α 2. We have α 1 f (poibly α 1 = b), and α 2 = d. Conequenly, boh β 1 and β 2 are conained in e. A egmen in P can connec wo poin in relin(α 1 β 1 ) and relin(α 2 β 2 ), repecively. Therefore, α 1 β 1 and α 2 β 2 are unauraed or degenerae window. Le γ 1 and γ 2, repecively, be he egmen c decribed in (iii) for he window α 1 β 1 and α 2 β 2. Noe ha boh γ 1 and γ 2 are in relin(e). By conrucion, R k+2 = cl(r k+1 ) V 0 (γ 1 ) V 0 (γ 2 ). Since R k+2 weakly cover exacly one new edge of P behind each of α 1 β 1 and α 2 β 2, every window of R k+2 i collinear wih e. I follow ha a chord of P ha croe any window of R k+2 canno have an endpoin on he edge e, which conain he only uncovered porion of R k+2 ha are on he boundary of P. Therefore one endpoin of uch a chord i in R k+2 = cl(r k+1 ) V 0 (γ 1 ) V 0 (γ 2 ). Conequenly, any window of R k+2 i auraed. 10

11 P a β γ 2 2 e α 1 W ab d R k β 1 γ 1 α 2 b f P a d W ab β 2 γ 2 R k α 2 α 1 b e γ 1 β 1 Figure 6: The iuaion in Propoiion 9. The region R k ha a unique window ab, and W ab weakly cover wo new edge of P : ad and e. R k+1 ha wo window α 1 β 1 and α 2 β 2. Lef: b lie in he relaive inerior of an edge f of P. Righ: b i a verex of P and b = α 1. We are now in poiion o prove Lemma 2. We noe ha claim (1) of he lemma i he aemen we wan o prove, and we are able o do hi by eablihing a ronger inducion argumen alo mainaining claim (2) and (3). Lemma 2. For all k N 0, (1) µ k min(2k + 3, n); (2) If R k i criical, i aifie (A) or (B); and (3) If R k i criical and aifie (B), hen eiher R k 1 i criical and aifie (A), or k = 0. Proof. Fir, uppoe k = 0. Then µ 0 3 by Propoiion 3, aifying (1). By Propoiion 4, R 0 aifie (A) or (B), proving (2). Claim (3) rivially hold for k = 0. For he inducive ep, uppoe k 1 and ha (1), (2), and (3) hold for all maller k. Fir, we eablih (1). If R k 1 i criical, hen by he inducion hypohei i mu aify (A) or (B). By criicaliy, we have µ k 1 = 2k + 1, and Lemma 1 yield µ k min(µ k + 2, n) = min(2k + 3, n). If R k 1 i no criical, hen µ k 1 min(2k + 1, n) by he inducion hypohei and µ k 1 2k + 1 by he definiion of criicaliy. Conequenly µ k 1 min(2k + 2, n), and Corollary 2(1) yield µ k µ k min(2k + 3, n), proving (1). To eablih (2) and (3), uppoe R k i criical. If R k 1 i no criical, hen µ k 1 2k + 2 from he dicuion above. Applying Propoiion 6 (for k 1 inead of k), i follow ha R k aifie (A). If R k 1 i criical and aifie (A), hen R k aifie (A) or (B) by Propoiion 8. I remain o conider he cae ha R k 1 i criical and aifie (B). Suppoe ha boh R k and R k 1 are criical and R k 1 aifie (B). Claim (3) implie (for k 1 inead of k) ha eiher k = 1 or R k 2 i criical and aifie (A). If k = 1, hen R k aifie (A) by Propoiion 5. If R k 2 i criical and aifie (A), we apply Propoiion 9 (for k 2 inead of k) and conclude ha R k aifie (A). In all cae, R k aifie (A) or (B), proving (2). If R k aifie (B), hen R k 1 aifie (A), proving (3). We can now finally prove Theorem 1. 11

12 Theorem 1. We have D(n) = n/2 1 for every ineger n 3. Proof. We prove ha in every imple polygon P wih n 3 verice, here exi a diffue reflecion pah wih a mo n/2 1 reflecion beween any wo poin, in(p ). I i enough o how ha in(p ) V k () for every in(p ) and every k n/2 1. Noe ha n/2 1 = (n 3)/2. By Lemma 2, µ n/2 1 2( n/2 1) + 3 n, o R n/2 1 weakly cover all edge of P. I follow ha R n/2 1 doe no have any window, oherwie Lemma 1 would imply ha P ha an edge ha i no weakly covered. Therefore in(p ) R n/2 1, a claimed. Corollary 1 hen implie in(p ) V n/2 1 (), proving he heorem. 5 Diffue Reflecion Pah beween Boundary Poin In hi ecion, we prove Theorem 2. If he ligh ource i in he inerior of he polygon P, hen Theorem 1 and Propoiion 2 readily imply P R n/2 V n/2 (). I remain o conider diffue reflecion pah beween poin, P, ha i, beween poin on he boundary of P. If i a verex of P, hen no oher poin on he edge of P inciden o are illuminaed by. For example, in a riangle P, a diffue reflecion pah beween wo verice require wo urn (Fig. 7, lef), and conequenly D(P ) = 2. V 0 () V 1 () V 2 () V 0 () V 1 () V 2 () Figure 7: The region of a riangle (rep., a nonconvex quadrilaeral) illuminaed by he ligh ource a he verex afer 0, 1, and 2 diffue reflecion. Le P, where P i a imple polygon. We canno ue Propoiion 2 when P. Propoiion 2 i replaced by he following weaker aemen. Propoiion 10. Le P and k N 0. Suppoe ha U V k () uch ha cl(u) i a imple polygon. Then, V k+1 () conain all poin of U wih he poible excepion of he convex verice of cl(u); and we have cl(u) V k+2 (). Proof. Le p U \ U. For every i N, here i a poin p i V k () lying in a 1 i -neighborhood of p uch ha here i a diffue reflecion pah (, r i (1),..., r i (l), p i ) wih l k, where he poin r i (1),..., r i (l) lie in he inerior of ome edge of P. By perurbing p i, if neceary, we may aume ha he ray r i (l)p i hi he boundary of P a a poin q i lying in he relaive inerior of an edge of P. If i N i ufficienly large, hen q i direcly ee p, unle p and q i lie on he ame edge of P, which mean ha p i a convex verex of cl(u). Conequenly, if p i no a convex verex of cl(u), hen (, r i (1),..., r i (l), q i, p) i a diffue reflecion pah of lengh a mo k + 1 from o p. If p i a convex verex of cl(u), hen here i a poin r i in he viibiliy polygon of q i ha direcly ee p, and o (, r i (1),..., r i (l), q i, r i, p) i a diffue reflecion pah of lengh a mo k + 2 from o p. 12

13 We can define R k analogouly o Secion 3. Le R 0 = V 0 (); and for k 1, le R k be he union of R k 1, he e W ab for all window ab of R k 1, he boundary R k 1 wih he excepion of he convex verice of cl(r k 1 ), and cl(r k 2 ) if k 2. Propoiion 1 hold for R k for all k N 0 ; and imilarly o Corollary 1, we have R k V k () for all k N. Recall ha µ k i he number of edge of P weakly covered by region R k, and λ k i he number of window of R k. Inead of ( ), we mainain he following inequaliy for all k N: µ k min(2k + 2, n). ( ) Inequaliy ( ) combined wih Propoiion 11 below, readily implie Theorem 2. Propoiion 11. If k 1 and R k weakly cover all edge of P (i.e., µ k = n), hen V k+1 () = P. Proof. Since µ k = n, hen R k ha no window and in(p ) R k. By Propoiion 10, R k+1 conain P wih he poible excepion of he convex verice of P. A R k R k+1 and R k+1 V k+1 (), i only remain o how ha all convex verice of P are in V k+1 (). Conider a convex verex v of P. If v R k 1, hen v R k+1 by Propoiion 10. Suppoe v R k bu v R k 1. Then v i inciden o ome region U ab eparaed from R k 1 by a window ab, where in(u ab ) W ab. If U ab i auraed, hen all boundary poin of U ab are in R k, hence in R k+1 and V k+1 (). If U ab i unauraed, hen in(u ab ) i viible from a egmen c R k 1 decribed in propery (iii). Since v R k, verex v i inciden o he edge of P ha conain c. In hi cae, however, here i a diffue reflecion pah from c o v wih one reflecion, and a c R k 1 V k 1 (), hen v V k+1 (), a deired. We argue ha ( ) hold for all k N. Lemma 1 hold when P, bu ome of he propoiion in Secion 4 require adjumen. Propoiion 3 (i.e., µ 0 3) i replaced by he following: Propoiion 12. If P, hen R 0 = V 0 () weakly cover a lea one edge of P, and R 1 weakly cover a lea min(n, 4) edge of P. Proof. A argued in he proof of Propoiion 3, he boundary of R 0 = V 0 () conain line egmen from a lea hree edge of P. Hence cl(r 0 ) weakly cover a lea hree edge of P. However, canno ee any poin in he edge of P ha conain. A mo wo edge of P conain, hence V 0 () weakly cover a lea one edge of P. All inerior poin of he edge of R 0 can be reached from afer one diffue reflecion. Hence he region R 1 cover a lea hree edge of P ha are weakly covered by cl(r 0 ). Thi complee he proof for n = 3. If n 4, hen eiher cl(r 0 ) = P and o R 1 weakly cover all edge of P, or R 0 ha a window and R 1 cover a lea one edge behind he window by Lemma 1(1). By Propoiion 12, inequaliy ( ) hold in he iniial cae k = 1, i.e., µ 1 4. In hi ecion, we conider a region R k criical if µ k = 2k + 2 and µ k < n. Condiion (A) and (B) can now be adaped verbaim. Propoiion 4 and 5 are replaced by a ingle claim abou R 1 : Propoiion 13. If R 1 i criical, hen R 1 aifie (A). Proof. If R 1 i criical, hen cl(r 1 ) P, and o R 0 and R 1 each have a lea one window. Recall ha cl(r 0 ) weakly cover a lea hree edge of P, and R 1 weakly cover a lea one addiional edge of P ha i no weakly covered by cl(r 0 ). Since R 1 i criical, we have µ 1 = 4, hence cl(r 0 ) 13

14 weakly cover preciely hree edge of P, and R 1 weakly cover preciely one addiional edge ad. By Lemma 1, R 0 ha a unique unauraed window, ay ab. Refer o Fig. 8. Becaue he window of R 0 i unauraed, R 1 = cl(r 0 ) W ab, where W ab = V 0 (c) U ab for a egmen c decribed in propery (iii) lying in he relaive inerior of ome edge e of P. Since he region R 1 weakly cover only one new edge no weakly covered by cl(r 0 ), he upporing line of e inerec ad a ome poin β. Denoe by α he endpoin of e ha lie in he egmen bβ. Oberve ha W ab = (abβ)\bβ, and all window of R 1 are conained in αβ, which i collinear wih e. Every chord of P ha croe αβ ha an endpoin in eiher he relaive inerior of aβ or in cl(r 0 ) \ {e}, which are conained in R 1. A deired, all window of R 1 are auraed and R 1 aifie (A). Afer replacing ( ) wih ( ) and uing he new definiion of criical region, Propoiion 6, 7, 8, and 9, a well a Lemma 2, go hrough, howing ha ( ) i mainained for all k N. We are now ready o prove Theorem 2. V 0 () V 0 () V 0 () V 2 () V 3 () V 9 () Figure 8: Simple polygon wih n = 6, 8, and 18 verice, where every diffue reflecion pah beween and ha a lea n/2 urn. Top row: he region V 0 (). Boom row: he region V n/2 1 (), which conain he inerior in(p ), and all poin on he boundary P excep for a line egmen inciden o. Theorem 2. We have D(3) = 2 and D(n) = n/2 for every ineger n 4. Proof. I i eaily verified ha D(3) = 2 (ee Fig. 7). We how ha in every imple polygon P wih n 4 verice, here exi a diffue reflecion pah wih a mo n/2 reflecion beween any wo poin, P. Theorem 1 implie ha i i enough o prove P V k () for every P and k n/2. By ( ), R n/2 1 weakly cover all edge of P. I follow ha region R n/2 1 doe no have any window, and o in(p ) R n/2 1. Suppoe fir ha n i even. Then in(p ) R n/2 1 combined wih Propoiion 11 yield P = V n/2 (), hence P = V n/2 (), a required. Suppoe now ha n i odd and n = 2l + 1 for ome l > 1. By ( ), R l 1 weakly cover a lea 2l = n 1 edge of P. If R l 1 weakly cover all 14

15 edge of P, hen P = V l () = V n/2 () by Propoiion 11. Oherwie R l 1 weakly cover exacly n 1 edge of P. Conequenly, R l 1 i criical, and we have λ l 1 = 1 by Lemma 1(1). By Lemma 2(2), R l 1 ha a auraed window ab. In hi cae, eiher U ab = ab or U ab i a riangle adjacen o ab. Hence U ab V 0 (ab), and o P = R l = R n/2 V n/2 (), a claimed. The maching lower bound D(n) n/2 for n 4 follow from a family conrucion. For every n 4, here i a imple polygon P n wih n verice, including, P n, uch ha every diffue reflecion pah beween and ha n/2 reflecion. For odd n, n 5, he polygon P n i obained by ubdividing an arbirary edge of P n 1. The polygon P 4 i a nonconvex quadrilaeral, where and are wo oppoie convex corner (Fig. 7). Polygon P 6 i depiced in Fig. 8. For even ineger n 8, he polygon P n i conruced by aaching wo nonconvex quadrilaeral o a zigzag polygon a in Fig Concluion We have hown ha in every imple polygon wih n verice, every poin ligh ource in(p ) can illuminae he inerior of P afer a mo n/2 1 diffue reflecion, and hi bound i he be poible. A poin ligh ource P, eiher in he inerior or boundary of P, can illuminae P afer a mo n/2 diffue reflecion for any n 4, and hi bound i igh. However, he diffue reflecion diameer may be ignificanly maller for a given polygon P (e.g., convex polygon). Several problem relaed o diffue reflecion pah remain open: I here an efficien algorihm for finding he diffue reflecion diameer of a given imple polygon P wih n verice? Combining our reul wih he bound O(n 9 ) on he complexiy of V k () by Aronov e al. [5], we can compue in polynomial ime he minimum k N 0 uch ha P = V k () for any poin P. Bu i i unclear how many poin P would have o be eed o find he maximum. I here an efficien daa rucure for a imple polygon P ha, for a query poin pair, in(p ), would repor a diffue reflecion pah beween and wih he minimum number of reflecion? Arkin e al. [2] deigned a daa rucure for analogou querie for minimum link pah in a imple polygon. Wha i he maximum diffue reflecion diameer of a ar-haped polygon S wih n verice? Even hough every poin of S i viible from ome poin S, i i no clear how a diffue reflecion pah could ake advanage of hi propery. Our lower bound conrucion do no exend o ar-haped polygon. Wha i he maximum diffue reflecion diameer of a imple polygon wih n verice, r of which are reflex? I i clear ha no reflecion i neceary for r = 0, bu he dependence on he parameer r i no clear. Wha i he maximum diffue reflecion diameer of a polygon wih h hole and a oal of n verice? Acknowledgemen We would like o hank all reviewer for helpful commen improving he preenaion of he paper and he MIT-Tuf Reearch Group on Compuaional Geomery for iniial dicuion of he problem. 15

16 Reference [1] M. Aanjaneya, A. Bihnu, S. P. Pal, Direcly viible pair and illuminaion by reflecion in orhogonal polygon, in: Proceeding of 24h European Workhop on Compuaional Geomery, 2008, pp [2] E. Arkin, J. Michell, S. Suri, Logarihmic-ime link pah querie in a imple polygon, Inerna. J. Compu. Geom. Appl. 5 (4) (1995) [3] B. Aronov, A. Davi, T. K. Dey, S. P. Pal, D. C. Praad, Viibiliy wih one reflecion, Dicree & Compuaional Geomery 19 (4) (1998) [4] B. Aronov, A. Davi, T. K. Dey, S. P. Pal, D. C. Praad, Viibiliy wih muliple reflecion, Dicree & Compuaional Geomery 20 (1) (1998) [5] B. Aronov, A. Davi, J. Iacono, A. S. C. Yu, The complexiy of diffue reflecion in a imple polygon, in: J. R. Correa, A. Hevia, M. Kiwi (Ed.), LATIN 2006: Theoreical Informaic, Vol of LNCS, Springer Berlin Heidelberg, 2006, pp [6] T. Aano, S. K. Ghoh, T. Shermer, Viibiliy in he plane, in Handbook of Compuaional Geomery (J.-R. Sack and J. Urruia, ed.), Norh-Holland, Amerdam, 2000, pp [7] S. Brahma, S. P. Pal, D. Sarkar, A linear wor-cae lower bound on he number of hole inide region viible due o muliple diffue reflecion, Journal of Geomery 81 (1 2) (2004) [8] S. K. Ghoh, Viibiliy algorihm in he plane, Cambridge Univ. Pre, 2007, Ch. 7, pp [9] S. K. Ghoh, P. P. Gowami, A. Mahehwari, S. C. Nandy, S. P. Pal, S. Sarvaomananda, Algorihm for compuing diffue reflecion pah in polygon, The Viual Compuer 28 (12) (2012) [10] V. Klee, I every polygon illuminable from ome poin?, American Mahemaical Monhly 76 (1969) 180. [11] A. Mahehwari, J.-R. Sack, H. N. Djidjev, Link diance problem, in: Handbook of Compuaional Geomery, Elevier, 2000, Ch. 12, pp [12] D. C. Praad, S. P. Pal, T. K. Dey, Viibiliy wih muliple diffue reflecion, Compuaional Geomery 10 (3) (1998) [13] S. Suri, A linear ime algorihm for minimum link pah inide a imple polygon, Compu. Viion. Graph. Image Proce. 35 (1986) [14] S. Suri, On ome link diance problem in a imple polygon, IEEE Tran. Robo. Auom. 6 (1990) [15] G. Tokarky, Polygonal room no illuminable from every poin, The American Mahemaical Monhly 102 (10) (1995)