首页 下载 课程学习 C++/C 下载详情 关于Sat问题 上传：fengyan59889 浏览： 57 推荐： 0 文件：RAR 大小：563.63KB 上传时间：2019-01-09 07:33:57 版权申诉 SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。 立即下载 上传资源 微信扫一扫 用户评论 提交评论 bakery_42700 2019-01-09 07:33:57 谢谢了，看了之后把问题解决了 kysl_sxp 2019-01-09 07:33:57 还好，供理解算法用 lipv 2019-01-09 07:33:57 有参考意义。 xtaxa 2019-01-09 07:33:57 看了点，对于sat问题有了点了解。 Keep-Thinking 2019-01-09 07:33:57 程序写的很简单，没有实质性的用处 cdwl80443 2019-01-09 07:33:57 程序写的挺不错的，要是还有文档说明就好了 skygmdx 2019-01-09 07:33:57 通过阅读这个文档，理清了挺多概念
bakery_42700 2019-01-09 07:33:57
谢谢了，看了之后把问题解决了
kysl_sxp 2019-01-09 07:33:57
还好，供理解算法用
lipv 2019-01-09 07:33:57
有参考意义。
xtaxa 2019-01-09 07:33:57
看了点，对于sat问题有了点了解。
Keep-Thinking 2019-01-09 07:33:57
程序写的很简单，没有实质性的用处
cdwl80443 2019-01-09 07:33:57
程序写的挺不错的，要是还有文档说明就好了
skygmdx 2019-01-09 07:33:57
通过阅读这个文档，理清了挺多概念