Wenn ist und wir einen Algorithmus haben, der das k-SAT- Problem in Polynomzeit lösen kann, kann die ganzzahlige Faktorisierung einfach auf k-SAT reduziert werden, indem Factoring als Problem in k-SAT beschrieben wird.P=NP
Im Wesentlichen funktioniert es wie folgt: Sie erstellen eine Reihe von Variablen, die jeweils die Bits von , q und n darstellen . Dann formulieren Sie das k-SAT-Problem als p ∗ q = n . Da n bekannt ist, können Sie diese Werte einstellen. Dann beschreibt eine befriedigende Zuordnung ein gültiges p und q . Um die Multiplikation in k-SAT zu beschreiben, können Sie einen der bekannten Multiplikationsalgorithmen verwenden und die logische Schaltung in k-SAT beschreiben. Weitere Informationen zur Reduzierung des Factorings auf k-SAT finden Sie hier .pqnp ∗ q= nnpq
Ein besseres Verständnis des Factorings würde wahrscheinlich mehr Forschung und Analyse des magischen Algorithmus erfordern (der NP-vollständige Probleme in der deterministischen Polynomzeit lösen kann) und ihn möglicherweise auf die ganzzahlige Factoring-Formulierung des k-SAT-Problems spezialisieren (was offensichtlich der Fall ist) eine sehr spezifische Struktur, abhängig vom verwendeten Multiplikationsalgorithmus).