【摘 要】
:
目的:探索求解两个图最大公共子图的方法.方法:建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法.首先,分别对两个图中的变量和值域进
【机 构】
:
桂林电子科技大学,广西可信软件重点实验室,广西桂林541004
【出 处】
:
广西计算机学会成立30周年庆典暨2016年学术年会
论文部分内容阅读
目的:探索求解两个图最大公共子图的方法.方法:建立最大公共导出子图的软约束满足问题(Soft CSP)模型,提出代数决策图(ADD)的符号求解算法.首先,分别对两个图中的变量和值域进行编码,完成两个图的ADD表示;其次,基于深度优先分支定界算法的思想,利用符号ADD的相关操作,实现对最大公共导出子图的求解.结果:算例结果表明,该方法准确可行.结论:该方法能有效缩减搜索空间,从而提高问题的求解效率.
其他文献
【目的】对石油平台水下部分的阴极保护状况进行长期监测评价,以保证平台安全。【方法】通过实验室实验筛选电位及电流探头,然后在现场布设阴/阳极电位监测探头、阳极电流监
通过综述数学方法在国内外体育领域中的应用情况,比较相近学科的应用现状,概述了如何建立体育数学学科体系,体育数学的发展趋势及主要选题和研究方向等问题;论证了体育数学应
统一战线历来是为党的中心工作服务的。可以说,统一战线本来就是围绕党的大目标做“和谐”工作的。因此,统一战线在全面建设小康社会、构建社会主义和谐社会中具有独特的优势和
专业心理求助行为是指人们在遇到心理困扰时寻求专业心理健康帮助和服务(心理咨询和治疗)的行为。为解决心理疾病的高患病率和心理疾病患者低专业求助率之间的矛盾,专家学者
合成孔径雷达成像技术作为一种新的雷达成像技术,现已广泛应用于军事和国民经济的许多领域。本文围绕SAR原始信号仿真展开研究,讨论模拟合成孔径雷达地面回波的产生和成像算法,
本文在深入分析湖北省旅游发展特点的基础上,运用现代系统工程中的多目标决策方法,确定了区域旅游发展的开发重点、限制性因素和对策措施。
【正】 “为他人作嫁衣裳”源自唐代秦韬玉《贫女》诗:“蓬门未识绮罗香,拟托良媒亦自伤。谁爱凤流高价调?共怜时世俭梳妆。敢将十指夸针巧,不把双眉斗画长。苦恨年年压金线,
【正】 近来读书,有几点心得,随笔记下,供读者一阅。 一、“对号入座种种” “能使人对号入座的作品才是好作品”,一些评论家为一些受非难的作家如是辩护说。 对,首先说明作
抗菌药,顾名思义就是用来杀灭细菌,治疗细菌性感染的一类特殊药物。在我国,抗菌药物的使用量大,存在过度应用甚至滥用的现象。据调查,我国医院住院患者使用抗菌药的比例在70%以上,门
【正】 东盟即东南亚国家联盟,包括印度尼西亚、马来西亚、新加坡、泰国、菲律宾和文莱6个成员国,总面积约360万平方公里,人口3亿多(1989年)。1985年,东盟国家国内生产总值为