SAT问题算法设计与实现(附源码)--第一部分.pdf

SAT问题算法设计与实现(附源码)--第一部分.pdf

  1. 1、本文档共12页,其中可免费阅读4页,需付费180金币后方可阅读剩余内容。
  2. 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
  3. 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
  4. 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
SAT 问题算法设计与实现问题算法设计与实现 问题算法设计与实现问题算法设计与实现 【摘要】本文介绍了SAT问题及其完全性算法与不完全性算法,并对各种求解算法进行比较,从中 选择了几个比较具有代表性的算法,如分治算法、回溯算法、贪心算法、局部有哪些信誉好的足球投注网站算法、启发有哪些信誉好的足球投注网站 算法和模拟退火算法。在设计和实现这些算法的同时,结合参考文献的思维模式提出了自己的代码 优化方案,比如求解贪心算法最大效益值的一步扫描策略等。最后,采用国际标准SATLIB中的随机 3-SAT测试数据集,运行和分析算法

文档评论(0)

好文精选 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档