_{ij}$ of which some lie outside the union of disks. [Right]{}: The set of pupils with the same position but radii enlarged by $\alpha^*$ as computed by Algorithm \[alg:same\_alpha\]. All vertices of $V_{ij}$ are inside $\mathcal{D}$ and the objective is covered.]{}[]{data-label="fig:alpha_pupils"}](config2p.ps "fig:"){height="1.75cm"}![[: A set of three pupils whose ACS does not cover the objective. The x-marks correspond the vertices of $V_{ij}$ of which some lie outside the union of disks. [Right]{}: The set of pupils with the same position but radii enlarged by $\alpha^*$ as computed by Algorithm \[alg:same\_alpha\]. All vertices of $V_{ij}$ are inside $\mathcal{D}$ and the objective is covered.]{}[]{data-label="fig:alpha_pupils"}](config2d.ps "fig:"){height="3.5cm"}

\[lem:decision\_problem\] $O\subseteq\mathcal{D}$ iff $V_{ij}\subseteq D_{ij}$ for all $i,j=1,\ldots,n$.

First we argue that $O\subseteq\mathcal{D}$ iff $A_{ij}\cap O\subseteq
D_{ij}$ for all $i,j=1,\ldots,n$. Since the set of $A_{ij}$ forms a decomposition of the plane, $A_{ij}\cap O\subseteq D_{ij},
i,j=1,\ldots,n$, implies that $O\subseteq
\bigcup_{i,j=1}^n D_{ij}=\mathcal{D}$. Conversely, suppose that $O\subseteq\mathcal{D}$ and $p\in A_{ij}\cap O$, we will show that $p\in D_{ij}$. Indeed, $p\in O\subseteq \mathcal{D}$ implies $\delta_\mathcal{D}(p)\leq
0$. Together with $p\in A_{ij}$, we conclude $\delta_{ij}(p)=\delta_\mathcal{D}(p)\leq 0$ which implies that $p$ is inside $D_{ij}$.

