CMP设计分享 http://blog.sciencenet.cn/u/accsys 没有逆向思维就没有科技原创。 不自信是科技创新的大敌。

博文

一个可以快速求解的3SAT例题 ——答案

已有 3712 次阅读 2016-5-31 09:37 |个人分类:教学笔记|系统分类:科研笔记| 子句消去法, 3SAT求解

这个题我做用了8分钟,熟悉子句消去法的读者大约15分钟可以得到满足解的答案。

这里上传一个满足解的答案,供有兴趣的读者参考。

欢迎读者给出3SAT题目,我来替你解答。

姜咏江

2016-5-31

3SAT求解.xls

3SAT求解-答案.xls



https://wap.sciencenet.cn/blog-340399-981402.html

上一篇:一个可以快速求解的3SAT例题
下一篇:速度对比:一个可以快速求解的3SAT例题
收藏 IP: 61.135.194.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-10-6 01:00

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部