标签： pseudocode sat
我正在尝试解决3-SAT问题，在该问题中我得到了许多子句，每个子句中都有3个文字。他们在CNF中。
我在为此构造伪代码时遇到了麻烦。我发现它需要一个布尔公式作为输入，并且我应该使用蛮力解决它。我也知道它的时间复杂度是O（2 ^ n），因为每个变量有2种可能的状态。
我很难理解的是如何访问每个变量，因为我们只有一个布尔公式。如何在每个子句中挑选出每个变量以遍历它们，如何进行检查以及如何使一些变量未分配/未分配？
它不一定高效，因为我只是想证明有关蛮力时间复杂性的一点。