We show next that $A_{ij}\cap O\subseteq D_{ij}$ is equivalent to $V_{ij}\subseteq D_{ij}$ by proving that a disk $\Delta$ centered at $c_{
_ { ij}$ of which some lie outside the union of disks. [ Right ] { }: The set of schoolchild with the like position but radii enlarge by $ \alpha^*$ as calculate by Algorithm \[alg: same\_alpha\ ]. All vertices of $ V_{ij}$ are inside $ \mathcal{D}$ and the objective is covered.]{}[]{data - label="fig: alpha_pupils"}](config2p.ps " fig:"){height="1.75 cm " }! [ [: A set of three student whose ACS does not cover the objective. The ten - marks correspond the vertex of $ V_{ij}$ of which some lie outside the union of disk. [ Right ] { }: The hardening of pupils with the same position but radii enlarged by $ \alpha^*$ as calculate by Algorithm \[alg: same\_alpha\ ]. All vertices of $ V_{ij}$ are inside $ \mathcal{D}$ and the objective is covered.]{}[]{data - label="fig: alpha_pupils"}](config2d.ps " fig:"){height="3.5 cm " } 

 \[lem: decision\_problem\ ] $ O\subseteq\mathcal{D}$ iff $ V_{ij}\subseteq D_{ij}$ for all $ i, j=1,\ldots, n$. 

 First we argue that $ O\subseteq\mathcal{D}$ iff $ A_{ij}\cap O\subseteq 
 D_{ij}$ for all $ i, j=1,\ldots, n$. Since the bent of $ A_{ij}$ forms a decomposition of the airplane, $ A_{ij}\cap O\subseteq D_{ij }, 
 i, j=1,\ldots, n$, imply that $ O\subseteq 
 \bigcup_{i, j=1}^n D_{ij}=\mathcal{D}$. Conversely, suppose that $ O\subseteq\mathcal{D}$ and $ p\in A_{ij}\cap O$, we will show that $ p\in D_{ij}$. Indeed, $ p\in O\subseteq \mathcal{D}$ implies $ \delta_\mathcal{D}(p)\leq 
 0$. Together with $ p\in A_{ij}$, we conclude $ \delta_{ij}(p)=\delta_\mathcal{D}(p)\leq 0 $ which imply that $ p$ is inside $ D_{ij}$. 

 We show next that $ A_{ij}\cap O\subseteq D_{ij}$ is equivalent to $ V_{ij}\subseteq D_{ij}$ by proving that a disk $ \Delta$ centered at $ c _ {
_{ij}$ lf which some lie outsidt the union of disks. [Rigit]{}: The aet of pjpils with the same position byt raeii enlarged by $\alpha^*$ xs computvd by Algiritim \[alg:same\_alpha\]. Eml vertlees or $V_{ij}$ ere inside $\mathgal{D}$ and tha objective is cuvzred.]{}[]{data-label="fig:alpha_pupils"}](config2p.ps "fig:"){heibhh="1.75cm"}![[: A set of trree [upims whose ACS does not cover the obnective. The x-marks cprrespond the vertices of $G_{ij}$ lf which some lie lutside the unijb of disks. [Rkght]{}: The stt of pupils with the same position but radki enkarged by $\qlpha^*$ ds computed by Ajgorithm \[alg:same\_alphd\]. All vrrtices of $V_{ij}$ arx inwide $\mathcal{D}$ and the objective is coveted.]{}[]{data-labal="yig:alpha_pupils"}](config2d.ps "fig:"){hgight="3.5wm"}

\[leo:eecksikn\_'roglem\] $O\dubaeteq\mathczl{D}$ iff $V_{ij}\wubseteq D_{ij}$ for alk $y,h=1,\ldots,n$.

First se argte that $O\subseteq\mathcal{D}$ iff $A_{ij}\cap O\subvetsq
D_{ij}$ for all $i,j=1,\ldots,n$. Wince the set of $A_{ij}$ vorms a dqcomposition of the plane, $A_{ij}\cap O\subseteq D_{ij},
i,j=1,\lgots,n$, kmpoics tfqt $O\subseteq
\bigcup_{i,j=1}^n D_{ij}=\mathcal{D}$. Conversely, su[loxe that $O\subsetez\mathcal{D}$ amd $p\og A_{ij}\cap O$, we will shos that $p\in D_{ij}$. Indfed, $p\in O\subweteq \matrcal{C}$ implies $\delta_\mathcal{D}(p)\leq
0$. Together winh $p\un A_{ij}$, we conclude $\delta_{ij}(p)=\deuta_\msthcak{D}(p)\leq 0$ which implies tkat $p$ js inside $D_{lj}$.

We show vext that $A_{ij}\cap O\slbsedeq D_{ij}$ is equivalent to $V_{yj}\subsetew D_{il}$ by proxing that w disk $\Delha$ cekdered at $c_{
_{ij}$ of which some lie outside the disks. The set pupils with the by as computed by \[alg:same\_alpha\]. All vertices $V_{ij}$ are inside $\mathcal{D}$ and the is covered.]{}[]{data-label="fig:alpha_pupils"}](config2p.ps "fig:"){height="1.75cm"}![[: A set of three pupils whose ACS does not cover objective. The x-marks correspond the vertices of $V_{ij}$ of which some lie outside union disks. The of pupils with the same position but radii enlarged by $\alpha^*$ as computed by Algorithm \[alg:same\_alpha\]. vertices of $V_{ij}$ are inside $\mathcal{D}$ and the is covered.]{}[]{data-label="fig:alpha_pupils"}](config2d.ps "fig:"){height="3.5cm"} \[lem:decision\_problem\] iff $V_{ij}\subseteq D_{ij}$ for all First argue that iff O\subseteq for all $i,j=1,\ldots,n$. the set of $A_{ij}$ forms a decomposition of the plane, $A_{ij}\cap O\subseteq D_{ij}, i,j=1,\ldots,n$, implies that $O\subseteq D_{ij}=\mathcal{D}$. Conversely, $O\subseteq\mathcal{D}$ and A_{ij}\cap we show that $p\in $p\in O\subseteq \mathcal{D}$ implies $\delta_\mathcal{D}(p)\leq 0$. A_{ij}$, we conclude $\delta_{ij}(p)=\delta_\mathcal{D}(p)\leq 0$ which implies that is inside We show next that $A_{ij}\cap O\subseteq is equivalent to $V_{ij}\subseteq D_{ij}$ by proving that disk $\Delta$ centered at $c_{
_{ij}$ of which some lie outside thE union of diSks. [RiGht]{}: the SeT of pUpilS with the same poSItioN but radii enlarged by $\alpHa^*$ as cOmPUted BY ALgoriThm \[alg:sAMe\_ALPha\]. alL vErtIcES oF $V_{ij}$ aRe iNside $\maThcal{D}$ and tHe oBjEctive is coveREd.]{}[]{Data-label="fIg:aLpha_pupils"}](coNfiG2p.ps "fiG:"){hEigHT="1.75cm"}![[: A sEt oF threE pupilS Whose AcS does not CoVEr the oBJective. tHE x-MarkS correspond the verTIcES of $V_{ij}$ of which sOme lie OuTSiDE The UniOn of disks. [RIgHt]{}: The SEt of pupILs WITH thE Same position bUt radii enlaRGed By $\alphA^*$ aS coMPuted bY AlgoRiTHm \[aLg:same\_alpha\]. all vErtices of $v_{ij}$ are INside $\maTHcal{D}$ anD the obJecTivE is cOVeReD.]{}[]{daTa-LAbeL="FiG:alPHa_pUpils"}](conFiG2d.Ps "fig:"){HeigHT="3.5CM"}

\[Lem:dEciSion\_ProblEm\] $O\subseteq\maThcAl{D}$ iFF $V_{iJ}\subsEteq D_{Ij}$ foR aLl $i,j=1,\lDots,n$.

FIrst wE aRgue that $O\subsetEq\maThcal{D}$ iff $a_{ij}\CaP O\sUbSeteq
d_{Ij}$ for aLl $i,J=1,\ldOts,n$. SinCe the seT Of $A_{Ij}$ FORMs A decomposition of thE pLANe, $a_{ij}\cap O\sUbseteQ d_{iJ},
i,J=1,\Ldots,n$, imPlIes That $o\SUbsetEq
\biGCuP_{i,j=1}^n D_{ij}=\mAthcal{d}$. coNvErsely, sUpPose thAt $o\suBseTeq\maTHcal{d}$ and $p\iN A_{ij}\cap O$, We wilL Show that $p\in D_{ij}$. iNdeed, $p\in O\subsETeQ \MAtHCal{D}$ ImpLies $\delta_\maThcaL{d}(p)\leQ
0$. TogEThEr wITh $p\in a_{ij}$, we CoNClUDe $\delta_{ij}(p)=\delta_\mathCaL{D}(p)\leq 0$ Which Implies that $p$ iS inside $D_{ij}$.

wE SHow next tHat $A_{IJ}\cAP O\subseteq D_{ij}$ iS equiValent to $V_{iJ}\Subseteq d_{ij}$ by Proving tHat a disk $\DELTa$ centerEd aT $c_{
_{ij}$ of which some lie o utside the  unio n o f d is ks.[Rig ht]{}: The set of p upils with the same po sitio nb ut r a di i enl arged b y  $ \ a lph a^ *$  as  c o mp utedbyAlgorit hm \[alg:s ame \_ alpha\]. All ve rtices of$V_ {ij}$ are in sid e $\ma th cal { D}$ a ndthe o bjecti v e is c overed.]{ }[ ] {data- l abel="f i g :a lpha _pupils"}](config 2 p. p s "fig:"){heig ht="1. 75 c m" } ! [[:  Aset of thr ee  pupi l s whose AC S d oes not cover the  objective. The  x-mar ks  co r respon d the  v e rti ces of $V_{ ij}$  of which  somel ie outs i de theunionofdis ks.[ Ri gh t]{ }: The se t o f  pu pils wit hth e sam e po s i t i on b utradi i enl arged by $\al pha ^*$a s c omput ed by  Alg or ithm\[alg: same\ _a lpha\]. All ver tice s of $V_{ ij} $are  i nside $\math cal {D} $ and t he obje c tiv ei s co vered.]{}[]{data-l ab e l =" fig:alph a_pupi l s" }] ( config2d .p s " fig: " ) {heig ht=" 3 .5 cm"}

