Fluxul minim de costuri
Versiunea actuală a paginii nu a fost încă revizuită de colaboratori experimentați și poate diferi semnificativ de
versiunea revizuită la 22 ianuarie 2017; verificările necesită
6 modificări .
Problema fluxului de cost minim este de a găsi cea mai ieftină modalitate de a transfera un flux de o anumită cantitate printr-o rețea de transport .
Definiții
Având în vedere o rețea de transport cu sursă și chiuvetă , unde marginile au capacitate , debit și preț . Costul de redirecționare a fluxului pentru margine este egal cu . Este necesar să găsiți un flux cu o valoare de unități.
![G(V,E)](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dc43221ee885a10b87c89373b12b8c1110e7ca5)
![s\în V](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d0095775fbbb20c3976941c594f583203b2b89d)
![t\in V](https://wikimedia.org/api/rest_v1/media/math/render/svg/c51f36e753ca99f6887443b091b49d22f03f3c99)
![{\displaystyle e\in E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34778736d9c6d607a4da3d25594b38dd3e8c82ed)
![{\displaystyle c(e)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96d2d9855e593d819beb792aca2887ba4a9153d6)
![{\displaystyle f(e)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ff5e01076011aae0013a78dcee0fabbacc06a8d)
![{\displaystyle a(e)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a15caa4640f7b3936f189c1940919db6035cca0)
![e](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd253103f0876afc68ebead27a5aa9867d927467)
![{\displaystyle f(e)\cdot a(e)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d31413f81337b7ad97a062b47b48048b48323ce)
![d](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ff03cbe0c7341af6b982e47e9f90d235c66ab)
Esența problemei este de a găsi un flux f ( u , v ) care să minimizeze costul total :
Se aplică următoarele condiții:
Limită de lățime de bandă : |
. Fluxul nu poate depăși lățimea de bandă.
|
Antisimetrie : |
. Fluxul de la până trebuie să fie opus fluxului de la până la .
![u](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8) ![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597) ![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597) ![u](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3e6bb763d22c20916ed4f0bb6bd49d7470cffd8) |
Flux de economisire : |
.
|
Flux necesar : |
|
Relația cu alte sarcini
O alta varianta a acestei probleme este gasirea debitului maxim care are pretul minim dintre cele maxime.
O problemă mai generală este circulația fluxului de cost minim , care poate fi folosit pentru a rezolva această problemă. Setăm limita inferioară pentru toate muchiile egale cu zero și trasăm o margine suplimentară de la chiuvetă la sursă cu o capacitate și o limită inferioară .
![t](https://wikimedia.org/api/rest_v1/media/math/render/svg/65658b7b223af9e1acc877d848888ecdb4466560)
![s](https://wikimedia.org/api/rest_v1/media/math/render/svg/01d131dfd7673938b947072a13a9744fe997e632)
![c(t,s)=d](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b342e85de9982551b20096d097319a531cbe863)
![l(t,s)=d](https://wikimedia.org/api/rest_v1/media/math/render/svg/c025b8a0a15a4c4549e40d318105711a0fcae4c3)
Este de remarcat că pentru , problema găsirii fluxului minim de cost corespunde problemei găsirii căii celei mai scurte . În cazul în care costul este pentru toate marginile graficului, problema poate fi rezolvată prin algoritmi adaptați pentru găsirea debitului maxim:
![{\displaystyle d=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/958b426c5ace91d4fb7f5a3becd7b21dba288d50)
![{\displaystyle a(e)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f4cbaf4a8121fbaa0d8d2bc957eae58ee752fc)
- De îndată ce prima dată, opriți algoritmul.
![{\displaystyle |f|\geqslant d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/322af5c0900de793ea254f45496e0361092def1f)
- Fie valoarea ultimului complement al fluxului.
![p](https://wikimedia.org/api/rest_v1/media/math/render/svg/81eac1e205430d1f40810df36a0edffdc367af36)
- Înlocuiți ultimul flux cu un flux cu valoare .
![{\displaystyle p-(|f|-d)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/56072bc27895b72c49dbd863caf905a270c18efd)
Există, de asemenea, o soluție alternativă la problema cu costul limită zero:
- Creați un nou vârf sursă .
![s'](https://wikimedia.org/api/rest_v1/media/math/render/svg/5136680c63706cfd17ceddb4acddbfdd0ba5ef2d)
- Adăugați o margine cu capacitate .
![{\displaystyle e'=(s',s)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/69dbee3efd0ae63c27a9644210952dc0b39e15d1)
![{\displaystyle c(e')=d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ff0362e97ba917a57f57e7213172559da189ca9)
- Astfel debitul maxim va fi limitat .
![d](https://wikimedia.org/api/rest_v1/media/math/render/svg/e85ff03cbe0c7341af6b982e47e9f90d235c66ab)
Hotărâri
- Problema fluxului de cost minim poate fi rezolvată folosind programarea liniară .
- Găsiți orice flux de o valoare dată, apoi scăpați de toate ciclurile de cost negative din graficul rezidual. Pentru a scăpa de ciclu, trebuie să lăsați maximum posibil să curgă prin el. Ciclurile sunt căutate de algoritmul Bellman-Ford . Pentru a demonstra funcționarea algoritmului, arătăm că fluxul grafic nu este un flux de cost minim atâta timp cât rețeaua reziduală a graficului conține un ciclu negativ . Fie un flux grafic astfel încât și, prin urmare, ambele fluxuri sunt diferite unul de celălalt. Pentru toate marginile notăm și obținem - un flux ciclic. Deoarece este format dintr-un maximum de cicluri , este adevărat: , ceea ce înseamnă că există astfel încât . Pentru a optimiza algoritmul, puteți alege fiecare ciclu de iterație cu costul mediu minim . Pentru a demonstra timpul de rulare al algoritmului, împărțim cursul execuției acestuia în faze, fiecare dintre acestea fiind formată din iterații separate. Fie fluxul către începutul fazei -a. Faza este considerată încheiată atunci când se găsește un flux astfel încât sau , unde . La , algoritmul se termină. Mai mult, fie - valoarea de la începutul primei faze și - valoarea de la începutul fazei --a ( ). Astfel într-adevăr: , și de asemenea . Datorită proprietății de integralitate rezultă că și . Iterațiile pot fi împărțite condiționat în mai multe tipuri: Tip 1 - ciclul conține doar margini cu cost negativ și Tip 2 - ciclul conține cel puțin o margine cu cost pozitiv. La fiecare iterație a primului tip, cel puțin o margine va fi „saturată” și îndepărtată. În acest caz, toate muchiile formate vor avea un cost pozitiv (deoarece au direcția opusă în rețeaua reziduală). Astfel, algoritmul se va termina după cel puțin iterații consecutive de primul tip. Dacă faza conține mai mult de iterații, după iterațiile maxime se va efectua o iterație de al doilea tip. Să arătăm, totuși, că acest lucru este imposibil: Să fie un flux al primei iterații de al doilea tip. Rețineți că într-adevăr , adică fără margini noi cu cost negativ. Fie un ciclu în cu minim și muchii cu cost negativ în : . Din urmează . Astfel . O contradicție - am ajuns deja la sfârșitul fazei, ceea ce înseamnă că nu există iterații de al doilea tip și fiecare fază se termină după iterații de primul tip. Ciclul cu greutatea medie minimă poate fi găsit în . Dovada: Să fie costul celei mai profitabile căi către exact margini, apoi într-adevăr și . Se pare că toate valorile pot fi calculate folosind programarea dinamică . Lema: Valoarea ciclului cu costul mediu minim este . Fie ciclul cu costul mediu minim. Dacă creșteți costul tuturor marginilor cu , atunci rămâne un ciclu cu costul mediu minim, dar valoarea ciclului crește cu . astfel este posibil să crească toate costurile marginale astfel încât . Să arătăm că : Alegeți orice vârf și cale care se termină la și având cost . trebuie să conțină o buclă . Fie o cale care nu conține un ciclu și are lungime . Apoi există margini în ciclu. Deoarece este adevărat și pentru fiecare vârf există astfel încât . Să arătăm că : Pentru a face acest lucru, demonstrăm că există un vârf pentru care este adevărat pentru toți . Fie vârful ciclului cu costul mediu minim , fie cea mai scurtă cale care se termină cu și care nu conține un ciclu. fie numărul de vârfuri în . Introducem, de asemenea, un vârf care se află la distanța vârfurilor de la . Să numim calea de la la . Fie o cale de la la , și fie o cale de lungime minimă de la sursa graficului la . Atunci este adevărat: , și tot din ele rezultă că . Calea are un cost de 0, deoarece . Astfel pentru toată lumea . Ținând cont de lemă, obținem . Timpul de execuție a unor astfel de algoritmi va fi de , deoarece în timpul execuției algoritmului vor trece faze, în fiecare dintre acestea fiind iterații care necesită timp. Pe baza estimării anterioare a timpului se pot face următoarele: .
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![G_f](https://wikimedia.org/api/rest_v1/media/math/render/svg/86fb9e8d359d1eacb9be564288c4f2f64ce44ab2)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![{\displaystyle f^{*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/190a73fde235865b8d2a783334f90194331c7f19)
![G](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b)
![{\displaystyle l(f^{*})<l(f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/708bcf7c5039a8b36c99365eb43bd540b42aa4e2)
![{\displaystyle e\in E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34778736d9c6d607a4da3d25594b38dd3e8c82ed)
![{\displaystyle f'(e)=f^{*}(e)-f(e)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c84e9d55bc7af08b96f6acdd8ce2d794652ca46)
![f'](https://wikimedia.org/api/rest_v1/media/math/render/svg/258eaada38956fb69b8cb1a2eef46bcb97d3126b)
![f'](https://wikimedia.org/api/rest_v1/media/math/render/svg/258eaada38956fb69b8cb1a2eef46bcb97d3126b)
![{\displaystyle m'<m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b938155755d2a56cb5b1a9531ce0036fffa74796)
![{\displaystyle (1\leqslant i\leqslant m')}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b3d49b7042d8533f548866a13fae3e843961f53e)
![{\displaystyle l(f')=l(f^{*})-l(f)=\sum _{1\leqslant i\leqslant m'}l(f'_{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac0d9d695bb31f62a5c8cfc8f8a4e2bbbfb3a3be)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
![{\displaystyle l(f'_{j})<0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14c09f47b8dfcd9c13093ad3614640f829ca8735)
![{\displaystyle {\overline {l}}(C)={\frac {l(C)}{|C|}}={\frac {\sum _{e\in C}l(e)}{| C|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecfa8ff032c67e91051924aa0b0142cf2e26b2a1)
![f](https://wikimedia.org/api/rest_v1/media/math/render/svg/132e57acb643253e7810ee9702d9581f159a1c61)
![i](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![i](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![g](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
![{\displaystyle \mu (g)\leqslant (1-1/n)\cdot \mu (f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6523ba2893d0ef88e11ab0809810ecf502a9f241)
![{\displaystyle \mu (g)\leqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e34ae01023bdc42a31071974ae57d7b15a01090c)
![{\displaystyle \mu (f)=-{\overline {l))(C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6eddfe4521014143f96df9934dc1e07b4d77c53a)
![{\displaystyle \mu (g)\leqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e34ae01023bdc42a31071974ae57d7b15a01090c)
![\mu_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fe2fd9b8decb38a3cd158e7b6c0c6e2d987fefcc)
![\mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
![\mu _{i}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dea0a0293841cce9eef98b55e53a92b82ae59ee4)
![\mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
![i](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![{\displaystyle 1\leqslant i\leqslant T}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02de4557bbd23a0bb4b2095d03423309972dbd9a)
![{\displaystyle \mu _{i}\leqslant (1-1/n)\cdot \mu _{i-1}\leqslant {\frac {\mu _{i-1}}{e^{1/n }}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1c9cee2e023cdbf51ace15a94e4991ca3e9095b)
![{\displaystyle \mu _{0}\leqslant L=\sum _{e\in E}|l(e)|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7d95ccab9f82f453eb3994e1470f7fa1184f600)
![{\displaystyle \mu _{T-1}\geqslant 1/n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ff3ec4b784c7de5b3bdca7ab97a06d0721028f2)
![{\displaystyle T-1\leqslant \log _{e^{1/n}}(nL)={\frac {\ln(nL)}{\ln(e^{1/n}})))= n \ln(nL)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0487ca7cd0abe68b0fee1d161da5599264157bd9)
![{\displaystyle T\leqslant n\ln(nL)+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b84443a5b7d39d8fdad5e2b2570d902d9e394f1d)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![m-1](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecbbd201e0d8f1ccc91cb46362c4b72fa1bbe6c2)
![g](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3556280e66fe2c0d0140df20935a6f057381d77)
![{\displaystyle \forall e\in E(G_{g}):l(e)\geqslant -\mu (f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df98e92f79e1bfa64acd7aae384a9ccb0209ce14)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![{\displaystyle G_{g)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39babf4e2b8ffd4e6de2ad6ed844325b35feea1a)
![{\displaystyle {\overline {l}}(C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/246cdd55a2c1232dcae7ca7e98c6425472796ca9)
![H](https://wikimedia.org/api/rest_v1/media/math/render/svg/75a9edddcca2f782014371f75dca39d7e13a9c1b)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![{\displaystyle \mu (g)=\sum _{e\in C}{\frac {-l(e)}{|C|}}\leqslant \sum _{e\in H}{\frac {- l(e)}{|C|}}\leqslant |H|\cdot {\frac {\mu (f)}{|C|}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b33bae275c4cc42cd603c8d5adf76cdd4e1aab49)
![{\displaystyle |H|\leqslant |C|-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0ee39c8a5d4edaf47c12fc084d51f5aeeb4de0c)
![{\displaystyle |H|/|C|\leqslant 1-1/|C|\leqslant 1-1/n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad95725103ed30754f0a8f9f052cb5fd98e1a000)
![{\displaystyle \mu (g)\leqslant (1-1/n)\cdot \mu (f)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6523ba2893d0ef88e11ab0809810ecf502a9f241)
![m-1](https://wikimedia.org/api/rest_v1/media/math/render/svg/ecbbd201e0d8f1ccc91cb46362c4b72fa1bbe6c2)
![{\displaystyle O(|V||E|)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2d81aded51fae699d4f659fee1faa684233ab581)
![{\displaystyle d_{k}(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bfb887f9576230b8eb0270fcdd5cdf50e40bc0f)
![v\în V](https://wikimedia.org/api/rest_v1/media/math/render/svg/99886ebbde63daa0224fb9bf56fa11b3c8a6f4fb)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![{\displaystyle d_{0}(v)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3be5a35ba8a87d29a2544d47f548fec341bc792)
![{\displaystyle d_{k+1}(v)=\min _{e=(w,v)\in E_{f))(d_{k}(w)+l(e))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a07d209e4ab6c2d5ef5e3e722fb888d3c17e56b8)
![{\displaystyle d_{k}(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bfb887f9576230b8eb0270fcdd5cdf50e40bc0f)
![O(nm)](https://wikimedia.org/api/rest_v1/media/math/render/svg/051245e657739f572fe7902c817ea9103c687fb7)
![{\displaystyle {\overline {l}}(C)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/246cdd55a2c1232dcae7ca7e98c6425472796ca9)
![{\displaystyle \alpha =\min _{v\in V}\max _{j=0}^{n-1}({\frac {d_{n}(v)-d_{j}(v)} {nj)))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c11c2041a7fe38f39dc7e82fea8ed54a6756894)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![\delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5321cfa797202b3e1f8620663ff43c4660ea03a)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![\delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5321cfa797202b3e1f8620663ff43c4660ea03a)
![{\displaystyle {\overline {l}}(C)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84841cd33923bb5ccd61789033b337c54045a8a7)
![\alpha \geqslant 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/93787aa94c0a5402815a29096711e594e4c8d720)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![{\displaystyle d_{n}(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e5868b4b7fbb11c8d03b1c5f442fdc19973bf2e)
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![P'](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef4efa52c8f47f06136f6ebfd1d68c1249aaca39)
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
![{\displaystyle nj}](https://wikimedia.org/api/rest_v1/media/math/render/svg/269edeaa14506481081d4f11144c9ae3c4496e0d)
![{\displaystyle l(C)\geqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e17c372a41d805a383f6508785b145d656dcc81f)
![{\displaystyle d_{n}(v)=l(P)=l(C)+l(P')\geqslant l(P')\geqslant d_{j}(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0860ca2be8c41ae3272ca4e550397e0917b5686d)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![{\displaystyle j\in \{1,...,n-1\)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0779efacb0e569373e132883a107bebc170b4066)
![{\displaystyle d_{n}(v)\geqslant d_{j}(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1156732b03695bfdb7108cd845ca89a251e2dbee)
![{\displaystyle \alpha \leqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fab1a5834bb839c2ffebaf8e202db9358e0fb23)
![w](https://wikimedia.org/api/rest_v1/media/math/render/svg/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6)
![{\displaystyle d_{n}(w)\leqslant d_{j}(w)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5c204152861141908800505b741649e28eb51e4)
![{\displaystyle j\in \{1,...,n-1\)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0779efacb0e569373e132883a107bebc170b4066)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![{\displaystyle p<n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6d8a094a6c2f008f67fe973a31a59efadf54633)
![P](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4dc73bf40314945ff376bd363916a738548d40a)
![w](https://wikimedia.org/api/rest_v1/media/math/render/svg/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6)
![C](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fc55753007cd3c18576f7933f6f089196732029)
![{\displaystyle n.p.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7571da3971ba4752cf4a4f8c27230167512b3724)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![w](https://wikimedia.org/api/rest_v1/media/math/render/svg/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6)
![Q](https://wikimedia.org/api/rest_v1/media/math/render/svg/8752c7023b4b3286800fe3238271bbca681219ed)
![R](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b0bfb3769bf24d80e15374dc37b0441e2616e33)
![w](https://wikimedia.org/api/rest_v1/media/math/render/svg/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6)
![v](https://wikimedia.org/api/rest_v1/media/math/render/svg/e07b00e7fc0847fbd16391c778d65bc25c452597)
![S](https://wikimedia.org/api/rest_v1/media/math/render/svg/4611d85173cd3b508e67077d4a1252c9c05abca2)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
![w](https://wikimedia.org/api/rest_v1/media/math/render/svg/88b1e0c8e1be5ebe69d18a8010676fa42d7961e6)
![{\displaystyle d_{n}(w)\leqslant l(P)+l(Q)=d_{p}(v)+l(Q)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f89c6d79b3b85ceb5f28f6e0585d6dfc5a816d80)
![{\displaystyle d_{p}(v)\leqslant d_{j+r}(v)\leqslant d_{j}(w)+l(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d38f748beff447c07acae0780b4ffc6ef6a0351)
![{\displaystyle d_{n}(w)\leqslant d_{j}(w)+l(R)+l(Q)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3285811fbc642cfbe5dbe20c922b2d020b47c18e)
![{\displaystyle Q\odot R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bfa37be12b34901b8a61bd79193fb77fbcd3ca1)
![{\displaystyle l(C)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/077be1d3aaa9d385789bbbd3751eff91c6bff7c1)
![{\displaystyle d_{n}(w)\leqslant d_{j}(w)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5c204152861141908800505b741649e28eb51e4)
![{\displaystyle j\in \{1,...,n-1\)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0779efacb0e569373e132883a107bebc170b4066)
![{\displaystyle \alpha \leqslant 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fab1a5834bb839c2ffebaf8e202db9358e0fb23)
![{\displaystyle O(m^{2}\cdot n^{2}\cdot \log(nL))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf2911aed7783811f959c6faf92531f24b9a3b12)
![{\displaystyle n\log(nL)+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fa31a38841abdc88717d2957404aaf57a1990703)
![m](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a07d98bb302f3856cbabc47b2b9016692e3f7bc)
![O(nm)](https://wikimedia.org/api/rest_v1/media/math/render/svg/051245e657739f572fe7902c817ea9103c687fb7)
![{\displaystyle O(m^{3}\cdot n^{2}\cdot \log(n))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6de6cdd1184f9d64da72b1ffe6a65c6184081702)
- Utilizați o modificare a algoritmului Ford-Fulkerson , în care la fiecare pas este aleasă o cale incrementală a prețului minim. Pentru a selecta calea, puteți utiliza algoritmul Bellman-Ford.
- Îmbunătățirea algoritmului anterior: folosind potențiale, puteți reduce problema la o problemă fără margini negative, după care, în loc de algoritmul Bellman-Ford, utilizați algoritmul lui Dijkstra . Algoritmul Bellman-Ford va trebui aplicat doar la primul pas.
Link -uri
Vezi și
Literatură
- Kormen, T. , Leizerson, C. , Rivest, R. , Stein, K. Algorithms: construction and analysis = Introduction to Algorithms / Ed. I. V. Krasikova. - Ed. a II-a. - M. : Williams, 2005. - 1296 p. — ISBN 5-8459-0857-4 .