Ada banyak masalah NP-selesai di sekitar dan sumber mengumpulkan mereka, misalnya lihat buku oleh Garey dan Johnson. Saya akan tertarik untuk melihat daftar masalah lengkap NEXP juga. Apakah ada satu tersedia? Karena saya anggap tidak ada, saya membuka pertanyaan ini (apakah ini seharusnya merupakan komunitas wiki? Saya tidak tahu tentang hal ini).
Idealnya daftar harus mencakup "jenis" yang berbeda dari masalah lengkap NEXP, mungkin dengan beberapa redundansi yang sehat untuk mendapatkan gambaran besar, tetapi tanpa mengulangi terlalu banyak. Sebagai contoh, baik untuk memiliki dua atau tiga versi ringkas yang berbeda dari masalah NP-lengkap yang sama sebagai contoh, jika pengkodean ringkas datang dalam bentuk yang sedikit berbeda. Tidak selusin. Cara bersih untuk menambahkan redundansi adalah dengan menambahkan klausa formulir "Juga NEXP-lengkap jika BLAH". Klausa formulir "Tetap NEXP-lengkap jika grafik input memiliki tingkat paling banyak BLAH" juga diterima.
Akhirnya, izinkan saya menambahkan preferensi pribadi. Saya terutama tertarik pada masalah lengkap rasa "aljabar", jika ada. Misalnya, masalah # P-complete favorit saya adalah permanen karena rasanya aljabar. Saya harap kesetaraan NEXP = MIP juga dapat memberikan beberapa masalah lengkap NEXP aljabar yang tidak saya sadari.