C-SAT和SAT之间的区别？

Question

这两个NP完全问题究竟有什么区别？在我看来，他们都在询问是否可以满足布尔公式（即输出1），但一个是在电路的上下文中，另一个是公式。然而，无法从布尔电路中编写布尔公式？

Answer 1

你是对的，他们彼此非常接近。任何C-SAT问题都可以表示为SAT，任何SAT问题都可以表示为C-SAT。有一个问题如何翻译C-SAT＆lt; - ＆gt; SAT以最有效的方式。有些任务更好地表现为SAT，其中一些看起来像＃S;更好的C-SAT。

此外，还有SAT求解器在内部使用电路表示，而不是更流行的分句形式。

此外，您可以阅读这项精彩的调查：M. Bjork, 2009, Successful SAT encoding techniques