arxiv: v1 [cs.cg] 25 Jun 2012

Transcription

1 A Nw Uppr Bound for th VC-Dimnsion of Visibility Rgions arxi: [cs.cg] 25 Jun 2012 Alxandr Gilbrs Institut of Computr Scinc Unirsity of Bonn Bonn, Grmany May 2, 2014 Abstract Rolf Klin Institut of Computr Scinc Unirsity of Bonn Bonn, Grmany In this papr w ar proing th following fact. Lt P b an arbitrary simpl polygon, and lt S b an arbitrary st of 15 points insid P. Thn thr xists a subst T of S that is not isually discrnibl, that is, T is() S holds for th isibility rgions is() of all points in P. In othr words, th VC-dimnsion d of isibility rgions in a simpl polygon cannot xcd 14. Sinc Valtr [15] prod in 1998 that d [6, 23] holds, no progrss has bn mad on this bound. By ɛ-nt thorms our rduction immdiatly implis a smallr uppr bound to th numbr of guards ndd to cor P. 1 Introduction Visibility is among th cntral issus in computational gomtry, s,. g., Asano t al. [2], Ghosh [3] and Urrutia [14]. Many problms inol isibility insid simpl polygons, among thm th famous art gallry problm: Gin a simpl polygon P, find a minimum st of guards whos isibility rgions togthr cor P ; s O Rourk [13]. In this papr w study a isibility problm that is rlatd to th art gallry problm, and intrsting in its own right. Gin a simpl polygon P and a finit st S of points in P, w call a subst T of S discrnibl if thr xists a point P such that T = is() S holds. In gnral, on cannot An xtndd abstract of this papr appard at SoCG 11 [5]. 1

2 xpct all substs of a gin point st in a gin polygon to b discrnibl. If all substs of a gin point st S ar discrnibl w say that S is shattrd. Lt us call a numbr m ralizabl if thr xists a simpl polygon P, and a st S of m points in P, such that all substs of S ar discrnibl. If m 1 is ralizabl, so is m 1. Th xampl in Figur 1 shows that 4 is ralizabl. P a b c d Figur 1: All substs consisting of lmnts that form a contiguous substring of abcd can b discrnd from th lowr ca of P, all othrs from th lft. Hnc, 4 is ralizabl. Th biggst ralizabl numbr d is calld th VC-dimnsion of isibility rgions in simpl polygons. Valtr [15] showd that d [6, 23], and ths wr th bst bounds on d known until today. In this papr w show that 15 is not ralizabl, which implis d [6, 14]. Thorm 1. For th VC-dimnsion d of isibility rgions in simpl polygons, d 14 holds. Th classic ɛ-nt thorm implis that O(d r log r) many stationary guards with 360 dgr iw ar sufficint to cor P, proidd that ach point in P ss at last an 1/rth part of P s ara. For sufficintly larg r th constant hiddn in O is ry clos to 1; s Kalai and Matoušk [7] and Komlós t al. [11]. Dcrasing th uppr bound on th VC-dimnsion d dirctly lads to mor intrsting uppr bounds on th numbr of guards. For a txtbook tratmnt of VC-dimnsion w rfr th radr to Matoušk [12]. 2 Rlatd Work Th VC-dimnsion of rang spacs of isibility rgions was first considrd by Kalai and Matoušk [7]. Thy showd that th VC-dimnsion of isibility 2

3 rgions of a simply connctd gallry (i.. a compact st in th plan) is finit. In thir proof thy start with assuming that a larg st (of siz about ) of points A insid a gallry is shattrd by th isibility rgions of th points of a st B. Thy thn dri a configuration as in Figur 2. Hr, points a and b should not s ach othr but th sgmnt ab is ncircld by isibility sgmnts, a contradiction. This kind of argumnt plays an important rol in our proof of th nw bound. Thy also ga an xampl a b a b a b Figur 2: Sgmnt ab is ncircld by isibility sgmnts. of a gallry with VC-dimnsion 5. Furthrmor, thy showd that thr is no constant that bounds th VC-dimnsion if th gallry has got hols. For simpl polygons, Valtr [15] ga an xampl of a gallry with VC-dimnsion 6 and prod an uppr bound of 23 by subdiiding th gallry into clls and bounding th numbr of substs that can b sn from within on cll. In th sam papr h showd an uppr bound for th VC-dimnsion of a gallry with hols of O(log h) whr h is th numbr of hols. Sinc thn thr has bn no progrss on ths gnral bounds. Howr, som ariations of th original problm ha bn considrd. Islr t al. [6] xamind th cas of xtrior isibility. In this stting th points of S li on th boundary of a polygon P and th rangs ar sts of th form is() whr is a point outsid th conx hull of P. Thy showd that th VCdimnsion is 5. Th rsult can also b sn as a statmnt about wdgs, as w will s latr. Thy also considrd a mor rstrictd rsion of xtrior isibility whr th iw points all must li on a circl around P, with VC-dimnsion 2. For a 3-dimnsional rsion of xtrior isibility with S on th boundary of a polyhdron Q thy found that th VC-dimnsion is in O(log n) as n is th numbr of rtics of Q. King [8] xamind th VCdimnsion of isibility rgions on polygonal trrains. For 1.5-dimnsional 3

