Kompleksitas Zoo menunjukkan dalam entri pada EXP bahwa jika L = P maka PSPACE = EXP. Karena NPSPACE = PSPACE oleh Savitch, sejauh yang saya tahu argumen padding yang mendasarinya meluas untuk menunjukkan bahwa Kita juga tahu bahwa L NL NC P via hirarki bergantian sumber daya Ruzzo.
Jika NC = P, apakah ini mengikuti PSPACE = EXP?
Penafsiran yang berbeda dari pertanyaan, dalam semangat Richard Lipton: apakah lebih mungkin bahwa beberapa masalah dalam P tidak dapat diparalelkan, daripada bahwa tidak ada prosedur waktu eksponensial yang membutuhkan lebih dari ruang polinomial?
Saya juga akan tertarik pada konsekuensi "mengejutkan" lainnya dari NC = P (semakin tidak mungkin semakin baik).
Sunting: Jawaban Ryan mengarah ke pertanyaan lebih lanjut: apa hipotesis terlemah yang diketahui menjamin PSPACE = EXP?
- W. Savitch. Hubungan antara kompleksitas pita nondeterministik dan deterministik, Jurnal Ilmu Komputer dan Sistem 4 (2): 177-192, 1970.
- WL Ruzzo. Pada kompleksitas sirkuit yang seragam, Jurnal Ilmu Komputer dan Sistem 22 (3): 365-383, 1971.
Edit (2014): tautan Kebun Binatang lama yang diperbarui dan tautan yang ditambahkan untuk semua kelas lainnya.