基于SAT和BDD的频繁序列挖掘技术

摘要：

[目的]研究模式挖掘领域中的频繁序列挖掘技术,由于序列模式挖掘存在指数级的搜索空间,且传统的SAT求解算法无法高效求解大规模数据集的缺点,因此研究符号表示和操作技术,用来避免冗余计算.[方法]提出基于SAT的频繁序列挖掘的符号OBDD算法,基于深度优先算法的思想,首先将频繁序列挖掘问题构建为SAT模型,其次对变量进行排序并将约束子句分类后分别描述为OBDD,利用OBDD的"与"操作得到满足SAT的所有频繁序列模式.[结果]实例结果表明,该方法准确可行.[结论]该方法能有效缩减搜索空间,提高求解效率.

关键词：布尔可满足性、有序二叉决策图、频繁序列挖掘

所属期刊栏目：34

分类号：TP301.6(计算技术、计算机技术)

资助基金：广西自然科学基金项目2017GXNSFAA198172

在线出版日期：2018-08-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：137-142,150