Pertanyaan pertama saya adalah apakah karakterisasi sistem bukti interaktif dikenal untuk semua kelas kompleksitas klasik. Saya akan memanggil P, NP, PSPACE, EXP, NEXP, EXPSPACE, fungsi rekursif dan berulang secara berulang klasik (antara lain). Secara khusus, apakah karakterisasi sistem bukti interaktif dikenal untuk fungsi berulang dan berulang secara berulang?
Saya hanya tahu bahwa IP = PSPACE dan MIP = NEXPTIME. Dengan `know 'berarti saya memahami definisi objek di kedua sisi kesetaraan dan mungkin memahami kesetaraan.
Pertanyaan kedua saya adalah apakah ada ringkasan grafis dari berbagai jenis sistem bukti interaktif dan kelas kompleksitas yang mereka cirikan.
Secara khusus, saya ingin referensi ke sosok yang mirip dengan gambar Immerman tentang karakterisasi kompleksitas deskripsi .