博文
一个可以快速求解的3SAT例题 ——答案
|||
这个题我做用了8分钟，熟悉子句消去法的读者大约15分钟可以得到满足解的答案。
这里上传一个满足解的答案，供有兴趣的读者参考。
欢迎读者给出3SAT题目，我来替你解答。
姜咏江
2016-5-31
https://blog.sciencenet.cn/blog-340399-981402.html
上一篇：一个可以快速求解的3SAT例题
下一篇：速度对比：一个可以快速求解的3SAT例题
|||
这个题我做用了8分钟，熟悉子句消去法的读者大约15分钟可以得到满足解的答案。
这里上传一个满足解的答案，供有兴趣的读者参考。
欢迎读者给出3SAT题目，我来替你解答。
姜咏江
2016-5-31
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-11-23 04:13
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社
