- 1、本文档共56页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
优秀硕士毕业论文,完美PDF格式,可在线免费浏览全文和下载,支持复制编辑,可为大学生本专业本院系本科专科大专和研究生学士硕士相关类学生提供毕业论文范文范例指导,也可为要代写发表职称论文的提供参考!!
使用分支定界算法求解带硬约束的MAX.SAT问题 摘要
使用分支定界算法求解带硬约束的
MAX-SAT问题
专 业:计算机软件与理论
硕士生:汤振东
指导老师:郭嵩山教授
摘 要
MAX-SAT问题,它是SAT问题和
带硬约束的MAX-SAT问题又称为Partial
MAX—SAT问题的结合,比后两者有着更强的描述问题的能力和更广泛的应用背景。
人工智能、电路设计、生物信息学等领域的许多问题都可以转化为Partial
MAX—SAT问题。
MAX-SAT问题的目标是要找到一组
对含有硬子句和软子句的公式,Partial
赋值,在满足所有硬子句的情况下,满足最多的软子句。PartialMAX—SAT问题
是NP难的最优化问题,对它的求解算法分为完备算法和非完备算法,当前的研
究主要集中在完备算法。
本文首先介绍了MAX-SAT问题的研究现状。然后设计分支定界算法求解
Partial
MAX—SAT问题。当前的大部分求解器都是给硬子句赋予足够大的权值,
特性。本文在下界计算方面,充分利用硬子句的性质,获得更紧的下界。在推理
技术方面,提出适应硬子句的五条推理规则。针对硬子句部分难满足的情况,引
进求解SAT问题的子句学习算法。另外还设计了预处理和变量选择策略等技术,
从而开发出求解PartialMAX-SAT问题的高效求解器。
本文使用2008年MAX-SAT求解评比的官方数据进行实验。跟当今世界上优
秀的求解器作横向的比较,实验结果表明本求解器是具有相当竞争力的。
关键词:分支定界,下界计算,推理规则,SAT
使用分支定界算法求解带硬约束的MAX-SAT问题 Abstract
BranchandBound toSolve
Using Algorithm
MAX.SATProblemwithHardConstrains
Softwareand
Major:ComputerTheory
Name:TangZhendong
Songshan
Supervisor:Prof.Guo
Abstract
MAX—SAT withhardconstrainsISalsoknownasthePartialMAX·SAl’
problem
isthecombinationoftheSAT andtheMAX—SAT
problem.It problem problem.
withthelatter has andwider
Compared two,itstrongerexpressivepower application.
in andotherareas
artificial
Manyproblems intelligence,circuitdesign,bioinformatics
be
cantransformedintoPartialMAX—SAT
pro
文档评论(0)