このアルゴリズムで発見する増加道(赤で示されている)の長さが決して減少しない点に注意されたい。