问题描述
有人知道可解决3SAT问题示例的链接以及该问题的解决方法吗？
谢谢
解决方法
您可以构造一个简单的3Sat实例，该实例可以在多项式时间内求解。构造平凡的3Sat问题的方法有几种：
- 正确使用每个变量一次->每个变量设置都是一种解决方案
- 不要使用取反->将每个变量设置为true是一种解决方案
- ...
我不知道一个简单的3Sat示例，它很大且可以解决。 Sat Competition一年举办一次。您可以查看基准测试，看看是否有3Sat基准测试。
,这就是我所做的：
-
下载3个SAT示例，例如此站点： https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html 在下载项中，用友表示可以满足，用友表示不能满足。
-
然后将这些示例添加到https://msoos.github.io/cryptominisat_web/，这是浏览器中的MiniSAT（SAT求解器）版本。
-
单击“播放”按钮，MiniSAT计算解决方案。