原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
目 录
摘要·······························································1
Abstract···························································2
弓I．言···················-···········································3
第一章绪论························································4
第一节时间复杂度··············································4
第二节关于NP问题·············································5
第三节可满足性问题············································5
第四节逻辑电路与CNF式································一···一·6
第五节本文的思路和组织架构···········一一“········一一”一“·8
第二章可满足性算法研究的分析······-·····················一“······9
第一节可满足性算法的发展····························一一······9
························一······一“””一一·9
第二节DPLL算法
第三节常用提高算法效率的途径·············一·····一一一”··一·1l
第三章或与表达式的简化思路及程序实现·····················一一····22
第一节利用异或和同或表达式化简·························“·一·22
第二节消除同时出现某一变量及其取反的子旬···············”·“·23
第三节消去包含于其他子句的冗余子句················““”””·23
第四节利用多项式化简消去并化简子句·····················一一一25
第五节消去不再使用的变量·············一·一···一一．．”””一“27
第四章预处理程序的实验结果···············一·．．··一“””一”“一·28
第一节实验环境及数据···············一“·．．“一·一一一一一一一28
第二节·············································一一““”·28
第五章总结和展望······················一”·”””·”“”””“．．一32
参考文献·····················一一“···“”一．．””一””“一“””33
附录··“·····”···一一··············”一···”·一一···一”一．．“”·35
致{射··”······“···········一····“··········”一·一．．”””“．．．．39
关键词：可满足性问题简化CNF式
中图分类号：TN4
Abstract
Boolean a of
SatisfiabiProblem(SAT)isproblem boolean
lity solving
to outifitcanbe
find satisfied．Booleancan
expression expression
betranslatedinto Normal
Form(CNF)．Th
文档评论（0）