frac{U}{\varepsilon L/k'})$, we have that its running time is $\tilde{O}(2^k {\mathrm{poly}}(k) n^\omega /\varepsilon)$ by Proposition \[lemma:bound\], with the bound $B=  \frac{U}{\varepsilon L/k'}$ which is $O(k/\varepsilon)$ since at this stage $U \leq 2L$. We conclude that the overall running time of the approximation algorithm is $\tilde{O}(2^k {\mathrm{poly}}(k) n^\omega(\log\log M + 1/\varepsilon))$.

#### Correctness.

Throughout the execution, the algorithm maintains the invariant that $L < X < X+\delta U< U$. That can be easily seen by substituting $X$ and $\delta$ for their values and observing that $L < \sqrt{LU} < L^{1/3}U^{2/3} < U$. Assume there exist a $k$-path in $G$, and let $OPT$ be the minimum-weight $k$-path. By the scaling arguments, and the fact that we have brought the loss of precision due to scaling into consideration when redefining $U$ and $L$, we have that the invariant $L \leq w(OPT) \leq U$ always holds. Due to the running-time argument, when the main loop is done we have $U/L \leq 2$. Let $P^*$ be the result of the call to $\mathcal{B}(G',k,  \frac{U}{\varepsilon L/k'})$ at line \[line:return\] of the pseudo-code, and notice the the weights defined at line \[line:weights-final\] incur an $\varepsilon L /k'$ loss of precision per edge, or equivalently $\varepsilon L $ per $k$-path. By the call to the exact algorithm, we have that $w'(P^*) \leq w'(OPT)$ and therefore also ${w_{\mathrm{eff}}}(P^*) \leq {w_{\mathrm{eff}}}(OPT)$. Accounting for the loss of precision, we have that $w(P^*) \leq {w_{\mathrm{eff}}}(P^*) + \varepsilon L \leq {w_{\mathrm{eff}}}(OPT) + \varepsilon L \leq (1+\varepsilon)w(OPT)$.

