We propose a polynomially bounded, in time and space, method to decide whether a given 3-SAT formula is satisfiable or no. The tools we use here are, in fact, very simple. We first decide satisfiability for a particular \thsat\ formula, called pivoted 3-SAT and, after a plain transformation, still keeping the polynomial boundaries, it is shown that \thsat\ formulas can be written as pivoted formulas.
翻译:我们建议了一种在时间和空间上以多元方式捆绑在一起的方法来决定给定的3-SAT公式是可比较的还是不可比较的。 我们在这里使用的工具其实非常简单。 我们首先决定了特定\thsat\ 公式的可比较性, 称为 3-SAT, 在简单转换后, 仍然保持多元边界, 这表明\thsat\ 公式可以写成为支注公式 。