本文主要研究内容
作者常文静,徐扬（2019）在《一种基于识别重复路径的动态决策策略》一文中研究指出：在现有基于冲突学习子句的求解器中,重启和变量相位存储技术的频繁应用,导致重启之后产生大量重复变量赋值序列,在求解过程中对变量重复赋值会浪费求解资源.本文提出一种基于识别重复路径的动态决策策略.首先,检测搜索过程中产生的重复赋值变量序列,算法中参数依据子句数与变元数的比率而动态变化;其次,更新参与冲突次数最多的变量的活跃值,选择合适的分支决策变量,改变变量赋值序列.本文基于国际SAT竞赛中知名求解器Glucose3.0,MapleCOMSPS,Glucose4.1以及Lingeling,分别实现了改进算法——DDIDT.实验结果可得,改进求解器Glucose_DDIDT相比Glucose3.0降低决策数为11.2%～61.6%,且Glucose_DDIDT求解难度较大实例的个数提高了63.9%.针对求解2015年到2017年SAT竞赛的应用类型的实例,Glucose_DDIDT相比Glucose3.0的求解个数增长了6.0%;改进求解器MapleCOMSPS_DDIDT相比MapleCOMSPS求解个数提高了2.5%;相比Glucose4.1,改进求解器Glucose4.1_DDIDT的求解个数增长了3.1%;虽然Lingeling_DDIDT求解实例总数相比Lingeling只增加1个,但求解时间有所减少.实验表明,所提策略可有效识别重复路径,适时选择合适的分支决策变量,改变搜索路径,减少计算时间.
Abstract
zai xian you ji yu chong tu xue xi zi gou de qiu jie qi zhong ,chong qi he bian liang xiang wei cun chu ji shu de pin fan ying yong ,dao zhi chong qi zhi hou chan sheng da liang chong fu bian liang fu zhi xu lie ,zai qiu jie guo cheng zhong dui bian liang chong fu fu zhi hui lang fei qiu jie zi yuan .ben wen di chu yi chong ji yu shi bie chong fu lu jing de dong tai jue ce ce lve .shou xian ,jian ce sou suo guo cheng zhong chan sheng de chong fu fu zhi bian liang xu lie ,suan fa zhong can shu yi ju zi gou shu yu bian yuan shu de bi lv er dong tai bian hua ;ji ci ,geng xin can yu chong tu ci shu zui duo de bian liang de huo yue zhi ,shua ze ge kuo de fen zhi jue ce bian liang ,gai bian bian liang fu zhi xu lie .ben wen ji yu guo ji SATjing sai zhong zhi ming qiu jie qi Glucose3.0,MapleCOMSPS,Glucose4.1yi ji Lingeling,fen bie shi xian le gai jin suan fa ——DDIDT.shi yan jie guo ke de ,gai jin qiu jie qi Glucose_DDIDTxiang bi Glucose3.0jiang di jue ce shu wei 11.2%～61.6%,ju Glucose_DDIDTqiu jie nan du jiao da shi li de ge shu di gao le 63.9%.zhen dui qiu jie 2015nian dao 2017nian SATjing sai de ying yong lei xing de shi li ,Glucose_DDIDTxiang bi Glucose3.0de qiu jie ge shu zeng chang le 6.0%;gai jin qiu jie qi MapleCOMSPS_DDIDTxiang bi MapleCOMSPSqiu jie ge shu di gao le 2.5%;xiang bi Glucose4.1,gai jin qiu jie qi Glucose4.1_DDIDTde qiu jie ge shu zeng chang le 3.1%;sui ran Lingeling_DDIDTqiu jie shi li zong shu xiang bi Lingelingzhi zeng jia 1ge ,dan qiu jie shi jian you suo jian shao .shi yan biao ming ,suo di ce lve ke you xiao shi bie chong fu lu jing ,kuo shi shua ze ge kuo de fen zhi jue ce bian liang ,gai bian sou suo lu jing ,jian shao ji suan shi jian .
论文参考文献
论文详细介绍
论文作者分别是来自计算机学报的常文静,徐扬，发表于刊物计算机学报2019年10期论文，是一篇关于可满足问题论文,冲突驱动学习子句论文,重启论文,分支决策策略论文,重复赋值序列论文,计算机学报2019年10期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自计算机学报2019年10期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。
标签：可满足问题论文; 冲突驱动学习子句论文; 重启论文; 分支决策策略论文; 重复赋值序列论文; 计算机学报2019年10期论文;