 $|E^{\text{v}}|$), whereas Basic DP examines the whole DP space. 2) ILSP and SLSP effectively reduce loco-state space to $X$; 3) The rounding strategy scales the total possible v-path lengths from $O(2^{|E^{\text{v}}|})$ to $O(\frac{|X|}{\epsilon})$.

Enhancements and Extensions {#sec:extensions}
===========================

In this section, we propose an enhancement for DROP, then show that DEWN can serve as a building block to support other spatial queries.

Critical Orientation Simplification
-----------------------------------

While DEWN is efficient and effective in solving DROP, the practical efficiency is still a concern in some applications. In Simp-DEWN (see also Section \[sec:exp\]) as a simplified implementation, we introduce the COS strategy to efficiently simplify the loco-states by ignoring the orientations for the computationally intensive parts of DEWN. The idea of COS is as follows. On solving DROP, DEWN always examine the user orientations in the dual worlds carefully to leverage RO to steer users away from obstacles, incurring the side-effect of a large time complexity, since a single pair of locations $(\gamma^{\text{v}}, \gamma^{\text{p}})$ corresponds to $|\Theta|^2$ valid loco-states. The final time complexity is then dependent on $O(\Theta^4)$. However, through careful investigation of the RW paths, we found that the complexity can be significantly reduced by allowing an additional RW operation at each loco-state along the RW path. More specifically, if an additional RO (or Reset, but more costly) is allowed at each loco-state along the RW path, then the orientations of the user need not to be considered in DEWN, which trades solution quality for computational efficiency.

Concretely, this is achieved by setting $\Theta = \{ 0^{\circ} \}$, or equivalently speaking, merging all the loco-states with identically locations $(\gamma^{\text{v}}, \gamma^{\text{p}})$. The additional RW cost incurred can be bounded since this incurs at most the largest cost of an RO or Reset at each loco-state. Denote $C_\theta$ as the maximum RW cost incurred, depending on the cost model, to correct the user orientation. The following theorem shows that this simplification gives an error-bounded FPTAS.

\[
$ |E^{\text{v}}|$), whereas Basic DP examines the whole DP quad. 2) ILSP and SLSP efficaciously reduce loco - department of state distance to $ X$; 3) The rounding strategy scales the full potential v - path lengths from $ O(2^{|E^{\text{v}}|})$ to $ O(\frac{|X|}{\epsilon})$. 

 Enhancements and Extensions { # sec: extensions } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this section, we nominate an enhancement for DROP, then show that DEWN can service as a building block to support other spatial queries. 

 Critical Orientation Simplification 
 ----------------------------------- 

 While DEWN is effective and effective in solving DROP, the practical efficiency is still a business in some applications. In Simp - DEWN (see also Section \[sec: exp\ ]) as a simplified implementation, we insert the COS strategy to efficiently simplify the loco - states by ignoring the orientations for the computationally intensive parts of DEWN. The theme of COS is as follows. On solving DROP, DEWN always examine the user orientations in the dual worlds carefully to leverage RO to steer users away from obstacles, incurring the side - effect of a large clock time complexity, since a single pair of location $ (\gamma^{\text{v } }, \gamma^{\text{p}})$ correspond to $ |\Theta|^2 $ valid loco - states. The final time complexity is then pendent on $ O(\Theta^4)$. However, through careful investigation of the RW paths, we found that the complexity can be significantly reduce by allowing an additional RW operation at each loco - state along the RW way. More specifically, if an additional RO (or Reset, but more costly) is allowed at each loco - state along the RW path, then the orientations of the user necessitate not to be considered in DEWN, which trades solution quality for computational efficiency. 

 Concretely, this is achieved by setting $ \Theta = \ { 0^{\circ } \}$, or equivalently speak, merging all the loco - states with identically locations $ (\gamma^{\text{v } }, \gamma^{\text{p}})$. The additional RW cost incurred can be bounded since this incurs at most the big cost of an RO or Reset at each loco - state. Denote $ C_\theta$ as the maximal RW cost incurred, depending on the cost model, to right the user predilection. The following theorem show that this simplification gives an error - bounded FPTAS. 

 \ [
 $|E^{\tfxt{v}}|$), whereas Basic DP exxmines the wholg EP spare. 2) ILSL and SLRP effectively reduce loco-stete wpace to $X$; 3) The rounding stfategy scwles the totel possible v-pati lengths from $L(2^{|E^{\tert{t}}|})$ to $O(\frac{|X|}{\epsikon})$.

