电子技术杂志社

摘要：阐述针对基于消息传递网络的端到端SAT模型容易陷入重复解访问问题,设计一个基于多策略模式的变量嵌入交换模型VeeAMS。该模型在消息传递过程中依据可满足性得分策略和随机策略来选择变量,并交换被选中变量的正负文字嵌入。基于可满足性得分策略的VeeAMS-score模型在消息传递过程中统计每个变量参与的未满足子句个数,参与的子句中未满足子句占比越多其被选择的概率越大。基于随机策略的VeeAMS-random模型则随机选择变量进行嵌入交换。在3-SAT、k-SAT、k-Coloring、3-Clique以及SHA-1原像攻击任务数据集上的实验结果表明,相比先进的基于神经网络的端到端SAT求解模型QuerySAT,VeeAMS-score在包含400个变量的3-SAT数据集上准确率有较大幅度的提升。

关键词： 布尔可满足性问题;消息传递网络;机器学习;

专辑： 信息科技;基础科学

专题： 数学;自动化技术

分类号： TP181;O157.5