 the current best feasible reference path.

The search process of PPNP resembles that in IDWS; PPNP here also maintains a priority queue $\mathbf{Q}$, and the search process also contains iterative rounds of loco-state examination. However, PPNP is subtly different from IDWS in RPGP. IDWS explores a tiny fraction of the loco-state space and finds a reference RW path, while PPNP investigates the loco-state space comprehensively and trims off redundant loco-states. While the search order in IDWS follows TECO, PWSO and VWNO, PPNP does not employ them. Instead, the order in PPNP is controlled by pruning strategies, and loco-states may re-enter the priority queue in PPNP. Throughout the search process, To skip redundant loco-states, PPNP explores the following pruning strategies. 1) *Infeasible Loco-State Pruning* (ILSP). If $\text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{\text{s}}, \gamma^{\text{v}}_{st}) + \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > C$, every RW path from $st_{\text{s}}$ to the destination via $st$ is infeasible. Thus, $st$ is removed. 2) *Suboptimal Loco-State Pruning* (SLSP). If $\text{l}_{\min}(\gamma^{\text{v}}_{\text{s}}, \gamma^{\text{v}}_{st}) + \text{l}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > \tilde{L}$, any RW path from $st_{\text{s}}$ to the destination via $st$ is longer than the reference RW path. $st$ is thereby removed. 3) *Unpromising Loco-State Locking* (ULSL). If $\text{c}_\text{c}(st_{\text{s}},st) + \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > C$, currently it is not likely to find any feasible RW path via $st$. Therefore, PPNP pauses the search expanded from $st$. Note that $st$ cannot be removed yet
the current best feasible reference path. 

 The search process of PPNP resemble that in IDWS; PPNP here besides maintain a priority queue $ \mathbf{Q}$, and the search procedure besides contains iterative rounds of loco - state of matter examination. However, PPNP is subtly different from IDWS in RPGP. IDWS research a tiny fraction of the loco - department of state space and finds a reference book RW path, while PPNP investigate the loco - state outer space comprehensively and trims off redundant loco - states. While the search club in IDWS follows TECO, PWSO and VWNO, PPNP does not employ them. Instead, the order in PPNP is control by pruning strategies, and loco - states may re - enter the priority queue in PPNP. Throughout the search process, To cut redundant loco - states, PPNP explores the following pruning strategies. 1) * Infeasible Loco - State Pruning * (ILSP). If $ \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{\text{s } }, \gamma^{\text{v}}_{st }) + \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st }, \gamma^{\text{v}}_{\text{t } }) > C$, every RW way from $ st_{\text{s}}$ to the finish via $ st$ is infeasible. Thus, $ st$ is removed. 2) * Suboptimal Loco - State Pruning * (SLSP). If $ \text{l}_{\min}(\gamma^{\text{v}}_{\text{s } }, \gamma^{\text{v}}_{st }) + \text{l}_{\min}(\gamma^{\text{v}}_{st }, \gamma^{\text{v}}_{\text{t } }) > \tilde{L}$, any RW path from $ st_{\text{s}}$ to the destination via $ st$ is longer than the reference RW path. $ st$ is thereby removed. 3) * Unpromising Loco - State Locking * (ULSL). If $ \text{c}_\text{c}(st_{\text{s}},st) + \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st }, \gamma^{\text{v}}_{\text{t } }) > C$, presently it is not probable to find any feasible RW path via $ st$. Therefore, PPNP hesitate the search expanded from $ st$. Note that $ st$ cannot be removed so far
 thf current best feasible veference path.

