Answers:
如果,并且我们有一个可以在多项式时间内解决k-SAT问题的算法,则可以通过将分解描述为k-SAT中的问题,将整数分解简化为k-SAT。
本质上,它的工作方式如下:制作一堆变量,每个变量代表,q和n的位。然后将k-SAT问题公式化为p * q = n。由于已知n,因此可以设置这些值。然后,一个令人满意的赋值将描述一个有效的p和q。要描述k-SAT中的乘法,可以使用任何已知的乘法算法,并在k-SAT中描述其逻辑电路。有关将因式分解为k-SAT的更多信息,请参见此处。
为了更好地理解因式分解,可能需要更多的研究和分析魔术算法(可以在确定性多项式时间内解决NP完全问题),并可能将其专门用于k-SAT问题的整数分解公式(显然有非常具体的结构,具体取决于所使用的乘法算法)。