摘要： 序列比對是生物序列分析中的一個經(jīng)典問題，旨在找出序列之間的相似性，它對于發(fā)現(xiàn)生物序列中的功能、結(jié)構(gòu)和進化信息都具有重要的意義.該問題可分為雙序列比對和多序列比對2類，現(xiàn)有工作多針對特定算法展開，沒有設(shè)計通用的求解方法；此外，甚少涉及算法可信性的研究.從生物序列比對問題的形式化規(guī)約出發(fā)，通過深入分析問題的性質(zhì)，刻畫問題求解的本質(zhì)特征，借助形式化方法 PAR(partition a... （共13頁）