[发明专利]基于SAT及OBDD桶消元的蛋白质分类方法

摘要

本发明公开一种基于SAT及OBDD桶消元的蛋白质分类方法，其采用布尔可满足性问题(SAT)的模型，利用有序二叉决策图(OBDD)的符号求解算法以及桶消元算法，包括：先利用候选模式中元素位置的约束关系以及基数约束构建SAT模型；再使用OBDD符号技术以及包含的各项符号操作，结合桶消元算法，对所建立的模型进行求解，并且将求解技术应用到蛋白质分类中，分析提取了蛋白质中的特征信息，进行有效的分类。本发明面向蛋白质分类问题，通过求解模式挖掘中的频繁序列挖掘问题，对蛋白质进行研究。算法执行过程中，有效缩减了搜索空间，提高问题的求解效率，具有良好的实用性。

主权项

1.基于SAT及OBDD桶消元的蛋白质分类方法，其特征是，具体包括步骤如下：步骤1、根据给定的蛋白质序列以及最小支持度阈值，使用命题变量来表示候选模式中元素的位置，使用基数约束推导候选模式的支持度，建立蛋白质分类的SAT模型；步骤2、将步骤1所建立的SAT模型的所有约束子句转化为布尔函数表述形式，并运用OBDD的运算和化简规则，将所有约束子句表示为OBDD形式，得到SAT模型的符号OBDD表示；步骤3、根据步骤2所得的SAT模型的符号OBDD表示，在桶消元算法的基础上，通过OBDD的符号操作来求解SAT。