4 trrains h prod that th VC-dimnsion quals 4 and on 2.5-dimnsional trrains thr is no constant bound. In [4] w considrd th original stting and showd uppr bounds of 13 for th numbr of points on th boundary and 15 for th numbr of points in conx position that can b shattrd by intrior isibility rgions. Without using th ε-nt thorm, Kirkpatrick [10] obtaind a 64 r log log r uppr bound to th numbr of boundary guards ndd to cor th boundary of P. This raiss th qustion if th factor log r in th O(d r log r) bound for ɛ-nts in othr gomtric rang spacs can b lowrd to log log r as wll, as was shown to b tru by Arono t al. [1] for spcial cass; s also King and Kirkpatrick [9]. 3 Proof Tchniqu Thorm 1 will b pron by contradiction. Throughout Sctions 3 and 4, w shall assum that thr xists a simpl polygon P containing a st S of 15 points ach of whos substs is discrnibl. That is, for ach T S thr is a iw point T in P such that T = is( T ) S (1) holds, whr, as usual, is() = {x P ; x P } dnots th isibility domain of a point in th (closd) st P. W may assum that th points in S and th iw points T ar in gnral position, by th following argumnt. If p / T, thn sgmnt T p is proprly crossd by th boundary of P, that is, th sgmnt and th complmnt of P ha an intrior point in common. On th othr hand, a isibility sgmnt U q, whr q U, can b touchd by th boundary of P, bcaus this dos just not block isibility. By finitly many, arbitrarily small local nlargmnts of P w can rmo ths touching boundary parts from th isibility sgmnts without losing any propr crossing of a non-isibility sgmnt. Aftrwards, all points and iw points can b prturbd in small disks. Proprty 1 can b rwrittn as T = {p S; T is(p)} (2) This mans, if w form th arrangmnt Z of all isibility rgions is(p), whr p S, thn for ach T S thr is a cll (containing th iw point T ) which is containd in xactly th isibility rgions of th points in T. 4

5 To obtain a contradiction, on would lik to argu that th numbr of clls in arrangmnt Z is smallr than 2 15, th numbr of substs of S. But as w do not ha an uppr bound on th numbr of rtics of P, th complxity of Z cannot b boundd from abo. For this rason w shall rplac complx isibility rgions with simpl wdgs; for wdg arrangmnts, a good uppr complxity bound xists; s Thorm 2 blow. To illustrat this tchniqu, lt a b a point of S. W assum that thr ar 1. points b 1, b 2 of S, 2. a iw point that ss b 1 and b 2, but not a, such that 3. a is containd in th triangl dfind by {, b 1, b 2 }; s Figur 3 (i). W dnot by U th wdg containing formd by th lins through a and b 1 and b 2, rspctily. Any iw point w that ss b 1 and b 2 b 2 w b 2 U U a a (i) b 1 (ii) b 1 b 2 b 2 U U W w 1 w 2 a W w 1 w 2 a (iii) b 1 (i) b 1 Figur 3: Solid lins connct points that ar mutually isibl; such isibility sgmnts ar containd in polygon P. Dashd styl indicats that th lin of ision is blockd; ths sgmnts ar crossd by th boundary of P. must b containd in wdg U. Othrwis, th chain of isibility sgmnts 5

6 b 1 w b 2 would ncircl th lin sgmnt a conncting and a, prnting th boundary of P from blocking th iw from to a; s Figur 3 (ii). Lt w 1, w 2 dnot th outrmost iw points in U that s a, b 1, b 2 and includ a maximum angl (by assumption, such iw points xist; by th prious rasoning, thy li in U). Thn w 1, w 2 dfin a sub-wdg W of U, as shown in Figur 3 (iii). W claim that in this situation V {b1,b 2 } is(a) = V {b1,b 2 } W (3) holds, whr V {b1,b 2 } dnots th st of all iw points that s at last b 1 and b 2. Indd, ach iw point that ss b 1, b 2 lis in U. If it ss a, too, it must li in W, by dfinition of W. Conrsly, lt b a iw point in W that ss b 1, b 2. Thn lin sgmnt a is ncircld by th isibility sgmnts b 1 w 1 a w 2 b 2, as dpictd in Figur 3 (i). Thus, is(a). Fact 3 can b intrprtd in th following way. W sacrific two of th 15 points of S, namly b 1 and b 2, and rstrict oursls to studying only thos 2 13 iw points V {b1,b 2 } that s both b 1, b 2. As a bnfit, th isibility rgion is(a) bhas lik a wdg whn rstrictd to V {b1,b 2 }. This tchniqu will b applid as follows. In Sction 4 w pro, as a dirct consqunc, that at most 5 points can b situatd insid th conx hull of S. Thn, in Sction 5, w show that at most 9 points can b locatd on th conx hull. Togthr, ths claims imply Thorm 1. 4 Intrior points Th goal of this sction is in proing th following fact. Lmma 1. At most fi points of S can li insid th conx hull of S. Proof. Suppos thr ar at last six intrior points a i in th conx hull, 1 i k. Each of th rmaining points of S is a rtx of th conx hull of S. Lt b 0,... b m 1 an numration of ths points in cyclic ordr. Lt B (whr B = {b 0,..., b m 1 }) b th iw point that ss only ths rtics but no intrior point; s Figur 4. Each intrior point a i is containd in a triangl dfind by { B, b j, b j+1 }, for som j (whr th indics ar takn modulo m). Sinc proprtis mntiond in Sction 3 ar fulfilld, Fact 3 implis that thr xists a wdg W i such that V {bj,b j+1 } is(a i ) = V {bj,b j+1 } W i holds. If V B dnots th st of iw points that s at last th points of B, w obtain V B is(a i ) = V B W i for i = 1,..., 6, 6

