文档名：最大公共子图的约束符号求解方法
目的：探索求解两个图最大公共子图的方法.方法：建立最大公共导出子图的软约束满足问题(SoftCSP)模型,提出代数决策图(ADD)的符号求解算法.首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解.结果：算例结果表明,该方法准确可行.结论：该方法能有效缩减搜索空间,从而提高问题的求解效率.
作者：刘桂珍徐周波唐浩
作者单位：桂林电子科技大学,广西可信软件重点实验室,广西桂林541004
母体文献：广西计算机学会成立30周年庆典暨2016年学术年会论文集
会议名称：广西计算机学会成立30周年庆典暨2016年学术年会
会议时间：2016年11月26日
会议地点：南宁
主办单位：广西计算机学会
语种：chi
分类号：
关键词：最大公共子图 软约束满足问题 代数决策图 分支定界 求解效率
在线出版日期：2019年6月26日
基金项目：
相似文献
相关博文
|
