Badania Operacyjne w Logistyce WykÅ‚ad 4 Sieci przepÅ‚ywowe Jacek Rogowski Instytut Matematyki Politechnika Aódzka Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Grafem skierowanym nazywamy parÄ™ (V , E), w której: Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Grafem skierowanym nazywamy parÄ™ (V , E), w której: V jest skoÅ„czonym i niepustym zbiorem, którego elementy nazywamy wierzchoÅ‚kami, Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Grafem skierowanym nazywamy parÄ™ (V , E), w której: V jest skoÅ„czonym i niepustym zbiorem, którego elementy nazywamy wierzchoÅ‚kami, E ‚" V × V ; Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Grafem skierowanym nazywamy parÄ™ (V , E), w której: V jest skoÅ„czonym i niepustym zbiorem, którego elementy nazywamy wierzchoÅ‚kami, E ‚" V × V ; elementy tego zbioru nazywamy krawÄ™dziami. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Grafem skierowanym nazywamy parÄ™ (V , E), w której: V jest skoÅ„czonym i niepustym zbiorem, którego elementy nazywamy wierzchoÅ‚kami, E ‚" V × V ; elementy tego zbioru nazywamy krawÄ™dziami. Jeżeli (u, v) " E jest krawÄ™dziÄ…, to wierzchoÅ‚ek u nazywamy poczÄ…tkiem, a v koÅ„cem tej krawÄ™dzi. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Grafem skierowanym nazywamy parÄ™ (V , E), w której: V jest skoÅ„czonym i niepustym zbiorem, którego elementy nazywamy wierzchoÅ‚kami, E ‚" V × V ; elementy tego zbioru nazywamy krawÄ™dziami. Jeżeli (u, v) " E jest krawÄ™dziÄ…, to wierzchoÅ‚ek u nazywamy poczÄ…tkiem, a v koÅ„cem tej krawÄ™dzi. ReprezentacjÄ… grafu skierowanego jest rysunek, na którym wierzchoÅ‚ki oznaczane sÄ… jako punkty, Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Grafem skierowanym nazywamy parÄ™ (V , E), w której: V jest skoÅ„czonym i niepustym zbiorem, którego elementy nazywamy wierzchoÅ‚kami, E ‚" V × V ; elementy tego zbioru nazywamy krawÄ™dziami. Jeżeli (u, v) " E jest krawÄ™dziÄ…, to wierzchoÅ‚ek u nazywamy poczÄ…tkiem, a v koÅ„cem tej krawÄ™dzi. ReprezentacjÄ… grafu skierowanego jest rysunek, na którym wierzchoÅ‚ki oznaczane sÄ… jako punkty, a krawÄ™dzie jako odcinki lub krzywe. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Grafem skierowanym nazywamy parÄ™ (V , E), w której: V jest skoÅ„czonym i niepustym zbiorem, którego elementy nazywamy wierzchoÅ‚kami, E ‚" V × V ; elementy tego zbioru nazywamy krawÄ™dziami. Jeżeli (u, v) " E jest krawÄ™dziÄ…, to wierzchoÅ‚ek u nazywamy poczÄ…tkiem, a v koÅ„cem tej krawÄ™dzi. ReprezentacjÄ… grafu skierowanego jest rysunek, na którym wierzchoÅ‚ki oznaczane sÄ… jako punkty, a krawÄ™dzie jako odcinki lub krzywe. Orientacja krawÄ™dzi jest reprezentowana przez narysowanie strzaÅ‚ki zgodnie z kierunkiem od wierzchoÅ‚ka poczÄ…tkowego do koÅ„cowego. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.WierzchoÅ‚ek w " V nazywamy zródÅ‚em, jeżeli jest poczÄ…tkiem każdej krawÄ™dzi, do której należy, Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.WierzchoÅ‚ek w " V nazywamy zródÅ‚em, jeżeli jest poczÄ…tkiem każdej krawÄ™dzi, do której należy, ujÅ›ciem, jeżeli jest koÅ„cem każdej krawÄ™dzi, do której należy. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.WierzchoÅ‚ek w " V nazywamy zródÅ‚em, jeżeli jest poczÄ…tkiem każdej krawÄ™dzi, do której należy, ujÅ›ciem, jeżeli jest koÅ„cem każdej krawÄ™dzi, do której należy. Definicja DrogÄ… o dÅ‚ugoÅ›ci n od zródÅ‚a s do ujÅ›cia t w grafie skierowanym G = (V , E) nazywamy każdy ciÄ…g krawÄ™dzi postaci: (v0, v1), (v1, v2), . . . , (vn-1, vn), w którym v0 = s i vn = t. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.Graf G nazywamy sieciÄ…, jeżeli speÅ‚nione sÄ… nastÄ™pujÄ…ce warunki: Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.Graf G nazywamy sieciÄ…, jeżeli speÅ‚nione sÄ… nastÄ™pujÄ…ce warunki: w grafie G istnieje dokÅ‚adnie jedno zródÅ‚o, Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.Graf G nazywamy sieciÄ…, jeżeli speÅ‚nione sÄ… nastÄ™pujÄ…ce warunki: w grafie G istnieje dokÅ‚adnie jedno zródÅ‚o, w grafie G istnieje dokÅ‚adnie jedno ujÅ›cie, Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.Graf G nazywamy sieciÄ…, jeżeli speÅ‚nione sÄ… nastÄ™pujÄ…ce warunki: w grafie G istnieje dokÅ‚adnie jedno zródÅ‚o, w grafie G istnieje dokÅ‚adnie jedno ujÅ›cie, graf G jest spójny, Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.Graf G nazywamy sieciÄ…, jeżeli speÅ‚nione sÄ… nastÄ™pujÄ…ce warunki: w grafie G istnieje dokÅ‚adnie jedno zródÅ‚o, w grafie G istnieje dokÅ‚adnie jedno ujÅ›cie, graf G jest spójny, tzn. każdy wierzchoÅ‚ek v leży na pewnej drodze od zródÅ‚a s do ujÅ›cia t. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E) bÄ™dzie grafem skierowanym.Graf G nazywamy sieciÄ…, jeżeli speÅ‚nione sÄ… nastÄ™pujÄ…ce warunki: w grafie G istnieje dokÅ‚adnie jedno zródÅ‚o, w grafie G istnieje dokÅ‚adnie jedno ujÅ›cie, graf G jest spójny, tzn. każdy wierzchoÅ‚ek v leży na pewnej drodze od zródÅ‚a s do ujÅ›cia t. Sieć speÅ‚niajÄ…cÄ… powyższe warunki bÄ™dziemy zapisywać w postaci G = (V , E, s, t). Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. PrzepustowoÅ›ciÄ… w sieci G nazywamy każdÄ… funkcjÄ™ c : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. PrzepustowoÅ›ciÄ… w sieci G nazywamy każdÄ… funkcjÄ™ c : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: "u, v"V c(u, v) 0 , Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. PrzepustowoÅ›ciÄ… w sieci G nazywamy każdÄ… funkcjÄ™ c : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: "u, v"V c(u, v) 0 , "u, v"V (u, v) " E Ò! c(u, v) = 0. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. PrzepustowoÅ›ciÄ… w sieci G nazywamy każdÄ… funkcjÄ™ c : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: "u, v"V c(u, v) 0 , "u, v"V (u, v) " E Ò! c(u, v) = 0. Jeżeli c jest przepustowoÅ›ciÄ… w sieci G, to parÄ™ (G, c) nazywamy sieciÄ… przepÅ‚ywowÄ…. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. PrzepustowoÅ›ciÄ… w sieci G nazywamy każdÄ… funkcjÄ™ c : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: "u, v"V c(u, v) 0 , "u, v"V (u, v) " E Ò! c(u, v) = 0. Jeżeli c jest przepustowoÅ›ciÄ… w sieci G, to parÄ™ (G, c) nazywamy sieciÄ… przepÅ‚ywowÄ…. Uwaga: Funkcja przepustowoÅ›ci c okreÅ›lona jest dla wszystkich par wierzchoÅ‚ków, Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. PrzepustowoÅ›ciÄ… w sieci G nazywamy każdÄ… funkcjÄ™ c : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: "u, v"V c(u, v) 0 , "u, v"V (u, v) " E Ò! c(u, v) = 0. Jeżeli c jest przepustowoÅ›ciÄ… w sieci G, to parÄ™ (G, c) nazywamy sieciÄ… przepÅ‚ywowÄ…. Uwaga: Funkcja przepustowoÅ›ci c okreÅ›lona jest dla wszystkich par wierzchoÅ‚ków, a nie tylko dla krawÄ™dzi grafu G. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. PrzepustowoÅ›ciÄ… w sieci G nazywamy każdÄ… funkcjÄ™ c : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: "u, v"V c(u, v) 0 , "u, v"V (u, v) " E Ò! c(u, v) = 0. Jeżeli c jest przepustowoÅ›ciÄ… w sieci G, to parÄ™ (G, c) nazywamy sieciÄ… przepÅ‚ywowÄ…. Uwaga: Funkcja przepustowoÅ›ci c okreÅ›lona jest dla wszystkich par wierzchoÅ‚ków, a nie tylko dla krawÄ™dzi grafu G. TworzÄ…c graficznÄ… reprezentacjÄ™ sieci przepÅ‚ywowej rysujemy tylko te krawÄ™dzie, wzdÅ‚uż których przepustowość jest dodatnia Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa Definicja Niech G = (V , E, s, t) bÄ™dzie sieciÄ… ze zródÅ‚em s i ujÅ›ciem t. PrzepustowoÅ›ciÄ… w sieci G nazywamy każdÄ… funkcjÄ™ c : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: "u, v"V c(u, v) 0 , "u, v"V (u, v) " E Ò! c(u, v) = 0. Jeżeli c jest przepustowoÅ›ciÄ… w sieci G, to parÄ™ (G, c) nazywamy sieciÄ… przepÅ‚ywowÄ…. Uwaga: Funkcja przepustowoÅ›ci c okreÅ›lona jest dla wszystkich par wierzchoÅ‚ków, a nie tylko dla krawÄ™dzi grafu G. TworzÄ…c graficznÄ… reprezentacjÄ™ sieci przepÅ‚ywowej rysujemy tylko te krawÄ™dzie, wzdÅ‚uż których przepustowość jest dodatnia i te wartoÅ›ci zapisujemy obok odpowiednich krawÄ™dzi. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa PrzykÅ‚ad sieci przepÅ‚ywowej: Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa PrzykÅ‚ad sieci przepÅ‚ywowej: Liczby przy krawÄ™dziach sÄ… wartoÅ›ciami przepustowoÅ›ci wzdÅ‚uż tych krawÄ™dzi. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Sieć przepÅ‚ywowa PrzykÅ‚ad sieci przepÅ‚ywowej: Liczby przy krawÄ™dziach sÄ… wartoÅ›ciami przepustowoÅ›ci wzdÅ‚uż tych krawÄ™dzi. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja PrzepÅ‚ywem w sieci przepÅ‚ywowej (G, c) nazywamy każdÄ… funkcjÄ™ f : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja PrzepÅ‚ywem w sieci przepÅ‚ywowej (G, c) nazywamy każdÄ… funkcjÄ™ f : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: 1 warunek nieujemnoÅ›ci: "u, v"V (u, v) " E Ò! f (u, v) 0, Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja PrzepÅ‚ywem w sieci przepÅ‚ywowej (G, c) nazywamy każdÄ… funkcjÄ™ f : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: 1 warunek nieujemnoÅ›ci: "u, v"V (u, v) " E Ò! f (u, v) 0, 2 warunek przepustowoÅ›ci: "u, v"V f (u, v) c(u, v), Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja PrzepÅ‚ywem w sieci przepÅ‚ywowej (G, c) nazywamy każdÄ… funkcjÄ™ f : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: 1 warunek nieujemnoÅ›ci: "u, v"V (u, v) " E Ò! f (u, v) 0, 2 warunek przepustowoÅ›ci: "u, v"V f (u, v) c(u, v), 3 warunek skoÅ›nej symetrii: "u, v"V f (u, v) = -f (v, u), Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja PrzepÅ‚ywem w sieci przepÅ‚ywowej (G, c) nazywamy każdÄ… funkcjÄ™ f : V × V R speÅ‚niajÄ…cÄ… nastÄ™pujÄ…ce warunki: 1 warunek nieujemnoÅ›ci: "u, v"V (u, v) " E Ò! f (u, v) 0, 2 warunek przepustowoÅ›ci: "u, v"V f (u, v) c(u, v), 3 warunek skoÅ›nej symetrii: "u, v"V f (u, v) = -f (v, u), 4 warunek zachowania przepÅ‚ywu:
"u"V \{s, t} f (u, v) = 0. v"V Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja Niech f : V × V R bÄ™dzie przepÅ‚ywem w sieci (G, c). Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja Niech f : V × V R bÄ™dzie przepÅ‚ywem w sieci (G, c). Dla każdej pary (u, v) " V × V liczbÄ™ f (u, v) nazywamy przepÅ‚ywem (netto) z wierzchoÅ‚ka u do wierzchoÅ‚ka v. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja Niech f : V × V R bÄ™dzie przepÅ‚ywem w sieci (G, c). Dla każdej pary (u, v) " V × V liczbÄ™ f (u, v) nazywamy przepÅ‚ywem (netto) z wierzchoÅ‚ka u do wierzchoÅ‚ka v. LiczbÄ™
|f | = f (s, v) v"V nazywamy wartoÅ›ciÄ… przepÅ‚ywu f . Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci Definicja Niech f : V × V R bÄ™dzie przepÅ‚ywem w sieci (G, c). Dla każdej pary (u, v) " V × V liczbÄ™ f (u, v) nazywamy przepÅ‚ywem (netto) z wierzchoÅ‚ka u do wierzchoÅ‚ka v. LiczbÄ™
|f | = f (s, v) v"V nazywamy wartością przepływu f . W dalszym ciągu wykażemy, że również
|f | = f (u, t). u"V Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci PrzykÅ‚ad przepÅ‚ywu w sieci przepÅ‚ywowej: Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci PrzykÅ‚ad przepÅ‚ywu w sieci przepÅ‚ywowej: Zapis a/b przy krawÄ™dzi oznacza dodatni przepÅ‚yw netto o wartoÅ›ci a wzdÅ‚uż krawÄ™dzi o przepustowoÅ›ci b. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci PrzykÅ‚ad przepÅ‚ywu w sieci przepÅ‚ywowej: Zapis a/b przy krawÄ™dzi oznacza dodatni przepÅ‚yw netto o wartoÅ›ci a wzdÅ‚uż krawÄ™dzi o przepustowoÅ›ci b. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci PrzykÅ‚ad przepÅ‚ywu w sieci przepÅ‚ywowej: Zapis a/b przy krawÄ™dzi oznacza dodatni przepÅ‚yw netto o wartoÅ›ci a wzdÅ‚uż krawÄ™dzi o przepustowoÅ›ci b. Pojedyncza liczba przy krawÄ™dzi oznacza jej przepustowość Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci PrzykÅ‚ad przepÅ‚ywu w sieci przepÅ‚ywowej: Zapis a/b przy krawÄ™dzi oznacza dodatni przepÅ‚yw netto o wartoÅ›ci a wzdÅ‚uż krawÄ™dzi o przepustowoÅ›ci b. Pojedyncza liczba przy krawÄ™dzi oznacza jej przepustowość przepÅ‚yw wzdÅ‚uż tej krawÄ™dzi jest równy 0. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci WÅ‚asność 1 "u"V f (u, u) = 0. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci WÅ‚asność 1 "u"V f (u, u) = 0. Istotnie, z warunku skoÅ›nej symetrii mamy: Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci WÅ‚asność 1 "u"V f (u, u) = 0. Istotnie, z warunku skoÅ›nej symetrii mamy: f (u, u) Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci WÅ‚asność 1 "u"V f (u, u) = 0. Istotnie, z warunku skoÅ›nej symetrii (f (u, v) = -f (v, u)) mamy: f (u, u) = -f (u, u) Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci WÅ‚asność 1 "u"V f (u, u) = 0. Istotnie, z warunku skoÅ›nej symetrii (f (u, v) = -f (v, u)) mamy: f (u, u) = -f (u, u) Ò! 2f (u, u) = 0. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci WÅ‚asność 1 "u"V f (u, u) = 0. Istotnie, z warunku skoÅ›nej symetrii mamy: f (u, u) = -f (u, u) Ò! 2f (u, u) = 0. WÅ‚asność 2
"v"V \{s, t} u"V f (u, v) = 0. Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci WÅ‚asność 1 "u"V f (u, u) = 0. Istotnie, z warunku skoÅ›nej symetrii mamy: f (u, u) = -f (u, u) Ò! 2f (u, u) = 0. WÅ‚asność 2
"v"V \{s, t} u"V f (u, v) = 0. Istotnie, z warunku skośnej symetrii mamy
f (u, v) = - f (v, u) u"V u"V Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe PrzepÅ‚yw w sieci WÅ‚asność 1 "u"V f (u, u) = 0. Istotnie, z warunku skoÅ›nej symetrii mamy: f (u, u) = -f (u, u) Ò! 2f (u, u) = 0. WÅ‚asność 2
"v"V \{s, t} u"V f (u, v) = 0. Istotnie, z warunku skośnej symetrii mamy, zaś z warunku zachowania przepływu
f (u, v) = - f (v, u) = 0 u"V u"V Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 3 Jeżeli u, v " V oraz (u, v) " E i (v, u) " E, to f (u, v) = f (v, u) = 0. Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 3 Jeżeli u, v " V oraz (u, v) " E i (v, u) " E, to f (u, v) = f (v, u) = 0. Istotnie, skoro (u, v) " E oraz (v, u) " E , Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 3 Jeżeli u, v " V oraz (u, v) " E i (v, u) " E, to f (u, v) = f (v, u) = 0. Istotnie, skoro (u, v) " E oraz (v, u) " E , to c(u, v) = 0 oraz c(v, u) = 0. Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 3 Jeżeli u, v " V oraz (u, v) " E i (v, u) " E, to f (u, v) = f (v, u) = 0. Istotnie, skoro (u, v) " E oraz (v, u) " E , to c(u, v) = 0 oraz c(v, u) = 0. Stąd f (u, v) c(u, v) = 0 Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 3 Jeżeli u, v " V oraz (u, v) " E i (v, u) " E, to f (u, v) = f (v, u) = 0. Istotnie, skoro (u, v) " E oraz (v, u) " E , to c(u, v) = 0 oraz c(v, u) = 0. Stąd f (u, v) c(u, v) = 0 oraz f (u, v) = -f (v, u) -c(v, u) = 0 Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 3 Jeżeli u, v " V oraz (u, v) " E i (v, u) " E, to f (u, v) = f (v, u) = 0. Istotnie, skoro (u, v) " E oraz (v, u) " E , to c(u, v) = 0 oraz c(v, u) = 0. Stąd f (u, v) c(u, v) = 0 oraz f (u, v) = -f (v, u) -c(v, u) = 0 Ponadto f (v, u) = -f (u, v) = 0. Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 4 Dla v " {s, t}:
f (u, v) = f (v, u) u"V u"V f (u,v)>0 f (v,u)>0 Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 4 Dla v " {s, t}:
f (u, v) = f (v, u) u"V u"V f (u,v)>0 f (v,u)>0 Istotnie, dla v " V \ {s, t} mamy: Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 4 Dla v " {s, t}:
f (u, v) = f (v, u) u"V u"V f (u,v)>0 f (v,u)>0 Istotnie, dla v " V \ {s, t} mamy:
0 = f (u, v) u"V Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 4 Dla v " {s, t}:
f (u, v) = f (v, u) u"V u"V f (u,v)>0 f (v,u)>0 Istotnie, dla v " V \ {s, t} mamy:
0 = f (u, v) = u"V
= f (u, v) + f (u, v) u"V u"V f (u,v)>0 f (u,v)<0 Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 4 Dla v " {s, t}:
f (u, v) = f (v, u) u"V u"V f (u,v)>0 f (v,u)>0 Istotnie, dla v " V \ {s, t} mamy:
0 = f (u, v) = u"V
= f (u, v) + f (u, v) = u"V u"V f (u,v)>0 f (u,v)<0
= f (u, v) - f (v, u) u"V u"V f (u,v)>0 f (u,v)<0 Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Przepływ w sieci Własność 4 Dla v " {s, t}:
f (u, v) = f (v, u) u"V u"V f (u,v)>0 f (v,u)>0 Istotnie, dla v " V \ {s, t} mamy:
0 = f (u, v) = u"V
= f (u, v) + f (u, v) = u"V u"V f (u,v)>0 f (u,v)<0
= f (u, v) - f (v, u) = u"V u"V f (u,v)>0 f (u,v)<0
= f (u, v) - f (v, u). u"V u"V f (u,v)>0 f (v,u)>0 Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Problem maksymalnego przepływu w sieci Problem: Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Problem maksymalnego przepływu w sieci Problem: Dla danej sieci przepływowej (G, c) należy znalezć przepływ o maksymalnej wartości. Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Problem maksymalnego przepływu w sieci Problem: Dla danej sieci przepływowej (G, c) należy znalezć przepływ o maksymalnej wartości. Wprowadzmy następujące oznaczenia: Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Problem maksymalnego przepływu w sieci Problem: Dla danej sieci przepływowej (G, c) należy znalezć przepływ o maksymalnej wartości. Wprowadzmy następujące oznaczenia: N-(u) zbiór wszystkich wierzchołków, które są początkami krawędzi o końcu w wierzchołku u, Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Problem maksymalnego przepływu w sieci Problem: Dla danej sieci przepływowej (G, c) należy znalezć przepływ o maksymalnej wartości. Wprowadzmy następujące oznaczenia: N-(u) zbiór wszystkich wierzchołków, które są początkami krawędzi o końcu w wierzchołku u, N+(u) zbiór wszystkich wierzchołków, które są końcami krawędzi o początku w wierzchołku u, Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Problem maksymalnego przepływu w sieci Problem: Dla danej sieci przepływowej (G, c) należy znalezć przepływ o maksymalnej wartości. Wprowadzmy następujące oznaczenia: N-(u) zbiór wszystkich wierzchołków, które są początkami krawędzi o końcu w wierzchołku u, N+(u) zbiór wszystkich wierzchołków, które są końcami krawędzi o początku w wierzchołku u,
f (u, v), gdy (u, v) " E , xuv = 0, gdy (u, v) " E . Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Problem maksymalnego przepływu w sieci Problem: Dla danej sieci przepływowej (G, c) należy znalezć przepływ o maksymalnej wartości. Wprowadzmy następujące oznaczenia: N-(u) zbiór wszystkich wierzchołków, które są początkami krawędzi o końcu w wierzchołku u, N+(u) zbiór wszystkich wierzchołków, które są końcami krawędzi o początku w wierzchołku u,
f (u, v), gdy (u, v) " E , xuv = 0, gdy (u, v) " E . Oczywiście
xuv = f (u, v) u"V u"N-(v) f (u,v)>0 Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Problem maksymalnego przepływu w sieci Problem: Dla danej sieci przepływowej (G, c) należy znalezć przepływ o maksymalnej wartości. Wprowadzmy następujące oznaczenia: N-(u) zbiór wszystkich wierzchołków, które są początkami krawędzi o końcu w wierzchołku u, N+(u) zbiór wszystkich wierzchołków, które są końcami krawędzi o początku w wierzchołku u,
f (u, v), gdy (u, v) " E , xuv = 0, gdy (u, v) " E . Oczywiście
xuv = f (u, v) i xvu = f (v, u). u"V u"N-(v) u"N+(v) u"V f (u,v)>0 f (v,u)>0 Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Formalizacja problemu maksymalnego przepływu Funkcja celu: Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Formalizacja problemu maksymalnego przepływu Funkcja celu: |f | max Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Formalizacja problemu maksymalnego przepływu Funkcja celu: |f | max Ograniczenia: Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Formalizacja problemu maksymalnego przepływu Funkcja celu: |f | max Ograniczenia:
xuv = xvw dla v " V \ {s, t}, u"N-(v) w"N+(v) Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Formalizacja problemu maksymalnego przepływu Funkcja celu: |f | max Ograniczenia:
xuv = xvw dla v " V \ {s, t}, u"N-(v) w"N+(v)
xsv = |f |, v"N+(s) Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Formalizacja problemu maksymalnego przepływu Funkcja celu: |f | max Ograniczenia:
xuv = xvw dla v " V \ {s, t}, u"N-(v) w"N+(v)
xsv = |f |, v"N+(s)
xut = |f |, u"N-(t) Jacek Rogowski BOwL Wykład 4: Sieci przepływowe Formalizacja problemu maksymalnego przepływu Funkcja celu: |f | max Ograniczenia:
xuv = xvw dla v " V \ {s, t}, u"N-(v) w"N+(v)
xsv = |f |, v"N+(s)
xut = |f |, u"N-(t) xuv c(u, v) dla (u, v) " V × V . Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe Formalizacja problemu maksymalnego przepÅ‚ywu Funkcja celu: |f | max Ograniczenia:
xuv = xvw dla v " V \ {s, t}, u"N-(v) w"N+(v)
xsv = |f |, v"N+(s)
xut = |f |, u"N-(t) xuv c(u, v) dla (u, v) " V × V . Warunki brzegowe: xuv 0 dla (u, v) " V × V . Jacek Rogowski BOwL WykÅ‚ad 4: Sieci przepÅ‚ywowe