Thg wearch proceas of PPVP resembles that in IDWS; PPIP hwre aoso maintains a priorigy queue $\lathbf{Q}$, qnd uhe search process also containa itexavive rounds of koco-state axamination. Hofexex, PPNP is subtly different from IDWS in RPGL. LDWS explores w timr frzbtlon of the loco-state space and fjnds a geference RW path, while PPNP investigates tje llco-state space comorehensiveli anq trims off rddundant loco-states. Whjle the search order in IDWS foulows TECO, PWSO abd GFNO, PPNP doxs not employ them. Instead, the orcer in PPNP is coitrooled by pruning stratxgies, and loco-states may re-endex the priority queue un PPNP. Thrmughuyt ghe sxardh profesa, To skip dedundant lico-states, PPNP explprqw the followihg prugigg strategies. 1) *Infeasible Loco-State Prutinf* (ILSP). If $\text{c}^{\alpha}_{\min}(\tamma^{\text{v}}_{\text{s}}, \gamma^{\jext{v}}_{st}) + \tqxt{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > C$, every RW petf fxim $st_{\gwxh{s}}$ to the destination via $st$ is infeasible. Thta, $xt$ is removed. 2) *Smboptimal Loco-Statr Origing* (SLSP). If $\jext{l}_{\miu}(\fajma^{\text{v}}_{\text{s}}, \gammw^{\text{v}}_{sj}) + \texr{l}_{\min}(\gammw^{\texy{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > \tilde{O}$, any RW patk feom $st_{\text{s}}$ to the destinatiou via $xt$ is longer than the refereuce RW path. $st$ is thereby ddmoved. 3) *Unpromiskng Lmco-State Locking* (ULSL). If $\tqxt{c}_\text{c}(wt_{\tert{s}},st) + \tdxt{c}^{\slpha}_{\myn}(\gamma^{\texh{v}}_{st}, \ndmma^{\text{v}}_{\text{t}}) > C$, furreutly ht is not pikely to find any feasible RW 'eth via $st$. Thgrexorv, PPNP pabses tme search expanqed from $st$. Noje that $sc$ cannut be remoned yet
the current best feasible reference path. The of resembles that IDWS; PPNP here $\mathbf{Q}$, the search process contains iterative rounds loco-state examination. However, PPNP is subtly from IDWS in RPGP. IDWS explores a tiny fraction of the loco-state space finds a reference RW path, while PPNP investigates the loco-state space comprehensively and off loco-states. the order in IDWS follows TECO, PWSO and VWNO, PPNP does not employ them. Instead, the order PPNP is controlled by pruning strategies, and loco-states re-enter the priority queue PPNP. Throughout the search process, skip loco-states, PPNP the pruning 1) *Infeasible Loco-State (ILSP). If $\text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{\text{s}}, \gamma^{\text{v}}_{st}) + \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > C$, every RW path from $st_{\text{s}}$ to the destination $st$ is $st$ is 2) Loco-State (SLSP). If $\text{l}_{\min}(\gamma^{\text{v}}_{\text{s}}, \text{l}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > \tilde{L}$, any RW to the destination via $st$ is longer than reference RW $st$ is thereby removed. 3) *Unpromising Locking* (ULSL). If $\text{c}_\text{c}(st_{\text{s}},st) + \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > currently it is not likely to find any feasible RW path via $st$. Therefore, PPNP search expanded from $st$. that $st$ cannot removed
 the current best feasible refErence path.

the seArcH prOcEss oF PPNp resembles that IN IDWs; PPNP here also maintains A prioRiTY queUE $\mAthbf{q}$, and the SEaRCH prOcEsS alSo COnTains IteRative rOunds of locO-stAtE examination. hOwEver, PPNP is SubTly different FroM IDWS iN RpGP. idWS exPloRes a tIny fraCTion of The loco-stAtE Space aND finds a REFeRencE RW path, while PPNP iNVeSTigates the loco-State sPaCE cOMPreHenSively and tRiMs off REdundanT LoCO-STatES. While the searCh order in IDws foLlows TeCo, PWso and VWnO, PPNp dOEs nOt employ theM. InsTead, the orDer in PpnP is conTRolled bY pruniNg sTraTegiES, aNd LocO-sTAteS MaY re-ENteR the prioRiTy Queue In PPnp. tHRougHouT the SearcH process, To skiP reDundANt lOco-stAtes, PpNP eXpLores The folLowinG pRuning strategieS. 1) *InfEasible LoCo-STaTe PRuNing* (IlsP). If $\teXt{c}^{\AlpHa}_{\min}(\gaMma^{\text{V}}_{\TexT{s}}, \GAMMa^{\Text{v}}_{st}) + \text{c}^{\alpha}_{\mIn}(\GAMmA^{\text{v}}_{st}, \Gamma^{\tEXt{V}}_{\tEXt{t}}) > C$, everY Rw paTh frOM $St_{\texT{s}}$ to THe DestinatIon via $ST$ iS iNfeasibLe. thus, $st$ Is RemOveD. 2) *SuboPTimaL Loco-STate PrunIng* (SLsp). If $\text{l}_{\min}(\gamMA^{\text{v}}_{\text{s}}, \gaMMa^{\TEXt{V}}_{St}) + \teXt{l}_{\Min}(\gamma^{\texT{v}}_{st}, \GAmma^{\Text{V}}_{\TeXt{t}}) > \TIlde{L}$, Any RW PaTH fROm $st_{\text{s}}$ to the destiNaTion viA $st$ is Longer than the Reference Rw PATh. $st$ is thErebY ReMOved. 3) *UnpromisinG Loco-state LockiNG* (ULSL). If $\tExt{c}_\tExt{c}(st_{\teXt{s}},st) + \text{C}^{\ALpha}_{\min}(\gAmmA^{\teXt{v}}_{St}, \gAMMa^{\Text{v}}_{\text{t}}) > C$, cuRREntlY iT is not lIkeLy to finD anY feAsiBle rW Path via $st$. thereforE, PpNp pAuSes The seARch expanDeD frOm $St$. NOte thAT $st$ canNot be RemoVeD yET
 the current best feasible  reference  path .
