接下来,我们研究第二个问题,序列问题。也即是给定一个HMM模型μ=(S,K,A,B,π)\mu =\left ( S,K,A,B,\pi \right )μ=(S,K,A,B,π)和观测序列O=O1O2O3...OTO=O_{1}O_{2}O_{3}...O_{T}O=O1O2O3...OT,如何快速有效地选择在一定意义下“最优”的状态序列Q=q1q2q3...qTQ=q_{1}q_{2}q_{3}...q_{T}Q=q1q2q3...qT,使得该状态序列“最好的解释”观察序列,也即是P(Q∣μ,O)P\left ( Q|\mu,O \right )P(Q∣μ,O)最大?
第一种理解
为了得到“最优”的状态序列,只需要使得该序列中的每一个状态都单独地具有最大概率,即要使得γt(i)=P(qt=si∣μ,O)\gamma _{t}(i)=P\left ( q_{t}=s_{i}|\mu,O \right )γt(i)=P(qt=si∣μ,O)最大。
根据贝叶斯公式,有γt(i)=P(qt=si∣μ,O)=P(qt=si,O∣μ)P(O∣μ)\gamma _{t}(i)=P\left ( q_{t}=s_{i}|\mu,O \right )\\=\frac{P\left ( q_{t}=s_{i},O|\mu \right )}{P(O|\mu)}γt(i)=P(qt=si∣μ,O)=P(O∣μ)P(qt=si,O∣μ),
参考上节的公式P(O,qt=si∣μ)=αt(i)βt(i)P\left ( O,q_{t}=s_{i}|\mu \right )=\alpha _{t}\left ( i\right )\beta _{t}\left ( i\right )P(O,qt=s