组合优化范畴:基于动态规划的语音识别研究