formula_1の実行時間は、各増加道の探索にformula_5の時間がかかり、formula_6個の辺のうち毎回少なくとも1つが飽和し、飽和した辺と始点を結ぶ増加道が前回より短くなることはなく、増加道の長さの上限はformula_7である。