Kelas besar yang berisi LOGSPACE yang inklusi ketatnya tidak diketahui


12

Halaman wikipedia di PSPACE menyebutkan bahwa inklusi tidak dikenal ketat (sayangnya tanpa referensi).NLPH

T1: Bagaimana dengan dan - apakah ini dikenal ketat?L P # PLPHLP#P

T2: Jika tidak, adakah kelas yang mapan yang berisi dan yang tidak diketahui jika inklusi ketat?P # P L CCP#PLC

T3: Apakah inklusi seperti itu dibahas dalam literatur?


2
Saya kira untuk Q2 maksud Anda benar-benar terkandung dalam PSPACE?
Sasho Nikolov

5
AFAIK, satu-satunya pemisahan tahu untuk adalah teorema hierarki ruang. Saya tidak berpikir itu diketahui jika ada kelas yang disebutkan dalam pertanyaan dapat mensimulasikan ruang super-logaritmik sehingga mereka juga tidak dikenal ketat. (Tidak mengetahui pemisahan bukanlah hasil sehingga mungkin alasannya tidak ada referensi.)L
Kaveh

4
Bahkan untuk kelas yang lebih kecil dari , seperti uniform , inklusi Q1 tidak dikenal ketat. Saya pikir, mengingat keadaan pengetahuan saat ini, pada dasarnya setiap kelas antara dan benar-benar terkandung dalam adalah jawaban positif untuk Q2. N C 1 C P # P P S P A C ELNC1CP#PPSPACE
Joshua Grochow

Judul pertanyaan Anda mengatakan "Kelas terbesar". Bukankah maksud Anda "kelas terkecil"?
Shaull

4
Bahkan tidak diketahui apakah secara ketat termasuk dalam PH. berisi TC ^ 0 oleh argumen hierarki, tetapi seperti yang sudah disebutkan oleh Joshua Grochow, ini tidak dikenal untuk NC ^ 1. Untuk Q2, Anda dapat mengambil CH. P # PAC0[6]P#P
Emil Jeřábek 3.0

Jawaban:


7

Ini pertanyaan favorit saya.

Fortnow menunjukkan, dalam makalahnya "Time-Space Tradeoffs for Satisfiability" , bahwa terkandung dalam , di mana adalah fungsi yang tidak terikat. Artinya, ruang log nondeterministic benar terkandung dalam waktu polinomial bergantian dengan alternatif.Σ a ( n ) P a ( n ) a ( n )NLΣa(n)Pa(n)a(n)

Menunjukkan bahwa tidak dalam untuk konstanta tetap akan menyiratkan bahwa . (Untuk melihat ini, pertimbangkan alat kontrasepsi.)Σ k P k N L N P.NLΣkPkNLNP

Terbuka apakah . Terakhir kali saya serius berusaha membuktikan ini, itu menghasilkan makalah "Time-Space Tradeoffs untuk Menghitung Solusi NP Modulo Integers" . Saya mencoba untuk menemukan beberapa simulasi setiap bahasa di logspace yang akan mengambil waktu untuk beberapa tetap ketika salah satu memiliki akses ke oracle untuk menghitung memuaskan tugas untuk formula yang diberikan. (Ini akan menyiratkan .) Pendekatan saya tidak berhasil, tetapi saya akhirnya menggunakan pendekatan yang sama untuk membuktikan batas waktu ruang yang lebih rendah untuk memecahkan dan hasil terkait lainnya. n k k L O G S P A C E P # P M o d 6 S A TNL=P#PnkkLOGSPACEP#PMod6SAT

Uniform- terkandung dengan benar dalam . Buktinya ada di Allender, "The Permanent Membutuhkan Sirkuit Ambang Seragam Besar" . Setiap perbaikan pada pemisahan ini terbuka. (Misalnya, membuktikan seragam- terbuka, dan membuktikan seragam- juga terbuka.)P # P N C 1P # P T C 0N PTC0P#PNC1P#PTC0NP


3
Keren! (BTW, mengenai kalimat non-parenthetical terakhir Anda: Koiran dan Perifel arxiv.org/abs/0902.1866 meningkatkan hasil Allender ke seragam poli-ukuran sirkuit dengan kedalaman - tapi saya rasa ada perbaikan pada itu terbuka.) o ( log log n )TCo(loglogn)
Joshua Grochow

1
Ya, saya tahu tentang itu juga, dan referensi lain juga. Tetapi saya tetap pada ringkasan jawaban yang tidak akan memakan waktu lebih dari 10 menit untuk menulis.
Ryan Williams
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.