7 b j B a i b j+1 Figur 4: Each intrior point a i is containd in som triangl dfind by { B, b j, b j+1 }. which implis th following. For ach subst T of A = {a 1,..., a 6 } th iw point T B lis in xactly thos wdgs W i whr a i T. But th arrangmnt of six or mor wdgs dos not contain that many combinatorially diffrnt clls, as an argumnt by Islr t al. [6] shows; s Thorm 2. Thus, th conx hull of S cannot contain six intrior points. Thrfor, at last 10 points of S must b rtics of th conx hull of S. Thorm 2. (Islr t al.) For any arrangmnt of six or mor wdgs, thr is a subst T of wdgs for which no cll xists that is containd in xactly th wdgs of T. For conninc, w includ a short proof basd on th idas in [6]. Proof. By Eulr s formula, an arrangmnt of n wdgs has n + k + 1 many clls, whr k dnots th numbr of half-lin intrsctions. Sinc two wdgs intrsct in at most 4 points in which cas thy ar said to cross ach othr w ha k 4 ( n 2). Thus, an arrangmnt of 6 wdgs has at most 67 clls. W ar going to proid an accounting argumnt which shows that for ach wdg on cll is missing from a maximum siz arrangmnt (du to a shortag of intrsctions), or on of th xisting clls is rdundant (bcaus it stabs th sam subst of wdgs as som othr cll dos). This will imply that at most 67 6 = 61 many of all 2 6 = 64 diffrnt substs can b stabbd by a cll, thus proing th thorm. Lt W b a wdg that is crossd by all othr wdgs, as shown in Figur 5 (i). Sinc th two shadd clls at th apx of W and at infinity ar 7

8 both stabbing th subst {W }, w can writ off on cll of th arrangmnt as rdundant, and xclud W from furthr considration. Th rmaining m wdgs ar usd as th rtics of a graph G. Two rtics ar connctd by an dg if thir wdgs do not cross. For ach dg of G thr is on cll lss in th arrangmnt, as (at last) on of four possibl intrsction points is missing. By construction, ach rtx of G has dgr at last 1. Suppos that rtx W is of dgr 1, and lt W dnot th adjacnt rtx in G. If W and W ha at most two of four possibl intrsctions, n two clls ar missing from th arrangmnt. If W and W intrsct in thr points, thr is a rdundant cll in W, in addition to th missing on; s Figur 5 (ii). In ithr cas, w may doubl th dg conncting W and W, as w obtain two saings from this pair. In th rsulting graph H ach rtx is of dgr at last two. Thus, H contains at last m dgs, ach of which rprsnts a cll that is missing or rdundant. W W (i) (ii) Figur 5: In (i) and (ii), rspctily, th shadd clls ar containd in wdg W only. 5 Points on th boundary of th conx hull Ignoring intrior points, w pro, in this sction, th following fact. Lmma 2. Lt S b a st of 10 points in conx position insid a simpl polygon, P. Thn not all of th substs of S ar discrnibl. Proof. Again, th proof is by contradiction. So lt S b a st of 10 points in conx position insid a simpl polygon P. Assum that ry subst of S is discrnibl. 8

9 First, w numrat th points around th conx hull. 1 Lt E dnot th st of n indxd points. Lt b th iw point that ss xactly th n indxd points. If lis outsid th conx hull, ch(s), of S, w draw th two tangnts from at ch(s). Th points btwn th two tangnt points facing ar calld front points, all othr points ar namd back points of S; s Figur 6. (If ch(s) thn all points of S ar calld back points.) 1 10 f L L S 9 8 f R 5 R 6 7 Figur 6: Front points appar in whit, back points in black. Viw point ss xactly th points of n indx. W ar going to discuss th cas dpictd in Figur 6 first, namly: Cas 1: Thr xists an odd front point. It follows from th dfinition of front points that in this cas lis outsid th conx hull of S. Lt f L and f R b th outrmost lft and right front points with odd indx, as sn from ; and lt L and R dnot thir outr nighbors, as shown in Figur 6. Whil f L = f R is possibl, w always ha L R. Obsr that L and R may b front or back points; this will rquir som cas analysis latr on. Notation. For two points a, b, lt H + (a, b) dnot th opn half-plan to th lft of th ray L(a, b) from a through b, and H (a, b) th opn halfplan to its right. Claim 1. Each iw point that ss L and R lis in H ( L, f L ) H (f R, R ). Proof. If wr containd in H + ( L, f L ) thn th chain of isibility sgmnts 1 Th dgs of th conx hull of S may intrsct th boundary of P. 9

