4. Сетевые модели

4.6 Теорема о построении допустимого потока

Если допустимый поток величины и допустимый поток величины , то совместно согласованных простых потоков , таких, что поток является допустимым величины (знак + при и знак - при ).

Доказательство: Пусть и рассмотрим поток , тогда его величина равна .

По теореме о декомпозиции потока:

, где - простые, совместно согласованные потоки по цепям, а - по циклам.

Рассмотрим поток величины . По теореме о совместно согласованных потоках, этот поток ограничен допустимыми потоками и и является допустимым потоком с величиной .