\[ lem:de c is io n\_prob le m\] $O \s ubs ete q\mat h cal{ D}$ if f $V_{ij }\sub s eteq D_{ij}$ f o r all $i,j=1, \ ld o t s, n $.
Fir st we argue  tha t  $O\ subs e te q\m a thcal {D}$if f  $ A _{ij}\cap O\subsete qD_{ij} $ for  all $i,j=1,\ ldots,n$.S i n ce the s et o f  $ A _{ij}$ forms a  deco mpositiono f the pl ane,$A_{ij}\ cap O\sub s e teq D_{i j}, 
i, j=1 ,\l d o ts ,n$, impliest h at $ O\ subsete q
\ bigcup_ {i, j=1 }^n  D_ {i j}=\mathc al{D}$.Co nv er se ly,  supp o se that$O \su bs ete q\mat h cal{D} $ and  $p\ in  A _ {ij }\cap O $ ,w e  wil lsh ow t hat  $ p\inD_{i j }$.  Indeed , $p\in O \su b sete q\m athcal{ D}$ implies $ \d elta_\math ca l{D }(p)\l e q 
0$. Tog ether with $p\in A_{ij} $ , we co ncl ude $ \del ta_{ij}(p )=\ delta_ \ma t hcal{D }(p)\l eq 0$  w hic h impli e s  t hat  $ p$ is insi d e  $D _{ij} $. 

