Jawaban:
Jika , dan kami memiliki algoritma yang dapat memecahkan masalah k-SAT dalam waktu polinomial, maka faktorisasi bilangan bulat dapat direduksi menjadi k-SAT dengan menggambarkan faktorisasi sebagai masalah dalam k-SAT.
Pada dasarnya ini berfungsi sebagai berikut: Anda membuat banyak variabel yang masing-masing mewakili bit , dan , dan . Kemudian Anda merumuskan masalah k-SAT sebagai . Karena diketahui, Anda dapat mengatur nilai-nilai itu. Kemudian tugas yang memuaskan akan menggambarkan dan valid . Untuk menggambarkan perkalian dalam k-SAT, Anda dapat menggunakan salah satu dari algoritma pengali yang diketahui dan menggambarkan rangkaian logisnya di k-SAT. Untuk info lebih lanjut tentang mengurangi anjak piutang menjadi k-SAT, lihat di sini .
Adapun untuk memahami anjak lebih baik, itu mungkin akan membutuhkan lebih banyak penelitian dan menganalisis algoritma ajaib (yang dapat memecahkan masalah NP-lengkap dalam waktu polinomial deterministik), dan mungkin mengkhususkannya untuk perumusan bilangan bulat k-SAT masalah formulasi k-SAT (yang jelas memiliki struktur yang sangat spesifik, tergantung pada algoritma perkalian yang digunakan).
Masalah keputusan untuk anjak piutang adalah dan anjak piutang dapat dikurangi menjadi waktu polinomial deterministik.
Jika maka masalah apa pun di termasuk anjak akan memiliki algoritma waktu polinomial.
Perhatikan bahwa algoritma deterministik / probabilistik yang paling dikenal untuk anjak pada saat ini membutuhkan waktu eksponensial sehingga algoritma waktu polinomial akan menjadi peningkatan yang hebat. Untuk mendapatkan perasaan itu, pertimbangkan anjak nomor 2000 bit. Yang satu mungkin membutuhkan waktu lebih lama daripada sejak big bang, yang lain mungkin menjawab dalam beberapa milidetik.