10 H ( L, f L ) L L L L R d f L f R S L R f L f R S R (i) R R (ii) Figur 7: (i) As sgmnt f L must b intrsctd by th boundary of P, it cannot b ncircld by isibility sgmnts. (ii) Dfining substs L and R of S. L R L would ncircl th sgmnt f L a contradiction, bcaus dos not s th odd indxd point f L ; s Figur 7 (i). W now dfin two substs L and R of S that will b crucial in our proof. Dfinition 1. (i) Lt L := S\{fL } and R := S\{fR } dnot th iw points that s all of S xcpt f L or f R, rspctily. (ii) Lt L := S H + ( L, f L ) and R := S H ( R, f R ). By Claim 1, th points of S containd in th triangl ( R, L, ) ar front points with rspct to R, L, too; s Figur 7. Claim 2. Non of th sts L, R, S \ (L R) ar mpty. Th sts L and R ar disjoint. Proof. By construction, w ha L L, R R, and f L, f R L R. If L = R thn L R =, obiously. Othrwis, thr is at last on n indxd point,, btwn f L and f R on ch(s). Assum that thr xists a point q of S in th intrsction of L and R. Thn sgmnt R f R would b ncircld by th isibility chain q R L q, contradicting th fact that R ss ry point but f R ; s Figur 8. Th purpos of th sts L and R will now bcom clar: Thy contain points lik b 1, b 2 in Sction 3, that hlp us rduc isibility rgions to wdgs. 10

11 L L f L S f R q R R Figur 8: L and R ar disjoint. Th prcis proprty will b statd for R in Lmma 3; a symmtric proprty holds for L. Th proof of Lmma 3 will b postpond. First, w shall dri a conclusion in Lmma 4, and us it in complting th proof of Lmma 2 in Cas 1. Lmma 3. Thr xist points r 1, r 2 in R such that th following holds ithr for Q = is(r 1 ) is(r 2 ) or for Q = is(r 1 ) c is(r 2 ). For ach p S diffrnt from r 1, r 2, ach iw point that (i) ss p, (ii) lis in Q, and (iii) ss at last on point of L, is containd in th half-plan H (p, r 2 ). Hr, D c dnots th complmnt of a st D. A symmtric lmma holds for points l 1, l 2 L, a st Q {is(l 1 ) is(l 2 ), is(l 1 ) c is(l 2 )} and th half-plan H (l 2, p). Adding up ths facts yilds th following. Lmma 4. Lt p S \ {l 1, l 2, r 1, r 2 }. Thn ach iw point in Q Q that ss p lis in th wdg U p = H (p, r 2 ) H (l 2, p). Now w can procd as in Sction 3; s Figur 3 (iii) and (i). Within wdg U p w find a sub-wdg W p satisfying Q Q is(p) = Q Q W p, (4) with th sam argumnts that ld to Fact 3, rplacing (a, b 1, b 2 ) with (p, r 2, l 2 ). Sinc mmbrship in Q, Q only prscribs th isibility of {l 1, l 2, r 1, r 2 }, Fact 4 implis th following. For ach subst T S \ {l 1, l 2, r 1, r 2 } thr xists a cll in th arrangmnt of th rmaining six wdgs W p, whr p S \ {l 1, l 2, r 1, r 2 }, that is containd in prcisly th wdgs rlatd to T. As in Sction 4, this contradicts Thorm 2 and pros Lmma 2 in Cas 1. 11

12 It rmains to show how to find r 1, r 2 and Q in Lmma 3. Proof. (of Lmma 3) Bfor starting a cas analysis dpnding on proprtis of R and R w list som hlpful facts. Claim 3. If a iw point ss a point r R and a point s / R {f R } thn H (s, r). A symmtric claim holds for L. Proof. Othrwis, R f R would b ncircld by r s R r, sinc f R lis in th triangl dfind by ( R, r, s); s Figur 9 (i). L s L l L f L S L H + (f R, r) S 2 R f R (i) R r H + (s, r) R f R (ii) R r Figur 9: Illustration to Claims 3 and 4. Th nxt fact narrows th locus from which two points, on from L and R ach, ar isibl. Claim 4. If a iw point ss points r R and l L thn lis in th wdg H (f R, r) H (l, f L ), and on th sam sid of L(r, l) as R and L do. Proof. If H + (f R, r), or if wr situatd on th opposit sid of L(r, l), thn R f R would b ncircld by r l R r; s points = 1 and = 2 in Figur 9 (ii). 12

13 Now w start on th cas analysis. In ach cas, w nd to dfin r 1, r 2 R and a st Q = is(r 1 ) is(r 2 ) or Q = is(r 1 ) c is(r 2 ). Thn w must pro that th following assrtion of Lmma 3 holds. Assrtion If p S is diffrnt from r 1, r 2, and if Q is a iw point that ss p and som point l L, thn H (p, r 2 ). Cas 1a: Point st R contains at most two points. W dfin {r 1, r 2 } := R and lt Q := is(r 1 ) is(r 2 ). Lt p and b as in th Assrtion. If p f R thn Claim 3 implis H (p, r 2 ). If p = f R w obtain H (p, r 2 ) by th first statmnt in Claim 4. l l R L f L f R L R L f L f R L R s b R p R s b R p (i) (ii) l L L f L R f R R c s b R p (iii) Figur 10: Illustrations of Cas 1b. Cas 1b: Point st R contains mor than two points, and R is tangnt 13

