З використанням математичного апарату модифікованих систем алгоритмічних алгебр (САА–М) виконано формалізацію алгоритму Едмондса–Карпа пошуку максимального потоку в мережі. Зважаючи на особливості розподілених систем, що зазвичай використовуються для розв’язання надскладних задач, формульовано критерії оптимізації, на основі яких шляхом формальних перетворень САА-схем отримано сукупність паралельних САА–М–схем.
The mathematics of modified systems of algorithmic algebras (SAA-M) is used to formalize the Edmonds-Karp algorithm of finding the maximum flow in a network. With account for the features of distributed systems usually used to solve complicated problems, the optimization criteria are formulated and used to obtain parallel SAA-M-schemes.