10.16208/j.issn1000-7024.2020.02.016
基于对称破坏的子图同构约束求解算法
为避免子图同构问题求解中重复解的产生,提高子图同构问题的约束求解效率,提出一种基于对称破坏的子图同构约束求解算法.基于解的对称破坏思想,改进自同构检测过程,通过置换群操作生成对称破坏字典序约束,构建子图同构问题的一种约束满足问题(CSP)模型,结合CSP的回溯算法对其求解.实验结果表明,该算法有效减少了对重复解的搜索,与传统算法相比明显提高了搜索效率.
子图同构、约束满足问题、对称性破坏、自同构、置换群
41
TP301(计算技术、计算机技术)
国家自然科学基金项目 ;广西自然科学基金项目
2020-04-14(万方平台首次上网日期,不代表论文的发表时间)
共5页
397-401