Apakah akan ada konsekuensi besar jika SAT paling banyak memiliki bukti tidak aman subeksponensial atau bahkan lebih kuat, SAT memiliki algoritma waktu subeksponensial?
4
Ini akan membantah hipotesis waktu eksponensial yang memiliki berbagai konsekuensi (dibahas dalam artikel wikipedia).
—
Artem Kaznatcheev
@ArtemKaznatcheev komentar -> jawab?
—
Suresh Venkat
@SureshVenkat merasa agak canggung untuk memberikan jawaban ketika Ryan Williams dapat memberikan yang lebih baik. Saya memberikan satu untuk saat ini, tetapi saya berharap Ryan dan yang lainnya memberikan sesuatu yang lebih keren.
—
Artem Kaznatcheev
Jika jawabannya benar, tidak masalah siapa yang memberikannya :)
—
Suresh Venkat
Maaf Artem, jawaban saya tidak akan jauh lebih keren dari milik Anda ... Saya kira satu hal untuk ditambahkan adalah bahwa ETH salah menyiratkan sirkuit superlinear baru batas bawah (kertas yang sama).
—
Ryan Williams