Toky cestami omezené délky

Abstract

In this bachelors's thesis we study the problem of k-bounded flows, i.e. flows which can be decomposed to flow paths of lenght bounded by a constant k. We review some known results in this field of study and we mention also the problem of k-bounded cut, which is a subset of edges from the flow network s. t. the flow ne- twork without these edges does not have any k-bounded flow. The main aim of this thesis is a detailed explaration of the article The Maximum k-flow in a Network written by V. Koubek a A. Říha, published as a conference paper in Mathematical Foundations of Coputer Science 1981, pages 389-397, providing an explanation of compticated passages and completition of some of the main proofs which are ommited in the paper mentioned above. The aim of completing proofs is not accomplished due to finding a serious mistake in the conference paper. Instead of completing proofs we provide a description why the algorithm in the paper does not work. 1

V bakalářské práci se zabýváme problémem k-omezeného toku, a tedy toku, který lze dekomponovat na cesty délky nejvýše k. Podáváme přehled o známých výsledcích v této oblasti a zmiňujeme také problém k-omezeného řezu, což je množina hran z tokové sítě, která po odebrání z tokové sítě způsobí, že nee- xistuje v takto pozměněné síti k-omezený tok. Hlavním cílem práce je detailní prozkoumání článku The Maximum k-flow in a Network od autorů V. Kou- bek a A. Říha, publikovaného ve sborníku konference Mathematical Foundations of Coputer Science 1981, str. 389-397 a podání vysvětlení složitých pasáží a do- plnění vynechaných důkazů. Cíl doplnit chybějící důkazy, v této práci naplněný není. Ukázalo, že v citovaném článku mají autoři zásadní chybu. Místo doka- zování vynechaných důkazů se zaměřujeme na popsání problému, proč původní algoritmus nefunguje. 1