最大フロー, 最小カットを解くプログラム