图 书 馆
反维特比算法：结构设计的抽象框架Inverting the Viterbi Algorithm: an Abstract Framework for Structure Design |
|
| 课程网址: | http://videolectures.net/icml08_schnall_levin_iva/ |
| 主讲教师: | Michael Schnall-Levin |
| 开课单位: | 麻省理工学院 |
| 开课时间: | 2008-08-29 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | Probabilistic grammatical formalisms such as hidden Markov models (HMMs) and stochastic context-free grammars (SCFGs) have been extensively studied and widely applied in a number of fields. Here, we introduce a new algorithmic problem on HMMs and SCFGs that arises naturally from protein and RNA design, and which has not been previously studied. The problem can be viewed as an inverse to the one solved by the Viterbi algorithm on HMMs or by the CKY algorithm on SCFGs. We study this problem theoretically and obtain the first algorithmic results. We prove that the problem is NP-complete, even for a 3-letter emission alphabet, via a reduction from 3-SAT, a result that has implications for the hardness of RNA secondary structure design. We then develop a number of approaches for making the problem tractable. In particular, for HMMs we develop a branch-and-bound algorithm, which can be shown to have fixed-parameter tractable worst-case running time, exponential in the number of states of the HMM but linear in the length of the structure. We also show how to cast the problem as a Mixed Integer Linear Program. |
| 关 键 词: | 概率语法形式; 分支定界算法; 固定参数 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-04-21：lxf |
| 阅读次数: | 84 |