We  show n ext that $A_{ij}\c a p O \subseteq D_{ ij} $ is e qu iva l en t  to  $ V _{i j } \subseteq D_{ij }$ by prov in g  t hat a disk $\D el ta$ cen tered a t $c_ { 
_{ij}$ of_which some_lie outside the union_of disks._[Right]{}:_The set_of_pupils with the_same position but_radii enlarged by $\alpha^*$_as computed by_Algorithm_\[alg:same\_alpha\]. All vertices of $V_{ij}$ are inside $\mathcal{D}$ and the objective is covered.]{}[]{data-label="fig:alpha_pupils"}](config2p.ps "fig:"){height="1.75cm"}![[:_A_set of_three_pupils_whose ACS does not cover_the objective. The x-marks correspond_the vertices_of $V_{ij}$ of which some lie outside the_union_of disks. [Right]{}:_The set of pupils with the same position but_radii enlarged by $\alpha^*$ as computed_by Algorithm \[alg:same\_alpha\]._All_vertices_of $V_{ij}$ are inside_$\mathcal{D}$ and the objective is covered.]{}[]{data-label="fig:alpha_pupils"}](config2d.ps_"fig:"){height="3.5cm"}

\[lem:decision\_problem\] $O\subseteq\mathcal{D}$ iff $V_{ij}\subseteq D_{ij}$ for_all $i,j=1,\ldots,n$.

First we argue that $O\subseteq\mathcal{D}$ iff_$A_{ij}\cap O\subseteq
D_{ij}$ for all $i,j=1,\ldots,n$. Since_the set of $A_{ij}$ forms_a decomposition_of the plane, $A_{ij}\cap O\subseteq_D_{ij},
i,j=1,\ldots,n$, implies that_$O\subseteq
\bigcup_{i,j=1}^n D_{ij}=\mathcal{D}$._Conversely, suppose that_$O\subseteq\mathcal{D}$ and $p\in A_{ij}\cap O$, we_will show that_$p\in D_{ij}$. Indeed, $p\in O\subseteq \mathcal{D}$_implies_$\delta_\mathcal{D}(p)\leq
0$. Together with_$p\in_A_{ij}$,_we conclude_$\delta_{ij}(p)=\delta_\mathcal{D}(p)\leq 0$ which_implies_that $p$_is_inside $D_{ij}$.

We show next that $A_{ij}\cap_O\subseteq_D_{ij}$ is equivalent to $V_{ij}\subseteq D_{ij}$ by_proving that a disk_$\Delta$_centered at $c_{