Enhancekents and Extetskous {#sec:extensions}
===========================

In this section, we pwopose sn enhancement fjr DGO[, thsn show that DEWN can serve as a bhilding block to suplort other spatial queries.

Fritlcal Orientation Slmplificatiin
-----------------------------------

Whyoe DEWN is ewficient and effective in solving DROP, the practical dfficnency is stulo a woncern in wome wpplications. In Simp-GEWN (ser also Section \[ser:exp\]) as a simplified implxmentation, we introdoce the COV atrategy to efficuebtly vimpnify rhe lodo-xtztes bj ijnoring the orientatiobs for the computatoogqlly intensivs partf jf DEWN. The idea of COS is as follows. Ot sklving DROP, DEWN always examine the user origntations yn the dual worlds carefully to leverage RO to staer uadrs arxt vrom obstacles, incurring the side-effect of a jzrbe time complexiby, since a single lalr jf locations $(\eamma^{\tzst{b}}, \gamma^{\text{p}})$ corredponds jo $|\Thera|^2$ valid joco-xtates. The final time complwxity is theu dwpendent on $O(\Theta^4)$. However, thxough varefil investigation of the RW laths, we foknd that ffe complexity cav bv sicnificanuuy reduced by alljwing an edditnonal RW opetation wt each lofo-staba along the RW patj. Morg spechfically, iv an additional RO (or Reset, but more costly) ix dllmwed at zach lpco-state alond the RW path, jhen the jriengations of the usxr need not eo be considesgd in DEWN, whmch tradef sooutiin qualkgy for computayional efynciency.

Cobcretely, this is aghievgd by setting $\Thecc = \{ 0^{\circ} \}$, or equifaldntjy s'eakigc, merging aln thd luvo-stages with idcntkcalky locations $(\gamma^{\teft{v}}, \famma^{\text{p}})$. The addotlonal RW xost inctrred can be nounded since this incucs at oost yhe largest cost of an RO or Resef at each logo-state. Denotq $C_\tmeta$ as the marimum RW cost incurred, depending on the rost model, to correct jhe user orientation. Jhe following vheorei shows tvat this simplificatuon gives an errov-bounded FPTAS.

\[
$|E^{\text{v}}|$), whereas Basic DP examines the whole 2) and SLSP reduce loco-state space strategy the total possible lengths from $O(2^{|E^{\text{v}}|})$ $O(\frac{|X|}{\epsilon})$. Enhancements and Extensions {#sec:extensions} =========================== this section, we propose an enhancement for DROP, then show that DEWN can as a building block to support other spatial queries. Critical Orientation Simplification ----------------------------------- DEWN efficient effective solving DROP, the practical efficiency is still a concern in some applications. In Simp-DEWN (see also \[sec:exp\]) as a simplified implementation, we introduce the strategy to efficiently simplify loco-states by ignoring the orientations the intensive parts DEWN. idea COS is as On solving DROP, DEWN always examine the user orientations in the dual worlds carefully to leverage RO steer users obstacles, incurring side-effect a time complexity, since pair of locations $(\gamma^{\text{v}}, \gamma^{\text{p}})$ corresponds loco-states. The final time complexity is then dependent $O(\Theta^4)$. However, careful investigation of the RW paths, found that the complexity can be significantly reduced allowing an additional RW operation at each loco-state along the RW path. More specifically, if RO (or Reset, but costly) is allowed each along RW then the of the user need not to be considered in DEWN, which solution quality for computational efficiency. Concretely, this is achieved by = 0^{\circ} \}$, or speaking, merging all the with locations $(\gamma^{\text{v}}, \gamma^{\text{p}})$. The cost can this at the largest cost of RO or Reset at each Denote $C_\theta$ as the on the cost model, to correct the user The following theorem shows that this simplification an error-bounded FPTAS. \[
 $|E^{\text{v}}|$), whereas Basic DP examiNes the wholE DP spAce. 2) iLSp aNd SLsP efFectively reducE Loco-State space to $X$; 3) The roundiNg strAtEGy scALeS the tOtal posSIbLE V-paTh LeNgtHs FRoM $O(2^{|E^{\teXt{v}}|})$ To $O(\frac{|x|}{\epsilon})$.

