답변:
만약 , 우리는 해결할 수있는 알고리즘이 K-SAT의 다음 인수 정수 단순히 K-SAT의 문제로 인수 분해를 기술함으로써 K-SAT에 감소 될 수 있고, 다항식 시간 문제.
본질적으로 다음과 같이 작동합니다. 각각 , 및 비트를 나타내는 여러 변수를 만듭니다 . 그런 다음 k-SAT 문제를 으로 공식화합니다 . 이 알려져 있으므로 해당 값을 설정할 수 있습니다. 그런 다음 만족스러운 할당은 유효한 및 설명합니다 . k-SAT의 곱셈을 설명하기 위해 알려진 곱셈 알고리즘 중 하나를 사용하고 k-SAT의 논리 회로를 설명 할 수 있습니다. k-SAT로 인수 분해를 줄이는 방법에 대한 자세한 내용은 여기를 참조 하십시오 .
팩토링을 더 잘 이해하려면 마술 알고리즘 (결정적 다항식 시간의 NP- 완전 문제를 해결할 수 있음)을 더 많이 연구하고 분석해야하며 k-SAT 문제의 정수 팩토링 공식에 특화해야합니다. 사용 된 곱셈 알고리즘에 따라 매우 구체적인 구조).