14 point of ch(s) as sn from ; compar Figur 6. W st r 1 := R and lt r 2 b th odd indxd back point b R countrclockwis nxt to R. Moror, Q := is(r 1 ) is(r 2 ). For ach p / R th proof of Cas 1a applis. Lt p R b diffrnt from r 1, r 2. Assum, by way of contradiction, that H + (p, r 2 ) holds. Sinc th scond statmnt of Claim 4 implis H (l, R ) H (l, p) H (l, b R ), w obtain H (l, b R ) H + (p, b R ); s Figur 10. Now w discuss th location of iw point R. If it lis in th wdg H + ( R, ) H + (, p) thn sgmnt s := b R is ncircld by R R p R ; s Figur 10 (i). If R dos not li in this wdg, lt b th countrclockwis nighbor of b R in R. If R lis on th sam sid of L(, ) as p, thn R R p R protcts sgmnt s; s (ii). If it lis on th opposit sid, thn intrscts R p at som point c, and R c p R ncircls sgmnt s; s (iii). In ithr situation, w obtain a contradiction. Bfor continuing th cas analysis w pro a simpl fact. Lmma 5. Lt a, b, c dnot th rtics of a triangl, in countrclockwis ordr. Suppos thr xists a iw point w in H + (b, a) H (c, b) that ss a and c. Thn, ach iw point H + (b, a) that ss a and c but not b lis in H (c, b). Proof. Othrwis, sgmnt b would b ncircld by c a w c; s Figur 11. c a b w Figur 11: Proof of Lmma 5 Cas 1c: Point st R contains mor than two points, and th countrclockwis nighbor, b R, of R, is tangnt point as sn from. Lt dnot th countrclockwis nighbor of b R, and lt w R := S\{R } dnot th iw 14

15 point that ss all of S xcpt R. W considr thr subcass, dpnding on th location of w R. (1ci) If w R H (b R, R ), w st (r 1, r 2, Q) := ( R, b R, is( R ) c is(b R )). To pro th Assrtion, lt p R, b R, and lt b a iw point that ss p, b R, l but not R, for som l L. As both w R and s l L and b R R, Claim 4 implis w R, H (f R, b R ) H (l, f L ) H + ( R, l). Th lattr inclusion allows us to apply Lmma 5 to (a, b, c, w) = (l, R, b R, w R ), which yilds H (b R, R ). Now H (p, b R ) follows; s Figur 12 (i). w R f L l f R p w R f R p R R b R b R (i) (ii) L l w f L w R f R R p (iii) b R Figur 12: Illustrations of Cas 1c. (1cii) If w R H + (b R, R ), and if b R and ar situatd on opposit sids of L(w R, R ), w st (r 1, r 2, Q) := ( R, b R, is( R ) is(b R )). All points of S := S \{ R, b R } li on th sam sid of L(w R, R ) as. A iw point that ss som point p S and b R must b in H (p, b R ). Othrwis, w R R would b ncircld by b R w R p b R ; s Figur 12 (ii). (1ciii) If w R H + (b R, R ), and if b R and ar situatd on th sam sid of L(w R, R ), w st (r 1, r 2, Q) := (b R,, is(b R ) c is()). 15

16 Clarly, w R H + (, R ). Each iw point w that ss and som l L in particular point of th Assrtion must li in H ( R, ), or w R R would b nclosd by w R l w w R ; s Figur 12 (iii) (obsr that w must b containd in H (f R, ) H (l, f L ) H + (, l), by Claim 4, as dpictd in th figur). Lt x dnot th iw point that ss xactly R,, L, l. By Claim 4, x H + ( R, L ) H + (, L ) H + (b R, L ). W fil for latr us that x H + (b R, l) holds, for th sam rason. Sinc b R is tangnt point from, w ha H (, b R ). Thus, w can apply Lmma 5 to (a, b, c, w) = ( L, b R,, ) and obtain x H (, b R ). W ha just shown that x H + (b R, l) H (, b R ) holds. Moror, Claim 4 implis H (f R, ) H (l, f L ) H + (b R, l) sinc ss l and. Sinc dos not s b R w can apply Lmma 5 to (a, b, c, w) = (l, b R,, x) and obtain H (, b R ). Togthr with th first finding in (1ciii), this implis H ( R, ) H (, b R ) H (p, ) for all p b R,. This complts th proof of Lmma 2 in Cas 1. Now w discuss th scond cas of Lmma 2, thrby complting its proof. This also complts th proof of our main rsult, Thorm 1. Cas 2: Thr is no odd front point. In this situation, iw point ithr lis insid ch(s), so that no front point xists, or lis outsid ch(s), and at most on front point is isibl from btwn th two tangnt points on ch(s); if so, its indx is n. Indpndntly of th position of, w introduc som notation. Lt S dnot th point that ss all points in S. Th lin G through and S diids S into two substs, L and R (not to b confusd with L and R in cas 1), on of which may possibly b mpty. W cut G at, and rotat th half-lin passing through S or L; s Figur 13. Th first and th last odd indxd points of L ncountrd during this rotational swp ar namd l 1 and l 2, rspctily. Similarly, r 1 and r 2 ar dfind in R. W obsr that,. g., l 1 and l 2 nd not xist, or that l 1 = l 2 may hold; ths cass will b takn car of in th subsqunt analysis. Also, th halflin rotating about may cut through S in its start position, dpnding on th position of S. This is of no concrn for our proof, which is litrally th sam for ithr situation. Lmma 6. If thr ar odd-indxd points in both L and R, thn xactly on point lis btwn l 1 and r 1 on th boundary of th conx hull of S. 16

