HMM可识别性判定复杂度研究获进展

Markel Zubia 与 Nils Jansen 发表论文，研究隐马尔可夫模型（HMM）可识别性判定问题的计算复杂度。研究证明，确定性、通用、全局、局部、状态置换不变及有限字母表等各类可识别性判定问题均可在 PSPACE 内判定，方法是将问题归约到实数理论的不同量词交替层级。 研究进一步表明，简单参数化族下的确定性变体已是 coETR-hard，因而也是 coNP-hard。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。