The  s earc h pr ocess of PPNPr esem bles that in IDWS; PPN P her ea lsom ai ntain s a pri o ri t y  qu eu e$\m at h bf {Q}$,  an d the s earch proc ess  a lso contains it erative ro und s of loco-st ate  exami na tio n . How eve r, PP NP iss ubtlydifferent  f r om IDW S  in RPG P .  I DWSexplores a tiny f r ac t ion of the loc o-stat es pa c e  an d f inds a ref er enceR W path, wh i l e  PP N P investigate s the loco- s tat e spac ecom p rehens ively  a n d t rims off re dund ant loco- states .  Whilet he sear ch ord erinIDWS fo ll ows  T E CO, PW SOa ndVWNO, PP NP  d oes n ot e m p l o y th em.  Ins tead,  the order in  PP NP i s  co ntrol led b y pr un ing s trateg ies,an d loco-states m ay r e-enter t hepr ior it y que u e in P PNP . T hrougho ut thes ear ch p r oc ess, To skip redun da n t  l oco-stat es, PP N Pex p lores th efol lowi n g  prun ings tr ategies.  1) *I n fe as ible Lo co -State  P run ing * (IL S P).If $\t ext{c}^{ \alph a }_{\min}(\gamm a ^{\text{v}}_{ \ te x t {s } }, \ gam ma^{\text{v }}_{ s t})+ \t e xt {c} ^ {\alp ha}_{ \m i n} ( \gamma^{\text{v}}_{ st }, \ga mma^{ \text{v}}_{\t ext{t}}) > C $ , everyRW p a th from $st_{\tex t{s}} $ to the d e stinatio n via  $st$ is  infeasib l e . Thus,$st $ i s r emo v e d.  2) *Suboptim a l  Loc o- State P run ing* (S LSP ).If$\t ex t{l}_{\mi n}(\gamm a^ {\ te xt {v} }_{\t e xt{s}},\g amm a^ {\t ext{v } }_{st} ) + \ text {l }_ { \mi n}(\gam m a^ { \ text {v }} _{st },\g amma^ {\te x t{v }}_{\te xt{t}}) >  \t i lde{ L} $,  any RW  path from $s t_ {\text{s}} $tothe de s t inationvia $st$ is longer than the ref ere nce R W pa th. $st$isthereb y r e moved.  3) *U nprom is ing L oco-S t a te  Lo ck ing* (ULSL ) .  If  $\te xt {c}_ \text{c }(st_{\text{s}},st )  +\text{c}^{\al pha }_{\ m i n} (\g a mm a ^{\ te x t{v } } _{st}, \gamma^{ \text{v}}_ {\ t ex t{t}}) > C $ , c ur rentlyit is n ot li k ely tofind anyfeasibleRW  pat h via  $st$. The refore,PPNP paus e s the se archexp andedfr om$st$.  Notet hat  $st$  canno tbe rem ovedye t
 the_current best_feasible reference path.

The search_process of_PPNP_resembles that_in_IDWS; PPNP here_also maintains a_priority queue $\mathbf{Q}$, and_the search process_also_contains iterative rounds of loco-state examination. However, PPNP is subtly different from IDWS in_RPGP._IDWS explores_a_tiny_fraction of the loco-state space_and finds a reference RW_path, while_PPNP investigates the loco-state space comprehensively and trims_off_redundant loco-states. While_the search order in IDWS follows TECO, PWSO and_VWNO, PPNP does not employ them._Instead, the order_in_PPNP_is controlled by pruning_strategies, and loco-states may re-enter the_priority queue in PPNP. Throughout the_search process, To skip redundant loco-states, PPNP_explores the following pruning strategies. 1)_*Infeasible Loco-State Pruning* (ILSP). If_$\text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{\text{s}}, \gamma^{\text{v}}_{st})_+ \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > C$,_every RW path_from $st_{\text{s}}$_to the destination_via $st$ is infeasible. Thus, $st$_is removed. 2)_*Suboptimal Loco-State Pruning* (SLSP). If $\text{l}_{\min}(\gamma^{\text{v}}_{\text{s}},_\gamma^{\text{v}}_{st})_+ \text{l}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}})_>_\tilde{L}$,_any RW_path from $st_{\text{s}}$_to_the destination_via_$st$ is longer than the reference_RW_path. $st$ is thereby removed. 3) *Unpromising_Loco-State Locking* (ULSL). If_$\text{c}_\text{c}(st_{\text{s}},st)_+ \text{c}^{\alpha}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) >_C$, currently it is not_likely to find any feasible RW_path via_$st$. Therefore,_PPNP pauses the search expanded from $st$. Note that $st$ cannot_be removed yet