17 S S 1 l 1 G l 1 G r 1 L R L R l 2 2 r 2 Figur 13: Th half-lin is rotatd about or L. Th first odd point ncountrd is namd l 1, th last on l 2. This point has n indx and will b calld 1. Similarly, thr is xactly on n-indxd point btwn l 2 and r 2, calld 2. Proof. If thr was mor than on point on ch(s) btwn l 1 and r 1, on of thm would ha an odd indx. Lt w.l.o.g o li on th sam sid of L(, S ) as l 1. Bing odd, l 1 and o must b back points, sinc no odd front points xist in Cas 2. As th ordr in which back points of L ar ncountrd by th rotating rays coincids with thir ordr on th boundary of th conx hull, o would ha to b hit by th rotating ray bfor l 1, contradicting th dfinition of l 1. Th sam argumnt applis to l 2 and r 2. W will dal with a somwhat spcial subcas first. Cas 2A: Both of th following proprtis hold. 1. On of L, R contains xactly on point of S; its indx is odd. 2. Point 1 is a front point with rspct to. In this cas, must li outsid ch(s), and 1 is th only front point with rspct to, so that l 1 and r 1 ar tangnt points, as sn from. Moror, lis in th triangl gin by l 1, r 1 and S bcaus othrwis 1 would b a back point. W.l.o.g., lt r 1 b th only point in R, and lt L b situatd to th right of th dirctd lin from S through ; s Figur 14. Thn ry iw point that ss r 1 and som point s of L lis on th sam sid of L(r 1, ) 17

18 S S H + ( B, r 1) H ( B, l 1) E l1 1 r1 l 1 1 r 1 l 1 1 r 1 B s B s B s (i) (ii) Figur 14: Th proof of Cas 2A. (iii) as S dos, or r 1 would b ncircld by r 1 s S r 1. For th sam rason ry iw point that ss r 1 and som point s of L lis on th sam sid of L(s, r 1 ) as S dos, s Figur 14 (i). Also, r 1 dos not s any othr point s S, othrwis r 1 would b ncircld by r 1 s S r 1. Now lt B b th n-indxd nighbour of l 1 that is a back point, and lt us st Q = is( B ) is( 1 ) is(r 1 ) is(l 1 ) c. Nxt, w want to show that ry iw point Q lis in H ( B, l 1 ); s Figur 14 (ii). If this wr wrong, H (r 1, B ) H (r 1, 1 ) H (r 1, l 1 ) would imply H + (l 1, 1 ). Sinc obiously lis in H + (l 1, 1 ) H ( B, l 1 ), w could apply Lmma 5 to (a, b, c, w) = ( 1, l 1, B, ), and obtain H ( B, l 1 ) a contradiction. Now lt us assum that, in addition to bing in Q, iw point ss a point s S \ {l 1, r 1, 1, B }. As lis in H (r 1, B ), it follows that H (s, B ) H (r 1, B ) H ( B, l 1 ), s (iii). On th othr hand, also lis in H (r 1, s) as alrady shown. Summarizing, w ha obtaind a rsult analogous to Lmma 4. Lmma 7. Lt s S \ {l 1, r 1, 1, B }. Thn ach iw point in Q that ss s lis in th wdg U s = H (s, B ) H (r 1, s). Now th proof of Cas 2A is compltd by xactly th sam argumnts usd subsquntly to Lmma 4 in Sction 5. If on of th proprtis of Cas 2A is iolatd, w obtain th following, by logical ngation. Cas 2B: At last on of th following proprtis holds. 18

19 1. Non of L, R is a singlton st containing an odd indxd point. 2. Point 1 is a back point, as sn from. Othr than in th prious cass, w will now rduc isibility rgions to half-plans, rathr than to wdgs. W will show th xistnc of thr points, p 1, p 2, p 3 in S, and of a halfplan H i for ach, such that th following holds. Lt Q dnot th st of iw points that s at last S \ {p 1, p 2, p 3 }. Thn, for ach Q : for ach i = 1, 2, 3 : ss p i H i. (5) Proprty 5 lads to a contradiction, du to th following analogon of Thorm 2. Lmma 8. For any arrangmnt of thr (or mor) half-plans, thr is a subst T of half-plans for which no cll is containd in xactly th halfplans of T. Proof. With thr half-plans, w ha ight substs, but at most sn clls. Whil this fact is asir to pro, and somwhat mor fficint, as w nd only thr points to dri a contradiction, it is hardr to find points fulfilling Proprty 5. This will b our nxt task. Again, w considr points in L and points in R sparatly. Lt us discuss th situation for L. W start by dfining two points, l 1 and. Suppos thr is a point with odd indx in R. W st l 1 = l 1. As w ar in Cas 2B, point 1 situatd btwn l 1 and r 1 is a back point, or thr is som point with n indx in R. In th first cas w st := 1, in th lattr cas w st := ; s Figur 15 (i) and (ii). If thr is no point with odd indx in R thn thr ar fi points with odd indx in L. W thn st l 1 to b th scond point with odd indx that was hit during th rotation of th half-lin from through S. Thn l 1 and l 1 ar distinct back points with rspct to. Btwn l 1 and l 1 on th boundary of th conx hull thr lis xactly on point that has n indx. W st =. In this cas, thr ar thr points with n indx on th conx hull btwn l 1 and l 2. Notic that is a back point with rspct to ; s Figur 15 (iii). In ithr cas th points l 1 and l 2 ha odd indics, and th point has n indx and is ithr a back point with rspct to, or it lis in R. W will now pro th following. 19

