求解多文字可满足SAT问题的置信传播算法

TP301; 可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得合取范式公式中每个子句至少有一个文字为真.多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得CNF公式中每个子句至少有两个文字为真.显然,此问题仍然是一个NP难问题.为了研究解决多文字可满足SAT问题的算法,引入随机实例产生模型,设计求解多文字可满足SAT问题的置信传播算法.最后,用实例模型产生了大量数据进行实验验证,结果表明:该算法求解多文字可满足SAT问题的性能优于其他启发式算法....

Full description

Saved in:
Bibliographic Details
Published in计算机应用研究 Vol. 38; no. 9; pp. 2710 - 2715
Main Authors 芦磊, 王晓峰, 牛鹏飞, 刘子琳
Format Journal Article
LanguageChinese
Published 北方民族大学 计算机科学与工程学院,银川750021%北方民族大学 计算机科学与工程学院,银川750021 2021
北方民族大学 图像图形智能处理国家民委重点实验室,银川750021
Subjects
多文字可满足;置信传播算法;WalkSAT算法;可满足问题
Online AccessGet full text
ISSN1001-3695
DOI10.19734/j.issn.1001-3695.2021.01.0012

Cover

More Information
Summary:TP301; 可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得合取范式公式中每个子句至少有一个文字为真.多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得CNF公式中每个子句至少有两个文字为真.显然,此问题仍然是一个NP难问题.为了研究解决多文字可满足SAT问题的算法,引入随机实例产生模型,设计求解多文字可满足SAT问题的置信传播算法.最后,用实例模型产生了大量数据进行实验验证,结果表明:该算法求解多文字可满足SAT问题的性能优于其他启发式算法.
ISSN:1001-3695
DOI:10.19734/j.issn.1001-3695.2021.01.0012