EnHanCeMents and ExteNSiOns {#sec:exteNsiOns}
===========================

In this secTioN, we proPoSe aN EnhanCemEnt foR DROP, tHEn show That DEWN cAn SErve as A BuildinG BLoCk to Support other spatiAL qUEries.

Critical ORientaTiON SIMPliFicAtion
-----------------------------------

While dEwN is eFFicient ANd EFFEctIVe in solving DRoP, the practiCAl eFficieNcY is STill a cOncerN iN SomE applicatioNs. In simp-DEWN (sEe also sEction \[sEC:exp\]) as a SimpliFieD imPlemENtAtIon, We INtrODuCe tHE COs strategY tO eFficiEntlY SIMPlifY thE locO-statEs by ignoring tHe oRienTAtiOns foR the cOmpuTaTionaLly intEnsivE pArts of DEWN. The idEa of cOS is as foLloWs. on sOlVing DroP, DEWN AlwAys Examine The user ORieNtATIOnS in the dual worlds caReFULlY to leverAge RO tO StEeR Users awaY fRom ObstACLes, inCurrINg The side-eFfect oF A lArGe time cOmPlexitY, sIncE a sIngle PAir oF locatIons $(\gammA^{\text{V}}, \Gamma^{\text{p}})$ corrESponds to $|\Theta|^2$ VAlID LoCO-staTes. the final timE comPLexiTy is THeN dePEndenT on $O(\THeTA^4)$. HOWever, through careful InVestigAtion Of the RW paths, wE found that THE ComplexiTy caN Be SIgnificantly reDuced By allowing AN additioNal RW OperatioN at each loCO-State aloNg tHe Rw paTh. MORE sPecifically, if AN AddiTiOnal RO (oR ReSet, but mOre CosTly) Is aLlOwed at eacH loco-staTe AlOnG tHe Rw path, THen the orIeNtaTiOns Of the USer neeD not tO be cOnSiDEreD in DEWN, WHiCH TradEs SoLutiOn qUaLity fOr coMPutAtional EfficiencY.

CoNCretElY, tHis is acHieved by settiNg $\theta = \{ 0^{\circ} \}$, oR eQuiValentLY Speaking, Merging all the loco-states WIth idenTicAlly lOcatIons $(\gamma^{\TexT{v}}, \gammA^{\teXT{p}})$. The aDditioNal RW CoSt iNCUrred CAN bE boUnDed since thIS IncUrs at MoSt thE largesT cost of an RO or Reset AT eaCh loco-state. DeNotE $C_\thETA$ aS thE MaXImuM Rw CosT INcurred, dependinG on the cost MoDEl, To correct tHE usEr OrientaTion. The FolloWIng theoRem shows tHat this siMpLifiCATioN gives an erRor-boundEd FPTAS.

\[
 $|E^{\text{v}}|$), wherea s Basic DP  exam ine s t he  who le D P space. 2) IL S P an d SLSP effectively red uce l oc o -sta t espace  to $X$ ;  3 ) The  r ou ndi ng st rateg y s cales t he total p oss ib le v-path le n gt hs from $O (2^ {|E^{\text{v }}| })$ to  $ O(\ f rac{| X|} {\eps ilon}) $ .

