Asumsikan
Mari gunakan notasi berikut for tetration (mis. ).
| x | adalah ukuran instance x.
Biarkan L menjadi bahasa,
Apa kompleksitas dari bahasa-bahasa berikut:
L2=SAT|
Sebagai , mereka tidak dapat baik di P di bawah asumsi bahwa P ≠ N P . Karena keduanya memiliki lubang eksponensial, saya tidak berpikir SAT dapat dikurangi menjadi satu.
Karena itu intuisi mereka adalah keduanya di NPI, tetapi saya tidak dapat menemukan bukti atau disproof.
Dua bahasa lainnya adalah L4=SAT| | x | =
Jika salah satu dari keduanya berada di NPC, yang lain di P karena untuk setiap contoh dari satu, itu tidak dapat diubah menjadi contoh yang lebih besar dari yang lain karena ukurannya eksponensial, dan contoh yang lebih kecil memiliki ukuran logaritmik. Masih dengan intuisi, tidak ada alasan mengapa mereka akan memiliki kompleksitas yang berbeda. Akan seperti apa kompleksitasnya?
Bukti Ladner tentang masalah NPI berdasarkan asumsi menggunakan bahasa seperti L 1 atau L 2 , tetapi L 1 dan L 2 tidak dibangun oleh diagonalisasi.