ij}$ covering $V_{ij}$ covers also $A_{ij}\cap O$. We first observe that the edges of $A_{ij}$ with both endpoints in $O$ are covered by $\Delta$ by Corollary \[cor:cover\_cell\_by\_minidisk\]. It remains to verify that the intersection points of $\partial A_{ij}$ with $\partial O$ and the arcs linking them are also in $O$. Consider two such points $p$ and $q$ consecutive along the boundary of $O$. Call $p_1p_2$ and $q_1q_2$ the two Apollonius edges that intersect $\partial O$ at $p$ and $q$ respectively. Suppose $p_1,q_1\in O$ and $p_2, q_2\notin
O$, which implies that $p_1, p, q, q_1$ belong to $V_{ij}$. Since $p_1$ and $p$ lie on edge $p_1p_2$, and $q$ and $q_1$ are contained in $q_1q_2$, $\Delta$ will cover the arcs $p_1p$ and $qq_1$ by Corollary \[cor:cover\_cell\_by\_minidisk\]. It thus remains to show that the circular arc $pq$ of $O$ is included in $\Delta$, which is true since $p, q\in D_{ij}$ whose radius has been assumed to be smaller than the radius of $O$.

The following simple result is important in sections \[sec:fixed-center\_problem\] and \[sec:fixed-radius\_problem\].

\[cor:disks\_cover\_cells\] Given a configuration of pupils with the corresponding sets $D_{ij}$ and $V_{ij}$. We move/resize the pupils such that each new disk $D^{'}_{ij}$ includes $V_{ij}$. Then, $O$ is covered by $\bigcup_{i,j=1}^n D^{'}_{ij}$.

