Impagliazzo, Paturi dan Calabro, Impagliazzo, Paturi memperkenalkan Hipotesis Eksponensial-Waktu (ETH) dan Hipotesis Eksponensial- Kuat (SETH). Secara kasar, SETH mengatakan bahwa tidak ada algoritma yang memecahkan SAT dalam waktu .
Saya bertanya-tanya apa artinya menghancurkan SETH. Kita pasti perlu menemukan algoritma yang memecahkan SAT dalam kurang dari langkah, tapi saya tidak begitu mengerti model komputasi apa yang harus kita gunakan. Sejauh yang saya tahu, hasil berdasarkan SETH (lihat, misalnya, Cygan, Dell, Lokshtanov, Marx, Nederlof, Okamoto, Paturi, Saurabh, Wahlstrom ) tidak perlu membuat asumsi tentang model perhitungan yang mendasarinya.
Asumsikan, misalnya, bahwa kami menemukan sebuah algoritma yang memecahkan SAT dalam waktu menggunakan ruang 1,5 n . Apakah itu secara otomatis menyiratkan bahwa kita dapat menemukan Mesin Turing yang memecahkan masalah ini dalam waktu 1,99 n ? Apakah itu merusak SETH?