20 S S S 1 = 1 r 1 p 6 p 7 = l 1 p 8 = l 1 L R r 1 = r 2 l 1 = l 1 L R p 9 = l 1 p 10 p1 L l 2 2 l 2 2 r 2 p 2 p3 p4 p 5 = l 2 (i) (ii) (iii) Figur 15: (i) If 1 is a back point with rspct to w st = 1. (ii) Othrwis thr is an n indxd point in R w will call. (iii) If thr is no (odd) point in R thn l 1 is th scond odd indxd point and is th (back) point btwn l 1 and l 2. Lmma 9. For all back points p with n indx that li in th wdg gin by th rays from through l 1 and l 2 th following holds. Thr is a halfplan H p such that ry iw point that ss l 1 and l 2 ss p if and only if H p. Th analogu holds if w rplac l 1 and l 2 by r 1 and r 2. Bfor w pro Lmma 9, w first us it to dri th following consqunc. As xplaind bfor, it proids us with a contradiction, thus proing Cas 2B of Lmma 2 and complting all proofs. Lmma 10. Thr ar thr points p 1, p 2, p 3 S and half-plans H 1, H 2, H 3 that satisfy Proprty 5. Proof. If thr ar odd points in both L and R, thn thr is xactly on n point btwn l 1 and r 1 and on n point btwn l 2 and r 2 and all othr n points li btwn th rays from through l 1 and l 2 and through r 1 and r 2, rspctily. By Lmma 9, w gt that th rmaining thr n-indxd points ha th dsird proprty. If thr is no odd point in R or in L, thn thr ar four n-indxd points btwn l 1 and l 2 or btwn r 1 and r 2 and thrfor thr ar thr points with th dsird proprty btwn l 1 and l 2 or btwn r 1 and r 2. Proof. To pro Lmma 9 lt S b a point with n indx that lis btwn l 1 and l 2. Points and S li on opposit sids of L(l 1, ), by th dfinition of l 1. 20

21 S S S l 1 l 1 l 1 c l 2 l 2 l 2 (i) (ii) (iii) Figur 16: (i) l 1 cannot li btwn th rays L(, S) and L(, ). (ii) l 1 and l 2 can not li on th sam sid of L(, S ). (iii) So thr must b an intrsction btwn and l 2 S. Claim 5. In this situation th sgmnts and l 2 S intrsct in a point c. Proof. Th sgmnt l 2 S intrscts th lin L(, ) by dfinition of l 2. It rmains to show that l 2 dos nithr li on th sid of L( S, ) opposit to nor on th sid of L( S, ) opposit to. As l 2 and both blong to L, th first assrtion follows. For th scond on, notic that l 1 cannot li on th sam sid of L(, S ) as dos bcaus othrwis l 1 would b ncircld by S, s Figur 16 (i). But l 1 and l 2 cannot both li on th sid of L(, S ) opposit to : Bcaus l 1, l 2, ar backpoints,, l 1, and l 2 ar th cornrs of a conx quadrilatral. If l 1 and l 2 li on th sam sid of a lin through, this lin must b a tangnt to this quadrilatral and thrfor l 1, l 2 and would ha to li on th sam sid of this lin, s (ii). So th sgmnt crosss l 2 S in a point c. Now it follows that ry iw point that ss l 1 and l 2 lis on th sam sid of L(l 1, ) as S dos, bcaus othrwis th sgmnt l 1 would b ncircld by c l 2 l 1 S, s Figur 17 (i). It also follows that ry iw point that ss l 1, l 2 and has to li on th sam sid of L(, l 1 ) as S dos, bcaus othrwis l 1 would b ncircld by S l 1, s Figur 17 (ii). Claim 6. Ery iw point that ss l 1 and l 2 lis on th sam sid of L(, ) as S dos. 21

22 S S S c l 1 l 1 l 1 (i) l 2 (ii) l 2 (iii) l 2 Figur 17: (i) and S must li on th sam sid of L(l 1, ). (ii) and S must li on th sam sid of L(, l 1 ). (iii) and S must li on th sam sid of L(, ). Proof. Assum and S lay on opposit sids of L(, ). W alrady showd that must li on th sam sid of L(l 1, ) as S dos. So l 2 would b ncircld by l 2 l 1 S l 2, s Figur 17 (iii). Lmma 11. All iw points that s {l 1, l 2, } li in th wdg W gin by th two rays originating in and going through l 1 and l 2, rspctily Proof. W just showd that all such iw points li in th wdg W gin by th two rays originating in and going through and l 1, rspctily. As W is a subst of W, th lmma follows. 2 1 S 1 l 1 S 2 E l2 2 1 S c l 1 l 2 l 1 l 2 (i) (ii) (iii) Figur 18: (i) W rotat th rays through l 1 and l 2 until thy ncountr 1 and 2. (ii) Th ara btwn L(, ) and L(, 2 ). (iii) No point that lis in this ara ss l 1 and l 2 but not. 22

