最大公共子图的约束符号求解方法

• 作者: 刘桂珍 唐浩 徐周波
• 来源期刊: 广西科学院学报
• 学科: 工学
• 关键词: 最大公共子图 软约束满足问题 全局约束 ADD
• 年，卷（期）: 2017,（1）
• 页码范围: 25-31
• 页数: 7页
• 分类号: TP301.6
• 字数: 6134字
• 语种: 中文
• DOI: 10.13657/j.cnki.gxkxyxb.20170220.001

摘要

[目的]探索求解两个图最大公共子图的方法.[方法]建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法.首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解.[结果]算例结果表明,该方法准确可行.[结论]该方法能有效缩减搜索空间,从而提高问题的求解效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐周波	桂林电子科技大学广西可信软件重点实验室	53	284	8.0	15.0
2	唐浩	桂林电子科技大学广西可信软件重点实验室	2	2	1.0	1.0
3	刘桂珍	桂林电子科技大学广西可信软件重点实验室	3	2	1.0	1.0