sat的时间复杂度
Time complexity of sat
如何衡量 SAT 的复杂性？对于 N 个变量，例如 (A∧B)∨(A∧B)，那么公式的最大大小是 unbounded.Rather 比它需要多少个变量？
变量的数量是问题复杂性的适当度量。 N 个变量中的每一个都可以取真值或假值，因此有 2N 种可能的输入。 SAT 求解器只需检查它是否可以找到输入值的任何组合，以便方程（表达式）产生 'true'.
如何衡量 SAT 的复杂性？对于 N 个变量，例如 (A∧B)∨(A∧B)，那么公式的最大大小是 unbounded.Rather 比它需要多少个变量？
变量的数量是问题复杂性的适当度量。 N 个变量中的每一个都可以取真值或假值，因此有 2N 种可能的输入。 SAT 求解器只需检查它是否可以找到输入值的任何组合，以便方程（表达式）产生 'true'.