Lance Fortnow baru-baru ini mengklaim bahwa membuktikan L! = NP harus lebih mudah daripada membuktikan P! = NP :
- Pisahkan NP dari ruang Logaritmik. Saya memberikan empat pendekatan dalam survei pra-blog 2001 tentang diagonalisasi (Bagian 3) meskipun tidak ada yang berhasil. Seharusnya lebih mudah daripada memisahkan P dari NP.
Bagian 3 dalam survei terkait mengklaim bahwa tidak ada hasil kehancuran oracle yang berarti:
Sementara pertanyaan P! = NP tetap cukup tangguh, pertanyaan L! = NP tampaknya jauh lebih mudah ditelusuri. Kami tidak punya alasan untuk menganggap pertanyaan ini sulit. Kurangnya model relativisasi yang baik untuk ruang berarti kita tidak memiliki model oracle yang berarti di mana L dan NP runtuh. Juga karena L adalah kelas yang seragam, batasan Razborov-Rudich [RR97] tidak berlaku.
Sebuah pertanyaan tentang hambatan relativiasi yang dikenal untuk L! = NP di situs ini mendapat jawaban yang menunjukkan bahwa TQBF menyelesaikan masalah PSPACE dapat digunakan sebagai ramalan untuk mendapatkan keruntuhan seperti itu. Keberatan tentang apakah ini adalah model oracle yang berarti tampaknya juga dijawab.
Tetapi bahkan jika saya akan mengerti mengapa "kita tidak memiliki model oracle yang berarti di mana L dan NP runtuh" harus dianggap sebagai pernyataan yang benar, saya masih ragu apakah membuktikan L! = NP lebih layak daripada membuktikan P! = NP. Jika membuktikan L! = NP harus benar-benar lebih mudah daripada membuktikan P! = NP, maka membuktikan ALogTime! = PH harus secara pasti berada dalam jangkauan. (Artikel survei mengisyaratkan kemungkinan untuk memisahkan dari L. ) Saya kira ALogTime! = PH masih terbuka, dan saya ingin tahu apakah ada alasan bagus untuk berharap bahwa itu akan sulit untuk dibuktikan.