23 Lt us now rotat th ray with origin through l 2 or th wdg W, towards l 1. Lt us dnot th first iw point w ncountr that ss l 1, l 2 and by 2. Lt us thn rotat th ray with origin through l 1 or th wdg W, towards l 2. Lt us dnot th first iw point w ncountr this tim that ss l 1, l 2 and by 1, s Figur 18 (i). W now obtain th two following facts. Claim 7. All iw points that s l 1, l 2 and li in th wdg originating in and going through 1 and 2. Proof. By Lmma 11 w know that all such points li btwn l 1 and l 2. By construction of 1 and 2 thr is no such point btwn l 1 and 1 or btwn l 2 and 2. Lmma 12. Thr is no iw point on th sid of L(, 2 ) opposit to S that ss l 1 and l 2 but not. Proof. By Claim 6, all iw points that s l 1 and l 2 li on th sam sid of L(, ) as S dos. As 2 also lis on this sid of th lin and moror insid th wdg btwn th rays from through and S, rspctily, it follows, that a point that ss l 1 and l 2 and that lis on th sid of L(, 2 ) opposit to S must li in th wdg gin by th rays from through and 2, which in turn is containd in th wdg btwn th rays from through and S, s Figur 18 (ii). Now assum thr was a iw point in this wdg, that saw l 1 and l 2 but not. If w tak c to b th intrsction of and l 2 S, thn th sgmnt would b ncircld by c l 2 l 1 S, s Figur 18 (iii). Now w ar abl to complt th proof of Lmma 9. W dfin H to b th closd halfplan to th sid of th lin through and 1 in which 2 lis. By Claim 7 all iw points that s l 1, l 2 and li in H. Assum now thr was a iw point in H that ss l 1 and l 2 but not. By Lmma 12 and th assumption that lis in H, it follows that thn must li in th wdg with origin and rays through 1 and 2. This again lads to a contradiction bcaus th sgmnt thn would b ncircld by 1 l 1 l 2 2. So a iw point that ss l 1 and l 2 ss if and only if H. Now all proofs ar complt. 23

24 6 Conclusions In his classical proof in [12], Matoušk usd a particular typ of nclosing cycl of lngth 4 to show that th VC-dimnsion of isibility rgions in simpl polygons is finit (obtaining a bound in th thousands). Valtr [15] was abl to pro an uppr bound of 23 by combining nclosing chain argumnts with a cll dcomposition tchniqu. Our proof yilds an uppr bound of 14, using nclosing cycls of lngth 6. Th natural qustion is if bttr bounds can b obtaind by considring n mor complx nclosing configurations, and if thr is a systmatic way to approach this problm. On would xpct that th tru alu of th VC-dimnsion is closr to 6 than to Acknowldgmnt Th scond author would lik to thank Boris Arono and Daid Kirkpatrick for intrsting discussions. W would also lik to thank th anonymous rfrs who carfully rad th SoCG 11 rsion of this papr. Rfrncs [1] Boris Arono, Esthr Ezra, and Micha Sharir. Small-siz ε-nts for axis-paralll rctangls and boxs. SIAM J. Comput., 39(7): , [2] Ttsuo Asano, Subis K. Ghosh, and Thomas C. Shrmr. Visibility in th plan. In Jörg-Rüdigr Sack and Jorg Urrutia, ditors, Handbook of Computational Gomtry, pags Elsir Scinc Publishrs B.V. North-Holland, Amstrdam, [3] Subir Ghosh. Visibility Algorithms in th Plan. Cambridg Unirsity Prss, Nw York, NY, USA, [4] Alxandr Gilbrs and Rolf Klin. Nw rsults on isibility in simpl polygons. In Procdings of th 11th Intrnational Symposium on Algorithms and Data Structurs, WADS 09, pags , [5] Alxandr Gilbrs and Rolf Klin. A nw uppr bound for th cdimnsion of isibility rgions. In Procdings of th 27th Symposium on Computational Gomtry, SoCG 11, pags ,

25 [6] Volkan Islr, Sampath Kannan, Kostas Daniilidis, and Pal Valtr. Vcdimnsion of xtrior isibility. IEEE Trans. Pattrn Anal. Mach. Intll., 26(5): , [7] Gil Kalai and Jiri Matousk. Guarding gallris whr ry point ss a larg ara. Isral Journal of Mathmatics, 101: , [8] Jams King. Vc-dimnsion of isibility on trrains. In Procdings of th 20th Canadian Confrnc on Computational Gomtry, CCCG 08, pags 27 30, [9] Jams King and Daid G. Kirkpatrick. Improd approximation for guarding simpl gallris from th primtr. Discrt & Computational Gomtry, 46(2): , [10] Daid Kirkpatrick. Guarding gallris with no nooks. In Procdings of th 12th Canadian Confrnc on Computational Gomtry, CCCG 00, pags 43 46, [11] János Komlós, János Pach, and Grhard J. Wogingr. Almost tight bounds for psilon-nts. Discrt & Computational Gomtry, 7: , [12] Jiri Matousk. Lcturs on Discrt Gomtry. Springr-Vrlag Nw York, Inc., Scaucus, NJ, USA, [13] Josph O Rourk. Art gallry thorms and algorithms. Oxford Unirsity Prss, Inc., Nw York, NY, USA, [14] Jorg Urrutia. Art gallry and illumination problms. In Handbook of Computational Gomtry, pags North-Holland, [15] Pal Valtr. Guarding gallris whr no point ss a small ara. Isral Journal of Mathmatics, 104:1 16,