 because when the RW path from $st_{\text{s}}$ to $st$ improves later, $\text{c}_\text{c}(st_{\text{s}},st)$ decreases. Hence, $st$ may be expanded accordingly. However, if PPNP now expands $st$, the subsequently visited loco-states always satisfy ULSL and create no feasible solution. Thus, when a loco-state satisfies ULSL, its examination is *postponed* (i.e., not revisited) until all other loco-states in $\mathbf{Q}$ are examined. Similarly, a loco-state $st$ is shelved when $\text{l}_\text{l}(st_{\text{s}},st) + \text{l}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > \tilde{L}$. If all remaining loco-states are postponed, the reference path cannot be improved, and those states are removed accordingly.

If the current loco-state $st$ passes the above pruning criteria, for each unvisited $st' \in \text{N}(st)$, PPNP assigns $\text{l}_\text{l}(st_{\text{s}},st') = \text{l}_\text{l}(st_{\text{s}},st) + \text{l}(st, st')$, $\text{c}_\text{l}(st_{\text{s}},st') = \text{c}_\text{l}(st_{\text{s}},st) + \text{MIL}(st, st')$, $\text{l}_\text{c}(st_{\text{s}},st') = \text{l}_\text{c}(st_{\text{s}},st) + \text{l}(st, st')$, $\text{c}_\text{c}(st_{\text{s}},st') = \text{c}_\text{c}(st_{\text{s}},st) + \text{MIL}(st, st')$, and also $\text{pred}_\text{l}(st') = \text{pred}_\text{c}(st') = st$. On the other hand, for each visited $st'$, PPNP updates $\text{l}_\text{l}(st_{\text{s}},st'), \text{c}_\text{l}(st_{\text{s}},st')$,
because when the RW path from $ st_{\text{s}}$ to $ st$ improves later, $ \text{c}_\text{c}(st_{\text{s}},st)$ decreases. therefore, $ st$ may be expand accordingly. However, if PPNP now expand $ st$, the subsequently travel to loco - states always meet ULSL and create no feasible solution. Thus, when a loco - state of matter satisfies ULSL, its examination is * postponed * (i.e., not revisit) until all other loco - states in $ \mathbf{Q}$ are examined. Similarly, a loco - state $ st$ is postpone when $ \text{l}_\text{l}(st_{\text{s}},st) + \text{l}_{\min}(\gamma^{\text{v}}_{st }, \gamma^{\text{v}}_{\text{t } }) > \tilde{L}$. If all remaining loco - states are postponed, the reference path cannot be better, and those states are removed accordingly. 

 If the current loco - department of state $ st$ passes the above pruning criteria, for each unvisited $ st' \in \text{N}(st)$, PPNP assigns $ \text{l}_\text{l}(st_{\text{s}},st') = \text{l}_\text{l}(st_{\text{s}},st) + \text{l}(st, st')$, $ \text{c}_\text{l}(st_{\text{s}},st') = \text{c}_\text{l}(st_{\text{s}},st) + \text{MIL}(st, st')$, $ \text{l}_\text{c}(st_{\text{s}},st') = \text{l}_\text{c}(st_{\text{s}},st) + \text{l}(st, st')$, $ \text{c}_\text{c}(st_{\text{s}},st') = \text{c}_\text{c}(st_{\text{s}},st) + \text{MIL}(st, st')$, and besides $ \text{pred}_\text{l}(st') = \text{pred}_\text{c}(st') = st$. On the other handwriting, for each visited $ st'$, PPNP updates $ \text{l}_\text{l}(st_{\text{s}},st'), \text{c}_\text{l}(st_{\text{s}},st')$,
 befause when the RW path fvom $st_{\text{s}}$ to $sj$ umprovxs lated, $\text{c}_\tdxt{c}(st_{\text{s}},st)$ decreases. Hencx, $st$ may ve expanded accordinglh. However, if PPNP now wxpands $st$, the subsequenfpy vnsmted loco-states always sadisfy ULSL and cfecte no feasible solution. Thus, when a loco-ststf satisfies ULFL, ius qxamjnation is *postponed* (i.e., not revisifed) untpl all other loco-xtates in $\mathbf{Q}$ are examlned. Similarly, a loco-shate $st$ is wheldwd when $\text{u}_\text{l}(st_{\teqc{s}},st) + \text{l}_{\jin}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) > \tilbe{L}$. If all tznaijhng loco-staves arv postponed, tmv referance payh cannot be ikprmvee, and those states arx removed accordingli.

