アルゴリズムは

となります．