OSPF（Open Shortest Path First）プロトコルにおいて、ネットワークトポロジ（ルータ間の接続情報）を記述した「リンクステート情報」を交換・収集し、トポロジ全体を把握した上で、最短経路（コスト最小）を計算するために用いられるアルゴリズムはどれか。