グラフを構築する. \(L_i \rightarrow R_i\) にコスト \(D_i\) の辺を張る.

このグラフをトポロジカルソートする. 閉路が検出されればその時点で矛盾なので No となる.

次にトポロジカルソートされた順番に頂点の位置を決めていく. 頂点に入る辺がない場合は位置を0と仮定する. そしてすべての頂点の位置に矛盾があれば No となる.