带有解决方案的大型可解决3SAT问题的示例

如何解决带有解决方案的大型可解决3SAT问题的示例

有人知道可解决3SAT问题示例的链接以及该问题的解决方法吗？

谢谢

解决方法

您可以构造一个简单的3Sat实例，该实例可以在多项式时间内求解。构造平凡的3Sat问题的方法有几种：

• 正确使用每个变量一次->每个变量设置都是一种解决方案
• 不要使用取反->将每个变量设置为true是一种解决方案
• ...

我不知道一个简单的3Sat示例，它很大且可以解决。 Sat Competition一年举办一次。您可以查看基准测试，看看是否有3Sat基准测试。

,

这就是我所做的：

1. 下载3个SAT示例，例如此站点： https://www.cs.ubc.ca/~hoos/SATLIB/benchm.html 在下载项中，用友表示可以满足，用友表示不能满足。

2. 然后将这些示例添加到https://msoos.github.io/cryptominisat_web/，这是浏览器中的MiniSAT（SAT求解器）版本。

3. 单击“播放”按钮，MiniSAT计算解决方案。