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

• 作者: 徐周波 戴瑀君
• 来源期刊: 广西科学院学报
• 学科: 工学
• 关键词: 布尔可满足性 有序二叉决策图 频繁序列挖掘
• 年，卷（期）: 2018,（2）
• 所属期刊栏目: 计算科学
• 页码范围: 137-142,150
• 页数: 7页
• 分类号: TP301.6
• 字数: 5744字
• 语种: 中文
• DOI: 10.13657/j.cnki.gxkxyxb.20180604.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐周波	桂林电子科技大学计算机与信息安全学院	53	284	8.0	15.0
2	戴瑀君	桂林电子科技大学计算机与信息安全学院	2	0	0.0	0.0