1
NP vs ko-NP dan logika orde kedua
Asumsikan NP = co-NP dan polinomial membatasi panjang bukti ketidakpuasan untuk instance 3-CNF . Lalu apakah ada hasil pada bentuk apa bukti tidak memuaskan untuk panjang dapat mengambil? Yaitu secara umum, akankah bukti semacam itu harus, misalnya, menggunakan kekuatan penuh dari logika orde dua atas struktur yang tak terbatas (saya …