]> mj.ucw.cz Git - ga.git/commitdiff
Toky: "m" je rezervovano pro pocet hran
authorMartin Mares <mj@ucw.cz>
Sat, 12 Jan 2013 23:15:30 +0000 (00:15 +0100)
committerMartin Mares <mj@ucw.cz>
Sat, 12 Jan 2013 23:15:30 +0000 (00:15 +0100)
S diky Davidovi Pegrimkovi za upozorneni.

1-toky/1-toky.tex

index dd3543af3d19c5918eb38453abfa2d47742e6b0e..07e3497a70c5bd54617023f8bf175c23e40021c2 100644 (file)
@@ -107,12 +107,12 @@ v~na
 \algo
 \:$f \leftarrow \<nulový tok>$.
 \:Dokud existuje zlep¹ující cesta $P$ z~$s$ do~$t$:
-\::$m \leftarrow \min_{e\in P} r(e)$.
-\::Zvìt¹íme tok $f$ podél~$P$ o~$m$ (ka¾dé hranì $e\in P$ zvìt¹íme $f(e)$, pøípadnì zmen¹íme $f(e^\prime)$, podle toho, co jde).
+\::$\varepsilon \leftarrow \min_{e\in P} r(e)$.
+\::Zvìt¹íme tok $f$ podél~$P$ o~$\varepsilon$ (ka¾dé hranì $e\in P$ zvìt¹íme $f(e)$, pøípadnì zmen¹íme $f(e^\prime)$, podle toho, co jde).
 \endalgo
 
 \s{Analýza:} Nejdøíve si rozmysleme, ¾e pro celoèíselné kapacity algoritmus v¾dy dobìhne: v~ka¾dém kroku
-stoupne velikost toku o~$m \ge 1$, co¾ mù¾e nastat pouze koneènì-krát. Podobnì pro racionální kapacity:
+stoupne velikost toku o~$\varepsilon \ge 1$, co¾ mù¾e nastat pouze koneènì-krát. Podobnì pro racionální kapacity:
 pøenásobíme-li v¹echny kapacity jejich spoleèným jmenovatelem, dostaneme sí» s~celoèíselnými kapacitami,
 na~které se bude algoritmus chovat identicky a jak ji¾ víme, skonèí. Pro~iracionální kapacity obecnì
 dobìhnout nemusí, zkuste vymyslet protipøíklad.