$k$-tree {#sec:tree}
========

In [@
frac{U}{\varepsilon L / k'})$, we have that its running time is $ \tilde{O}(2^k { \mathrm{poly}}(k) n^\omega /\varepsilon)$ by Proposition   \[lemma: bound\ ], with the bound $ B=   \frac{U}{\varepsilon L / k'}$ which is $ O(k/\varepsilon)$ since at this stagecoach $ uracil \leq 2L$. We conclude that the overall running time of the estimate algorithm is $ \tilde{O}(2^k { \mathrm{poly}}(k) n^\omega(\log\log M + 1/\varepsilon))$. 

 # # # # Correctness. 

 Throughout the execution, the algorithm maintains the invariant that $ L < X < X+\delta U < U$. That can be well see by substituting $ X$ and $ \delta$ for their value and observing that $ L < \sqrt{LU } < L^{1/3}U^{2/3 } < U$. Assume there exist a $ k$-path in $ G$, and let $ OPT$ be the minimum - weight unit $ k$-path. By the scaling arguments, and the fact that we have brought the passing of preciseness due to scaling into consideration when redefine $ U$ and $ L$, we have that the invariant $ L \leq w(OPT) \leq U$ constantly holds. Due to the running - time argumentation, when the main loop is done we have $ uracil / L \leq 2$. Let $ P^*$ be the result of the call to $ \mathcal{B}(G',k,   \frac{U}{\varepsilon L / k'})$ at line   \[line: return\ ] of the pseudo - code, and detect the the weights defined at line   \[line: weights - final\ ] incur an $ \varepsilon L /k'$ loss of precision per edge, or equivalently $ \varepsilon L $ per $ k$-path. By the call to the exact algorithm, we have that $ w'(P^ *) \leq w'(OPT)$ and therefore also $ { w_{\mathrm{eff}}}(P^ *) \leq { w_{\mathrm{eff}}}(OPT)$. Accounting for the loss of precision, we have that $ w(P^ *) \leq { w_{\mathrm{eff}}}(P^ *) + \varepsilon L \leq { w_{\mathrm{eff}}}(OPT) + \varepsilon L \leq (1+\varepsilon)w(OPT)$. 

 $ k$-tree { # sec: tree } 
 = = = = = = = = 

 In   [ @
fraf{U}{\varepsilon L/k'})$, we have uhat its running jine is $\vilde{O}(2^k {\mathrm{puly}}(k) n^\omega /\varepsilon)$ by Prlpisitiin \[lemma:bound\], with the cound $B=  \vrac{U}{\varwpsioin L/k'}$ whici is $O(k/\varepsimln)$ snnre at this stagg $U \leq 2L$. We conclude that tfe overall running time of the approxymation apgorithm is $\tijde{O}(2^l {\matggm{koly}}(k) n^\omega(\log\log M + 1/\varepsilon))$.

#### Dorrectiess.

Throughout yhe execution, the algorithl malntains the invariwnt that $L < X < V+\eelta U< U$. Thxt can be tavily seen gy substituting $X$ and $\delta$ for theix values ane ibsftving that $L < \sqrn{LU} < L^{1/3}U^{2/3} < U$. Assume these exisy a $k$-path in $G$, anv ler $OPT$ be the minimum-wxight $k$-path. By the ssaling arcujents, and the facr rhat fe hdve ceoueht tie moss ov pcecision dus to scalint into consideratiom ryen redefininf $U$ anq $J$, we have that the invariant $L \leq w(OPT) \les U$ always holds. Due to the running-time argulent, when the main loop is done we have $U/L \leq 2$. Let $P^*$ be tve reajlt on thd cwll to $\mathcal{B}(G',k,  \frac{U}{\varepsilon L/k'})$ at line \[jjnt:renurn\] of the pseudj-code, and nptlcr the the weigfts deyjnsd at line \[line:weigjts-finaj\] incyr an $\vartpsilpn L /k'$ loss of precision pee edge, or eqlivaoently $\varepsilon P $ per $k$-patk. By tne cakl to the exact algoritkm, we gave that $w'(O^*) \leq w'(OPF)$ and therefore auso ${w_{\kathrm{eff}}}(P^*) \leq {w_{\mathrm{eff}}}(O[T)$. Accounving yor the uoss of prqcision, we have that $w(P^*) \leq {w_{\mathrl{eff}}}(P^*) + \earepsilon L \leq {w_{\mathrm{eff}}}(OPT) + \varepsiloi L \leq (1+\varepxinon)f(OPT)$.

$k$-trez {#sec:tvee}
========

In [@
frac{U}{\varepsilon L/k'})$, we have that its running $\tilde{O}(2^k n^\omega /\varepsilon)$ Proposition \[lemma:bound\], with which $O(k/\varepsilon)$ since at stage $U \leq We conclude that the overall running of the approximation algorithm is $\tilde{O}(2^k {\mathrm{poly}}(k) n^\omega(\log\log M + 1/\varepsilon))$. #### Correctness. the execution, the algorithm maintains the invariant that $L < X < X+\delta U$. can easily by substituting $X$ and $\delta$ for their values and observing that $L < \sqrt{LU} < L^{1/3}U^{2/3} U$. Assume there exist a $k$-path in $G$, let $OPT$ be the $k$-path. By the scaling arguments, the that we brought loss precision due to into consideration when redefining $U$ and $L$, we have that the invariant $L \leq w(OPT) \leq U$ holds. Due running-time argument, the loop done we have 2$. Let $P^*$ be the result to $\mathcal{B}(G',k, \frac{U}{\varepsilon L/k'})$ at line \[line:return\] of pseudo-code, and the the weights defined at line incur an $\varepsilon L /k'$ loss of precision edge, or equivalently $\varepsilon L $ per $k$-path. By the call to the exact algorithm, that $w'(P^*) \leq w'(OPT)$ therefore also ${w_{\mathrm{eff}}}(P^*) {w_{\mathrm{eff}}}(OPT)$. for loss precision, we that $w(P^*) \leq {w_{\mathrm{eff}}}(P^*) + \varepsilon L \leq {w_{\mathrm{eff}}}(OPT) + \varepsilon \leq (1+\varepsilon)w(OPT)$. $k$-tree {#sec:tree} ======== In [@
frac{U}{\varepsilon L/k'})$, we have thAt its runniNg timE is $\TilDe{o}(2^k {\maThrm{Poly}}(k) n^\omega /\varEPsilOn)$ by Proposition \[lemma:boUnd\], wiTh THe boUNd $b=  \frac{u}{\varepsILoN l/K'}$ whIcH iS $O(k/\VaREpSilon)$ SinCe at thiS stage $U \leq 2l$. We CoNclude that thE OvErall runniNg tIme of the apprOxiMation AlGorIThm is $\TilDe{O}(2^k {\mAthrm{pOLy}}(k) n^\omEga(\log\log m + 1/\vARepsilON))$.

#### CorrecTNEsS.

ThrOughout the executiON, tHE algorithm mainTains tHe INvARIanT thAt $L < X < X+\delta u< U$. that cAN be easiLY sEEN By sUBstituting $X$ anD $\delta$ for thEIr vAlues aNd ObsERving tHat $L < \sQrT{lU} < L^{1/3}u^{2/3} < U$. Assume theRe exIst a $k$-path In $G$, and LEt $OPT$ be THe minimUm-weigHt $k$-PatH. By tHE sCaLinG aRGumENtS, anD The Fact that We HaVe broUght THE LOss oF prEcisIon duE to scaling intO coNsidERatIon whEn redEfinInG $U$ and $l$, we havE that ThE invariant $L \leq w(oPT) \lEq U$ always HolDs. due To The ruNNing-tiMe aRguMent, wheN the maiN LooP iS DONe We have $U/L \leq 2$. Let $P^*$ be tHe RESuLt of the cAll to $\mAThCaL{b}(G',k,  \frac{U}{\VaRepSiloN l/K'})$ at liNe \[liNE:rEturn\] of tHe pseuDO-cOdE, and notIcE the thE wEigHts DefinED at lIne \[linE:weights-Final\] INcur an $\varepsilON L /k'$ loss of precISiON PeR Edge, Or eQuivalently $\VarePSiloN L $ peR $K$-pAth. bY the cAll to ThE ExACt algorithm, we have thAt $W'(P^*) \leq w'(oPT)$ anD therefore alsO ${w_{\mathrm{efF}}}(p^*) \LEq {w_{\mathrM{eff}}}(opT)$. aCcounting for thE loss Of precisioN, We have thAt $w(P^*) \lEq {w_{\mathrM{eff}}}(P^*) + \varePSIlon L \leq {W_{\maThrM{efF}}}(OPt) + \VArEpsilon L \leq (1+\vaREPsilOn)W(OPT)$.

$k$-trEe {#sEc:tree}
========

IN [@
frac{U}{\varepsilon L/k'}) $, we have  that  it s r un ning  tim e is $\tilde{O } (2^k  {\mathrm{poly}}(k) n^ \omeg a/ \var e ps ilon) $ by Pr o po s i tio n\[ lem ma : bo und\] , w ith the  bound $B=   \ fr ac{U}{\varep s il on L/k'}$whi ch is $O(k/\ var epsilo n) $ s i nce a t t his s tage $ U  \leq2L$. We c on c lude t h at theo v er allrunning time of t h ea pproximation a lgorit hm is $ \ti lde {O}(2^k {\ ma thrm{ p oly}}(k )  n ^ \ o meg a (\log\log M +  1/\varepsi l on) )$.

# ## # C o rrectn ess.
T h rou ghout the e xecu tion, the  algor i thm mai n tains t he inv ari ant  tha t  $ L< X  < X+\ d el taU < U $. Thatca nbe ea sily s e e n by  su bsti tutin g $X$ and $\d elt a$ f o r t heirvalue s an dobser ving t hat $ L< \sqrt{LU} < L ^{1/ 3}U^{2/3}  <U$ . A ss ume t h ere ex ist  a$k$-pat h in $G $ , a nd l e t$OPT$ be the minim um - w ei ght $k$- path.B yth e  scaling  a rgu ment s ,  andthef ac t that w e have br ou ght the  l oss of  p rec isi on du e  toscalin g into c onsid e ration when re d efining $U$ a n d$ L $, we h ave  that the i nvar i ant$L \ l eq  w( O PT) \ leq U $a lw a ys holds. Due to th erunnin g-tim e argument, w hen the ma i n loop isdone we have $U/L \leq  2$.Let $P^*$b e the re sultof the c all to $\ m a thcal{B} (G' ,k,   \ fra c { U} {\varepsilonL / k'}) $at line  \[ line:re tur n\]  of  th epseudo-co de, andno ti ce  t hethe w e ights de fi ned  a t l ine \ [ line:w eight s-fi na l\ ]  in cur an$ \v a r epsi lo nL /k '$lo ss of  pre c isi on peredge, orequ i vale nt ly  $\vare psilon L $ pe r$k$-path.By  th e call t o the ex act algorithm, we havet hat $w' (P^ *) \l eq w '(OPT)$ a ndtheref ore also $ {w_{\m athrm {e ff} } } (P^*) \ le q { w_ {\mathrm{e f f }}} (OPT) $.  Acc ounting  for the loss of p r eci sion, we have  th at $ w ( P^ *)\ le q  {w _{ \ mat h r m{eff}}}(P^*) +  \varepsil on L\leq {w_{\ m ath rm {eff}}} (OPT) +  \var e psilonL \leq (1 +\varepsi lo n)w( O P T)$ .

$k$-tre e {#sec: tree}
=== = ====In  [@
frac{U}{\varepsilon L/k'})$,_we have_that its running time_is $\tilde{O}(2^k_{\mathrm{poly}}(k)_n^\omega /\varepsilon)$_by_Proposition \[lemma:bound\], with the_bound $B= _\frac{U}{\varepsilon L/k'}$ which is_$O(k/\varepsilon)$ since at_this_stage $U \leq 2L$. We conclude that the overall running time of the approximation_algorithm_is $\tilde{O}(2^k_{\mathrm{poly}}(k)_n^\omega(\log\log_M + 1/\varepsilon))$.

#### Correctness.

Throughout the_execution, the algorithm maintains the_invariant that_$L < X < X+\delta U< U$. That_can_be easily seen_by substituting $X$ and $\delta$ for their values and_observing that $L < \sqrt{LU} <_L^{1/3}U^{2/3} < U$._Assume_there_exist a $k$-path in_$G$, and let $OPT$ be the_minimum-weight $k$-path. By the scaling arguments,_and the fact that we have brought_the loss of precision due to_scaling into consideration when redefining_$U$ and_$L$, we have that the_invariant $L \leq_w(OPT) \leq_U$ always holds._Due to the running-time argument, when_the main loop_is done we have $U/L \leq_2$._Let $P^*$ be_the_result_of the_call to $\mathcal{B}(G',k,__\frac{U}{\varepsilon L/k'})$_at_line \[line:return\] of the pseudo-code, and notice_the_the weights defined at line \[line:weights-final\] incur an_$\varepsilon L /k'$ loss_of_precision per edge, or_equivalently $\varepsilon L $ per_$k$-path. By the call to the_exact algorithm,_we have_that $w'(P^*) \leq w'(OPT)$ and therefore also ${w_{\mathrm{eff}}}(P^*) \leq {w_{\mathrm{eff}}}(OPT)$. Accounting_for the loss of precision, we_have that $w(P^*) \leq_{w_{\mathrm{eff}}}(P^*) +_\varepsilon_L \leq {w_{\mathrm{eff}}}(OPT)_+_\varepsilon L_\leq (1+\varepsilon)w(OPT)$.

$k$-tree {#sec:tree}
========

In [@