Since $V_{ij}\subseteq D^{'}_{ij}$ is equivalent to $A_{ij}\cap
O\subseteq D^{'}_{ij}$ (see the proof of Lemma \[lem:decision\_problem\]) and the sets $A_{ij}\cap O$ cover $O$, the objective is covered by $\bigcup_{i,j=1}^n
ij}$ covering $ V_{ij}$ covers also $ A_{ij}\cap O$. We first note that the edge of $ A_{ij}$ with both endpoints in $ O$ are covered by $ \Delta$ by Corollary \[cor: cover\_cell\_by\_minidisk\ ]. It remains to affirm that the intersection points of $ \partial A_{ij}$ with $ \partial O$ and the discharge linking them are also in $ O$. see two such points $ p$ and $ q$ consecutive along the limit of $ O$. Call $ p_1p_2 $ and $ q_1q_2 $ the two Apollonius edges that intersect $ \partial O$ at $ p$ and $ q$ respectively. Suppose $ p_1,q_1\in O$ and $ p_2, q_2\notin 
 O$, which implies that $ p_1, p, q, q_1 $ belong to $ V_{ij}$. Since $ p_1 $ and $ p$ lie on boundary $ p_1p_2 $, and $ q$ and $ q_1 $ are contained in $ q_1q_2 $, $ \Delta$ will cover the bow $ p_1p$ and $ qq_1 $ by Corollary \[cor: cover\_cell\_by\_minidisk\ ]. It thus remains to prove that the circular arc $ pq$ of $ O$ is included in $ \Delta$, which is on-key since $ p, q\in D_{ij}$ whose radius has been assumed to be smaller than the spoke of $ O$. 

 The following dim-witted result is important in sections \[sec: fasten - center\_problem\ ] and \[sec: fixed - radius\_problem\ ]. 

 \[cor: disks\_cover\_cells\ ] Given a configuration of pupils with the corresponding set $ D_{ij}$ and $ V_{ij}$. We move / resize the pupils such that each new disk $ D^{'}_{ij}$ includes $ V_{ij}$. Then, $ O$ is covered by $ \bigcup_{i, j=1}^n D^{'}_{ij}$. 

 Since $ V_{ij}\subseteq D^{'}_{ij}$ is equivalent to $ A_{ij}\cap 
 O\subseteq D^{'}_{ij}$ (see the proof of Lemma \[lem: decision\_problem\ ]) and the sets $ A_{ij}\cap O$ cover $ O$, the aim is cover by $ \bigcup_{i, j=1}^n
ij}$ fovering $V_{ij}$ covers also $A_{ij}\cap O$. We fitsr obsecve thaf the edees of $A_{ij}$ with both endpoinvs ib $O$ aee covered by $\Delta$ by Corollarj \[cor:covee\_celo\_vy\_minidisk\]. It remalus to yerifv vhat the intersgction pointv of $\partial A_{hj}$ wnth $\partial O$ and the arcs linking trem are apso in $O$. Consiqer uwo sucg points $p$ and $q$ consecutive along the bolndary of $O$. Call $l_1p_2$ and $q_1q_2$ the two Apolloniks efges that intersech $\partial O$ at $[$ and $q$ respeztively. Sukpmse $p_1,q_1\in O$ and $p_2, q_2\notin
O$, which implies thxt $p_1, ', q, q_1$ belont ro $G_{hj}$. Since $p_1$ end $p$ jie on edge $i_1i_2$, and $q$ and $q_1$ sre contained ln $q_1q_2$, $\Deota$ will cover the arrs $p_1p$ and $qq_1$ by Corojlary \[cor:worer\_cell\_by\_minidisk\]. It rhys rekainv to whod tgav tge cirfuler arc $pq$ or $O$ is inclyded in $\Delta$, which if true since $p, q\in D_{yj}$ whose radius has been assumed to be smdllsr than the radius of $O$.

Rhe following simple tesult is ymportant in sections \[sec:fixed-center\_problem\] and \[sac:fixxd-fadnmf\_oeohlem\].

\[cor:disks\_cover\_cells\] Given a configuration jr kuppls with the corrcsponding sets $D_{ij}$ ajd $D_{ij}$. We move/rerize tks lupils such that ewch new disk $D^{'}_{ij}$ incltdes $V_{ij}$. Then, $O$ is covered by $\bugcup_{i,j=1}^n D^{'}_{ij}$.

Funce $V_{ij}\subseteq D^{'}_{nj}$ is equivauent to $A_{oj}\cap
O\subseteq D^{'}_{ij}$ (see che prkof of Lemmw \[lem:deciakon\_problem\]) and tfe xeds $A_{ij}\cak O$ cover $O$, the obtective iw corered by $\bigvup_{i,j=1}^n
ij}$ covering $V_{ij}$ covers also $A_{ij}\cap O$. observe the edges $A_{ij}$ with both by by Corollary \[cor:cover\_cell\_by\_minidisk\]. remains to verify the intersection points of $\partial A_{ij}$ $\partial O$ and the arcs linking them are also in $O$. Consider two points $p$ and $q$ consecutive along the boundary of $O$. Call $p_1p_2$ and the Apollonius that $\partial O$ at $p$ and $q$ respectively. Suppose $p_1,q_1\in O$ and $p_2, q_2\notin O$, which implies $p_1, p, q, q_1$ belong to $V_{ij}$. Since and $p$ lie on $p_1p_2$, and $q$ and $q_1$ contained $q_1q_2$, $\Delta$ cover arcs and $qq_1$ by \[cor:cover\_cell\_by\_minidisk\]. It thus remains to show that the circular arc $pq$ of $O$ is included in $\Delta$, is true q\in D_{ij}$ radius been to be smaller radius of $O$. The following simple in sections \[sec:fixed-center\_problem\] and \[sec:fixed-radius\_problem\]. \[cor:disks\_cover\_cells\] Given a of pupils the corresponding sets $D_{ij}$ and $V_{ij}$. move/resize the pupils such that each new disk includes $V_{ij}$. Then, $O$ is covered by $\bigcup_{i,j=1}^n D^{'}_{ij}$. Since $V_{ij}\subseteq D^{'}_{ij}$ is equivalent to D^{'}_{ij}$ (see the proof Lemma \[lem:decision\_problem\]) and sets O$ $O$, objective is by $\bigcup_{i,j=1}^n
ij}$ covering $V_{ij}$ covers also $A_{iJ}\cap O$. We firSt obsErvE thAt The eDges Of $A_{ij}$ with both eNDpoiNts in $O$ are covered by $\DeltA$ by CoRoLLary \[COr:Cover\_Cell\_by\_mINiDISk\]. IT rEmAinS tO VeRify tHat The inteRsection poIntS oF $\partial A_{ij}$ wITh $\Partial O$ anD thE arcs linking TheM are alSo In $O$. cOnsidEr tWo sucH pointS $P$ and $q$ cOnsecutivE aLOng the BOundary OF $o$. CAll $p_1P_2$ and $q_1q_2$ the two ApollONiUS edges that inteRsect $\pArTIaL o$ At $p$ And $Q$ respectivElY. SuppOSe $p_1,q_1\in O$ ANd $P_2, Q_2\NOtiN
o$, which implies That $p_1, p, q, q_1$ belONg tO $V_{ij}$. SiNcE $p_1$ aND $p$ lie oN edge $P_1p_2$, ANd $q$ And $q_1$ are contAineD in $q_1q_2$, $\DeltA$ will cOVer the aRCs $p_1p$ and $Qq_1$ by CoRolLarY \[cor:COvEr\_CelL\_bY\_MinIDiSk\]. IT ThuS remains To ShOw thaT the CIRCUlar Arc $Pq$ of $o$ is inCluded in $\Delta$, WhiCh is TRue Since $P, q\in D_{Ij}$ whOsE radiUs has bEen asSuMed to be smaller tHan tHe radius oF $O$.

THe FolLoWing sIMple reSulT is ImportaNt in secTIonS \[sEC:FIxEd-center\_problem\] and \[SeC:FIxEd-radius\_ProbleM\].

\[CoR:dISks\_cover\_CeLls\] giveN A ConfiGuraTIoN of pupilS with tHE cOrRespondInG sets $D_{Ij}$ And $v_{ij}$. we movE/ResiZe the pUpils sucH that EAch new disk $D^{'}_{ij}$ iNCludes $V_{ij}$. Then, $o$ Is COVeREd by $\BigCup_{i,j=1}^n D^{'}_{ij}$.

SiNce $V_{IJ}\subSeteQ d^{'}_{iJ}$ is EQuivaLent tO $A_{IJ}\cAP
O\subseteq D^{'}_{ij}$ (see the PrOof of LEmma \[lEm:decision\_proBlem\]) and the SETS $A_{ij}\cap O$ CoveR $o$, tHE objective is coVered By $\bigcup_{i,j=1}^N
ij}$ covering $V_{ij}$ cov ers also $ A_{ij }\c apO$ . We  fir st observe tha t  the  edges of $A_{ij}$ wit h bot he ndpo i nt s in$O$ are co v e red  b y$\D el t a$  by C oro llary \ [cor:cover \_c el l\_by\_minid i sk \]. It rem ain s to verifytha t thein ter s ectio n p oints  of $\ p artial  A_{ij}$wi t h $\pa r tial O$ a nd  the  arcs linking the m  a r e also in $O$.  Consi de r  t w o  su chpoints $p$  a nd $q $  consec u ti v e alo n g the boundar y of $O$. C a ll$p_1p_ 2$  an d  $q_1q _2$ t he two  Apollonius  edg es that i nterse c t $\par t ial O$at $p$  an d $ q$ r e sp ec tiv el y . S u pp ose $p_ 1,q_1\in  O $and $ p_2, q _ 2 \not inO$,which  implies that  $p _1,p , q , q_1 $ bel ongto  $V_{ ij}$.Since  $ p_1$ and $p$ li e on  edge $p_ 1p_ 2$ , a nd  $q$a nd $q_ 1$are  contai ned in$ q_1 q_ 2 $ ,  $ \Delta$ will cover  t h e  a rcs $p_1 p$ and $q q_ 1 $ by Cor ol lar y \[ c o r:cov er\_ c el l\_by\_m inidis k \] .It thus  r emains  t o s how  that thecircul ar arc $ pq$ o f  $O$ is includ e d in $\Delta$ ,  w h i ch is t rue  since $p,q\in D_{i j}$w ho ser adius  hasbe e na ssumed to be smalle rthan t he ra dius of $O$.
The follo w i n g simple  res u lt is important i n sec tions \[se c :fixed-c enter \_proble m\] and \ [ s ec:fixed -ra diu s\_ pro b l em \].

\[cor:di s k s\_c ov er\_cel ls\ ] Given  acon fig ura ti on of pup ils with  t he  c or res pondi n g sets $ D_ {ij }$  an d $V_ { ij}$.We mo ve/r es iz e  th e pupil s  s u c h th at  e achnew  d isk $ D^{' } _{i j}$ inc ludes $V_ {ij } $. T he n,  $O$ is  covered by $ \b igcup_{i,j =1 }^n  D^{'} _ { ij}$.

S ince $V_{ij}\subseteq D ^ {'}_{ij }$is eq uiva lent to $ A_{ ij}\ca p
O \ subset eq D^{ '}_{i j} $ ( s e e the p ro ofof  Lemma \[l e m :de cisio n\ _pro blem\])  and the sets $A_{ i j}\ cap O$ cover$O$ , th e ob jec t iv e  is  c o ver e d  by $\bigcup_{i ,j=1}^n
ij}$ covering_$V_{ij}$ covers_also $A_{ij}\cap O$. We_first observe_that_the edges_of_$A_{ij}$ with both_endpoints in $O$_are covered by $\Delta$_by Corollary \[cor:cover\_cell\_by\_minidisk\]._It_remains to verify that the intersection points of $\partial A_{ij}$ with $\partial O$ and_the_arcs linking_them_are_also in $O$. Consider two_such points $p$ and $q$_consecutive along_the boundary of $O$. Call $p_1p_2$ and $q_1q_2$_the_two Apollonius edges_that intersect $\partial O$ at $p$ and $q$ respectively._Suppose $p_1,q_1\in O$ and $p_2, q_2\notin
O$,_which implies that_$p_1,_p,_q, q_1$ belong to_$V_{ij}$. Since $p_1$ and $p$ lie_on edge $p_1p_2$, and $q$ and_$q_1$ are contained in $q_1q_2$, $\Delta$ will_cover the arcs $p_1p$ and $qq_1$_by Corollary \[cor:cover\_cell\_by\_minidisk\]. It thus_remains to_show that the circular arc_$pq$ of $O$_is included_in $\Delta$, which_is true since $p, q\in D_{ij}$_whose radius has_been assumed to be smaller than_the_radius of $O$.

The_following_simple_result is_important in sections_\[sec:fixed-center\_problem\]_and \[sec:fixed-radius\_problem\].

\[cor:disks\_cover\_cells\]_Given_a configuration of pupils with the_corresponding_sets $D_{ij}$ and $V_{ij}$. We move/resize the_pupils such that each_new_disk $D^{'}_{ij}$ includes $V_{ij}$._Then, $O$ is covered by_$\bigcup_{i,j=1}^n D^{'}_{ij}$.

Since $V_{ij}\subseteq D^{'}_{ij}$ is equivalent_to $A_{ij}\cap
O\subseteq_D^{'}_{ij}$ (see_the proof of Lemma \[lem:decision\_problem\]) and the sets $A_{ij}\cap O$ cover_$O$, the objective is covered by_$\bigcup_{i,j=1}^n