Enh ancements  a n d Exte n sions { # s ec :ext ensions}
======== = == = ============== =

Inth i ss e cti on,  we propos ean en h ancemen t  f o r DRO P , then show t hat DEWN ca n  se rve as  a  bu i ldingblock  t o  su pport other  spa tial quer ies.
C ritical Orienta tion S imp lif icat i on 
- --- -- - --- - -- --- - --- -------- -- -- ---
Whil e D E WN i s e ffic ientand effective  in  sol v ing  DROP , the  pra ct icaleffici encyis  still a concer n in  some app lic at ion s.  In S i mp-DEW N ( see  also S ection\ [se c: e x p \] ) as a simplifiedim p l em entation , we i n tr od u ce the C OS  st rate g y  to e ffic i en tly simp lify t h elo co-stat es  by ig no rin g t he or i enta tionsfor thecompu t ationally inte n sive parts of DE W N .T he i dea  of COS isas f o llow s. O n  s olv i ng DR OP, D EW N  a l ways examine the us er  orien tatio ns in the dua l worlds c a r e fully to  lev e ra g e RO to steerusers  away from obstacle s, in curringthe side- e f fect ofa l arg e t ime c om plexity, sinc e a si ng le pair  of  locati ons  $( \ga mma ^{ \text{v}} , \gamma ^{ \t ex t{ p}} )$ co r responds  t o $ |\ The ta|^2 $  valid  loco -sta te s. The  finalt im e comp le xi ty i s t he n dep ende n t o n $O(\T heta^4)$.  Ho w ever ,th rough c areful invest ig ation of t he  RW  paths , we found  that the complexity ca n  be sig nif icant ly r educed by  al lowing  an additi onal R W ope ra tio n at ea c h  l oco -s tate along t heRW pa th . Mo re spec ifically, if an ad d iti onal RO (or R ese t, b u t  m ore co s tly )i s a l l owed at each lo co-state a lo n gthe RW pat h , t he n the o rientat ionso f the u ser neednot to be  c onsi d e red  in DEWN,which tr ades solu t ion q u al ity f orcomput at ion al ef ficien c y.
Conc retely ,this i s ach ie ved by s etting $\Theta = \{ 0^{ \circ}  \}$,  or  equivale ntl y  sp eaking, m ergi ng all the  lo co- state s w i th id enti c al lyl ocati ons$ (\gamma^{ \ te xt{ v } },  \gamma^{\t e x t {p} })$.The additi onal  RW cost incurred can be bounded  sin c e  th isi ncur sat most the la rge st c ost of a nRO or Reset  at each  l o co-st ate. D enote$C_\the t a $a s themaxi mum  RW costinc ur r ed, dep en di n g on t he c os t mode l, toc orre c t  the user orient ation . The f o llo wingth eorem s h owsthat thissimplificat ion gi vesan er ror-bou nd ed FPT AS. 
\[
 $|E^{\text{v}}|$),_whereas Basic_DP examines the whole_DP space._2)_ILSP and_SLSP_effectively reduce loco-state_space to $X$;_3) The rounding strategy_scales the total_possible_v-path lengths from $O(2^{|E^{\text{v}}|})$ to $O(\frac{|X|}{\epsilon})$.

Enhancements and Extensions {#sec:extensions}
===========================

In this section, we propose an_enhancement_for DROP,_then_show_that DEWN can serve as_a building block to support_other spatial_queries.

Critical Orientation Simplification
-----------------------------------

While DEWN is efficient and effective_in_solving DROP, the_practical efficiency is still a concern in some applications._In Simp-DEWN (see also Section \[sec:exp\])_as a simplified_implementation,_we_introduce the COS strategy_to efficiently simplify the loco-states by_ignoring the orientations for the computationally_intensive parts of DEWN. The idea of_COS is as follows. On solving_DROP, DEWN always examine the_user orientations_in the dual worlds carefully_to leverage RO_to steer_users away from_obstacles, incurring the side-effect of a_large time complexity,_since a single pair of locations_$(\gamma^{\text{v}},_\gamma^{\text{p}})$ corresponds to_$|\Theta|^2$_valid_loco-states. The_final time complexity_is_then dependent_on_$O(\Theta^4)$. However, through careful investigation of_the_RW paths, we found that the complexity_can be significantly reduced_by_allowing an additional RW_operation at each loco-state along_the RW path. More specifically, if_an additional_RO (or_Reset, but more costly) is allowed at each loco-state along the_RW path, then the orientations of_the user need not_to be_considered_in DEWN, which_trades_solution quality_for computational efficiency.

Concretely, this is achieved by_setting $\Theta_= \{ 0^{\circ} \}$, or equivalently_speaking, merging all the_loco-states_with identically locations $(\gamma^{\text{v}}, \gamma^{\text{p}})$. The_additional RW cost incurred can be_bounded since this incurs at_most_the_largest cost of an RO_or Reset at each loco-state. Denote_$C_\theta$ as the_maximum RW cost incurred, depending on the_cost_model, to correct the user orientation._The_following theorem shows that this simplification_gives_an_error-bounded FPTAS.

\[