===Псевдокод===
'''simpleDecomposition(s)'''
<tex> Q \leftarrow \emptyset</tex> <tex> P \leftarrow \emptyset </tex> <tex>v \leftarrow s</tex> '''while''' <tex> v \notin P </tex> находим <tex> (vu): f(vu)>0 </tex> '''if''' <tex>\neg \exists (vu): f(vu)>0 </tex> '''if''' <tex> v = t </tex> '''break''' '''else''' '''return''' NULL <tex> Q \leftarrow Q \cup (vu) </tex> <tex> P \leftarrow P \cup \{v\} </tex> <tex> v \leftarrow u </tex> '''if''' <tex>v \in P </tex> удаляем из <tex>Q</tex> все ребра, найденные до того, как <tex>v</tex> была включена в <tex>P</tex> <tex>f(Q) \leftarrow f(Q) - \min\limits_{uv \in Q}f(uv) </tex> '''return''' <tex>(f, Q)</tex>
'''fullDecomposition()'''
<tex> d \leftarrow \emptyset </tex> '''while '''<tex> (p = </tex> simpleDecomposition(s)) <tex> \neq </tex> NULL <tex> d \leftarrow d \cup p </tex> '''for''' <tex> u \in V </tex> '''while '''<tex> (p = </tex> simpleDecomposition(u)) <tex> \neq </tex> NULL <tex> d \leftarrow d \cup \{p\} </tex> '''return''' d
===Анализ работы алгоритма===