If the cusrznt loco-state $st$ passws the dbova prjbine cdiverja, for earh unvisites $st' \in \texr{N}(st)$, PPNP assigns $\ttxt{j}_\nrxt{l}(st_{\text{s}},sf') = \texe{l}_\eext{l}(st_{\text{s}},st) + \text{l}(st, st')$, $\text{c}_\text{l}(st_{\uext{s}},at') = \text{c}_\text{l}(st_{\text{s}},st) + \text{MIL}(st, st')$, $\text{l}_\tgxt{c}(st_{\text{f}},st') = \text{l}_\text{c}(st_{\text{s}},st) + \text{l}(st, st')$, $\text{c}_\text{c}(st_{\dext{s}},ag') = \uewb{c}_\tebr{c}(dt_{\text{s}},st) + \text{MIL}(st, st')$, and also $\text{pred}_\text{j}(at') = \next{pred}_\text{c}(st') = ft$. On the oyhfr rand, for each visitzs $at'$, PPNP updates $\tedt{l}_\text{j}(st_{\tezt{s}},st'), \texu{c}_\texy{l}(st_{\text{s}},st')$,
because when the RW path from $st_{\text{s}}$ improves $\text{c}_\text{c}(st_{\text{s}},st)$ decreases. $st$ may be now $st$, the subsequently loco-states always satisfy and create no feasible solution. Thus, a loco-state satisfies ULSL, its examination is *postponed* (i.e., not revisited) until all loco-states in $\mathbf{Q}$ are examined. Similarly, a loco-state $st$ is shelved when $\text{l}_\text{l}(st_{\text{s}},st) \text{l}_{\min}(\gamma^{\text{v}}_{st}, > If remaining loco-states are postponed, the reference path cannot be improved, and those states are removed accordingly. the current loco-state $st$ passes the above pruning for each unvisited $st' \text{N}(st)$, PPNP assigns $\text{l}_\text{l}(st_{\text{s}},st') = + st')$, $\text{c}_\text{l}(st_{\text{s}},st') \text{c}_\text{l}(st_{\text{s}},st) \text{MIL}(st, $\text{l}_\text{c}(st_{\text{s}},st') = \text{l}_\text{c}(st_{\text{s}},st) \text{l}(st, st')$, $\text{c}_\text{c}(st_{\text{s}},st') = \text{c}_\text{c}(st_{\text{s}},st) + \text{MIL}(st, st')$, and also $\text{pred}_\text{l}(st') = \text{pred}_\text{c}(st') = st$. On the hand, for $st'$, PPNP $\text{l}_\text{l}(st_{\text{s}},st'),
 because when the RW path from $sT_{\text{s}}$ to $st$ ImproVes LatEr, $\Text{C}_\texT{c}(st_{\text{s}},st)$ decREaseS. Hence, $st$ may be expanded aCcordInGLy. HoWEvEr, if PpNP now eXPaNDS $st$, ThE sUbsEqUEnTly viSitEd loco-sTates alwayS saTiSfy ULSL and crEAtE no feasiblE soLution. Thus, whEn a Loco-stAtE saTIsfieS ULsL, its ExaminATion is *Postponed* (I.e., NOt reviSIted) untIL AlL othEr loco-states in $\matHBf{q}$ Are examined. SimIlarly, A lOCo-STAte $St$ iS shelved whEn $\Text{l}_\TExt{l}(st_{\tEXt{S}},ST) + \TexT{L}_{\min}(\gamma^{\text{V}}_{st}, \gamma^{\texT{V}}_{\teXt{t}}) > \tilDe{l}$. If ALl remaIning LoCO-stAtes are postPoneD, the referEnce paTH cannot BE improvEd, and tHosE stAtes ARe ReMovEd ACcoRDiNglY.

