隠れマルコフモデルにおいて観測系列が与えられたときに最も確からしい状態遷移の系列を効率的に探索するアルゴリズムはどれか。

動的計画法を用いて観測データに最も適合する背後の隠れ状態の最適パスを計算するアルゴリズムである。