[发明专利]一种基于对称破坏的子图同构约束求解方法有效
申请号: | 201810607429.5 | 申请日: | 2018-06-13 |
公开(公告)号: | CN108932306B | 公开(公告)日: | 2021-05-25 |
发明(设计)人: | 徐周波;梁轩瑜;戴瑀君;宁黎华;杨健;黄文文;刘桂珍;张鵾 | 申请(专利权)人: | 桂林电子科技大学 |
主分类号: | G06F16/901 | 分类号: | G06F16/901;G06F16/903 |
代理公司: | 桂林市持衡专利商标事务所有限公司 45107 | 代理人: | 陈跃琳 |
地址: | 541004 广西*** | 国省代码: | 广西;45 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开一种基于对称破坏的子图同构约束求解方法,其采用约束满足问题CSP的模型,首先分析模式图和目标图的节点、边等信息构建子图同构问题的约束满足问题的模型,添加破坏对称约束,再根据约束满足问题的求解方法,对所建立的模型进行求解。破坏对称技术包括检测自同构节点和通过Schreier‑Sims算法生成对称破坏约束两步。由于对称破坏技术用于解决CSP中的对称性,通过施赖埃尔一西姆斯算法对置换群的操作生成破坏对称约束,能够避免对称子树的二次搜索,降低组合复杂性。因此算法执行过程中,有效缩减了搜索空间,提高问题的求解效率,具有良好的实用性。 | ||
搜索关键词: | 一种 基于 对称 破坏 图同构 约束 求解 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于桂林电子科技大学,未经桂林电子科技大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201810607429.5/,转载请声明来源钻瓜专利网。