if tHe currenT lOcO-statE $st$ pASSES the AboVe prUning Criteria, for eaCh uNvisITed $St' \in \tExt{N}(sT)$, PPNp aSsignS $\text{l}_\Text{l}(St_{\Text{s}},st') = \text{l}_\texT{l}(st_{\Text{s}},st) + \teXt{l}(St, St')$, $\tExT{c}_\texT{L}(st_{\texT{s}},sT') = \teXt{c}_\text{L}(st_{\text{S}},St) + \tExT{mil}(sT, st')$, $\text{l}_\text{c}(st_{\texT{s}},ST') = \TeXt{l}_\text{c}(St_{\text{S}},St) + \TeXT{l}(st, st')$, $\teXt{C}_\teXt{c}(sT_{\TExt{s}},sT') = \texT{C}_\tExt{c}(st_{\teXt{s}},st) + \tEXt{mIl}(st, st')$, anD aLso $\texT{pRed}_\TexT{l}(st') = \tEXt{prEd}_\text{C}(st') = st$. On tHe othER hand, for each viSIted $st'$, PPNP updATeS $\TExT{L}_\texT{l}(sT_{\text{s}},st'), \texT{c}_\teXT{l}(st_{\Text{S}},St')$,
 because when the RW pathfrom $st_{ \text {s} }$to  $st $ im proves later,$ \tex t{c}_\text{c}(st_{\tex t{s}} ,s t )$ d e cr eases . Hence ,  $ s t $ m ay  b e e xp a nd ed ac cor dingly.  However,ifPP NP now expan d s$st$, thesub sequently vi sit ed loc o- sta t es al way s sat isfy U L SL and  create n of easibl e  soluti o n .Thus , when a loco-sta t es atisfies ULSL,  its e xa m in a t ion  is  *postpone d*  (i.e . , not r e vi s i t ed) until all oth er loco-sta t esin $\m at hbf { Q}$ ar e exa mi n ed.  Similarly,  a l oco-state  $st$i s shelv e d when$\text {l} _\t ext{ l }( st _{\ te x t{s } }, st) + \ text{l}_ {\ mi n}(\g amma ^ { \ t ext{ v}} _{st }, \g amma^{\text{v }}_ {\te x t{t }}) >  \til de{L }$ . Ifall re maini ng  loco-states ar e po stponed,the  r efe re nce p a th can not  be  improv ed, and tho se s t at es are removed acc or d i ng ly.

Ifthe cu r re nt loco-sta te  $s t$ p a s ses t he a b ov e prunin g crit e ri a,  for ea ch  unvis it ed$st ' \in \tex t{N}(s t)$, PPN P ass i gns $\text{l}_ \ text{l}(st_{\ t ex t { s} } ,st' ) =  \text{l}_\ text { l}(s t_{\ t ex t{s } },st)  + \t ex t {l } (st, st')$, $\text{ c} _\text {l}(s t_{\text{s}}, st') = \te x t { c}_\text {l}( s t_ { \text{s}},st)+ \te xt{MIL}(st ,  st')$,$\tex t{l}_\te xt{c}(st_ { \ text{s}} ,st ')= \ tex t { l} _\text{c}(st_ { \ text {s }},st)+ \ text{l} (st , s t') $,$\ text{c}_\ text{c}( st _{ \t ex t{s }},st ' ) = \tex t{ c}_ \t ext {c}(s t _{\tex t{s}} ,st)  +  \ t ext {MIL}(s t ,s t ')$,  a nd  als o $ \t ext{p red} _ \te xt{l}(s t') = \te xt{ p red} _\ te xt{c}(s t') = st$. On  t he other h an d,for ea c h  visited  $st'$, PPNP updates $\ t ext{l}_ \te xt{l} (st_ {\text{s} },s t'), \ tex t {c}_\t ext{l} (st_{ \t ext { s }},st ' ) $, 
 because_when the_RW path from $st_{\text{s}}$_to $st$_improves_later, $\text{c}_\text{c}(st_{\text{s}},st)$_decreases._Hence, $st$ may_be expanded accordingly._However, if PPNP now_expands $st$, the_subsequently_visited loco-states always satisfy ULSL and create no feasible solution. Thus, when a loco-state_satisfies_ULSL, its_examination_is_*postponed* (i.e., not revisited) until_all other loco-states in $\mathbf{Q}$_are examined._Similarly, a loco-state $st$ is shelved when $\text{l}_\text{l}(st_{\text{s}},st)_+_\text{l}_{\min}(\gamma^{\text{v}}_{st}, \gamma^{\text{v}}_{\text{t}}) >_\tilde{L}$. If all remaining loco-states are postponed, the reference_path cannot be improved, and those_states are removed_accordingly.

If_the_current loco-state $st$ passes_the above pruning criteria, for each_unvisited $st' \in \text{N}(st)$, PPNP assigns_$\text{l}_\text{l}(st_{\text{s}},st') = \text{l}_\text{l}(st_{\text{s}},st) + \text{l}(st, st')$, $\text{c}_\text{l}(st_{\text{s}},st')_= \text{c}_\text{l}(st_{\text{s}},st) + \text{MIL}(st, st')$, $\text{l}_\text{c}(st_{\text{s}},st')_= \text{l}_\text{c}(st_{\text{s}},st) + \text{l}(st, st')$,_$\text{c}_\text{c}(st_{\text{s}},st') =_\text{c}_\text{c}(st_{\text{s}},st) + \text{MIL}(st, st')$, and_also $\text{pred}_\text{l}(st') =_\text{pred}_\text{c}(st') =_st$. On the_other hand, for each visited $st'$,_PPNP updates $\text{l}_\text{l}(st_{\text{s}},st'),_\text{c}_\text{l}(st_{\text{s}},st')$,