首页 下载 课程学习 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
通过阅读这个文档,理清了挺多概念