Mengapa kita menganggap ruang log sebagai model perhitungan yang efisien (bukan ruang polylog)?


49

Ini mungkin pertanyaan subyektif dan bukan pertanyaan jawaban yang konkret.

Dalam teori kompleksitas kita mempelajari pengertian perhitungan yang efisien. Ada kelas-kelas seperti singkatan untuk waktu polinomial , dan L berarti ruang log . Keduanya dianggap direpresentasikan sebagai semacam "efisiensi", dan mereka menangkap kesulitan dari beberapa masalah dengan cukup baik.PL

Tapi ada perbedaan antara dan L : sementara waktu polinomial, P , didefinisikan sebagai penyatuan masalah yang berjalan di O ( n k ) waktu untuk setiap konstanta k , yaitu,PLPO(nk)k

,P=k0TIME[nk]

ruang log, , didefinisikan sebagai S P A C E [ log n ] . Jika kita meniru definisi P , itu menjadiLSPACE[logn]P

,PolyL=k0SPACE[logkn]

di mana disebut kelas ruang polylog . Pertanyaanku adalah:PolyL

Mengapa kita menggunakan ruang log sebagai gagasan perhitungan efisien, bukan ruang polylog?

Satu masalah utama mungkin tentang set masalah lengkap. Di bawah reduksi banyak-satu logspace, dan L memiliki masalah lengkap. Sebaliknya, jika P o l y L memiliki masalah lengkap di bawah pengurangan tersebut, maka kita akan bertentangan dengan teorema hierarki ruang. Tetapi bagaimana jika kita pindah ke reduksi polylog? Bisakah kita menghindari masalah seperti itu? Secara umum, jika kita mencoba yang terbaik untuk menyesuaikan P o l y L ke dalam konsep efisiensi, dan (jika perlu) memodifikasi beberapa definisi untuk mendapatkan setiap properti yang baik, kelas "bagus" seharusnya, sejauh mana kita bisa melangkah?PLPolyLPolyL

Apakah ada alasan teoretis dan / atau praktis untuk menggunakan ruang log alih-alih ruang polylog?


Hsien-Chih, pertanyaan yang bagus.
Mohammad Al-Turkistany

9
Ini diketahui bahwa . Sejauh yang saya ketahui secara pribadi, hubungan persis antara P dan p o L y L tidak jelas. Seperti dalam, ada kemungkinan bahwa beberapa masalah dapat diselesaikan dalam p o l y L yang tidak dapat dipecahkan dalam P DAN sebaliknya. (Ini sebenarnya sebagian pertanyaan Anda tentang mengapa p o l y L adalah kandidat aneh untuk gagasan perhitungan yang efisien.) Untuk beberapa lebih lanjut tentang p o l y LpolyLPPpolyLpolyLP polyLpolyL, Anda dapat membaca buku teks kompleksitas Papadimitriou , khususnya latihan dan diskusi di akhir Bab 16.
Daniel Apon

Sebenarnya, komentar singkat lain tentang sepotong kecil dari pertanyaan Anda secara keseluruhan: pengurangan ruang Polylog tidak akan cerita banyak tentang , untuk alasan yang sama pengurangan waktu polinomial tidak memberitahu Anda banyak tentang P . polyLP
Daniel Apon

@Daniel Apon: Terima kasih telah menyebutkan buku ini, dan itu bagus :) Untuk komentar kedua, dengan argumen yang sama kita dapat menggunakan pengurangan linear daripada yang jumlahnya banyak untuk mendapatkan informasi lebih lanjut tentang , kan? P
Hsien-Chih Chang 張顯 之

Chih Chang: Yah, aku tidak tahu tentang pengurangan linear-waktu per kata, tapi ada yang lain, gagasan menarik dari pengurangan yang memberikan informasi tentang kompleksitas dalam . P
Daniel Apon

Jawaban:


51

Kelas terkecil yang mengandung waktu linier dan ditutup di bawah subrutin adalah P. Kelas terkecil yang berisi ruang log dan ditutup di bawah subrutin masih ruang log. Jadi P dan L adalah kelas kuat terkecil untuk waktu dan ruang masing-masing yang mengapa mereka merasa tepat untuk memodelkan perhitungan yang efisien.


4
Ini sepertinya jawaban terbaik untuk pertanyaan aktual yang diajukan.
Derrick Stolee

1
Di antara semua jawaban yang baik ini, saya pikir jawabannya oleh Lance adalah yang paling tepat, dan saya akan menerimanya. Namun masih banyak terima kasih atas setiap jawaban yang bijaksana!
Hsien-Chih Chang 張顯 之

1
Juga, ini merupakan masalah terbuka apakah P = L.
Diego de Estrada

25

SPACE[log2n]Plogk1(n)NSPACE[logkn]-complete

PLOSS=kTISP[nk,klog2n]DCFLPLOSSSC2SCk


2
QuasiP=k0TIME[2logkn]P

Apakah ini masalah terbuka yang diketahui? Bisakah Anda memberikan referensi?
Mohammad Al-Turkistany

SC2

5
Perhatikan bahwa SC dinamai oleh Nick Pippenger, dalam pengaturan yang diduga timbal balik dengan Steve Cook untuk menamai NC setelahnya :)
Suresh Venkat

PPQuasiPpolyLLPSPACE[logkn]PkLk
Hsien-Chih Chang 張顯 之

20

2O(logn)=poly(n)

NSPACE[logkn]SPACE[log2kn]

SCk=TISP[poly(n),logkn]


polyLNLpolyL

{1}

Anda benar, maaf untuk pertanyaan bodoh :(
Hsien-Chih Chang 張顯 之

13

Saya pikir semua jawaban lain sangat bagus; Saya akan mencoba memberikan perspektif yang berbeda tentang masalah ini.

Saya tidak tahu seberapa baik model P perhitungan "efisien" di dunia nyata, tapi kami menyukai kelas karena sifat penutupan yang bagus dan alasan matematika lainnya. Demikian pula, L juga kelas yang bagus karena beberapa alasan yang disebutkan di atas.

Namun, seperti yang Anda komentari, jika kita melonggarkan definisi kita tentang "efisien" hingga waktu polinomial, maka PolyL juga efisien. Kita dapat mendiskusikan teori kompleksitas di mana kita mengizinkan kelas yang didefinisikan dengan ikatan logaritmik pada beberapa sumber daya untuk menggunakan sumber daya polylog sebagai gantinya. Sejalan dengan itu, kami juga akan melonggarkan definisi kami tentang NC, NL, dll. Untuk memungkinkan sirkuit ukuran kuasi polinomial. Jika kita melakukan ini, NC 1 , L, NL dan NC semuanya bertepatan dengan kelas PolyL. Dalam hal ini PolyL adalah kelas yang kuat karena banyak kelas alami bertepatan dengan itu. Untuk informasi lebih lanjut tentang teori kompleksitas dengan log -> polylog dan polinomial -> quasi-polinomial, lihat kelas sirkuit ukuran Quasipolynomial oleh Barrington.

Alasan lain untuk mempelajari polyL atau kelas serupa seperti quasi-AC 0 adalah bahwa sementara pemisahan oracle antara (katakanlah) ParityP dan PH menyiratkan bahwa PARITY tidak terkandung dalam AC 0 , implikasi sebaliknya tidak diketahui benar. Di sisi lain, PARITY tidak terkandung dalam quasi-AC 0 jika dan hanya jika ada pemisahan oracle antara ParityP dan PH. Demikian pula, kelas quasi-TC 0 dan quasi-AC 0 berbeda jika dan hanya jika ada pemisahan oracle antara CH dan PH. Jadi kelas kompleksitas biasa seperti PH, ModPH, CH, dll. Ketika diperkecil oleh eksponensial untuk membuktikan hasil oracle berubah menjadi versi kuasi-polinomial dari kelas biasa AC 0 , ACC 0 dan TC0 masing-masing. Demikian pula, argumen yang digunakan dalam teorema Toda (PH yang terkandung dalam P PP ) dapat digunakan untuk menunjukkan bahwa quasi-AC 0 terkandung dalam kedalaman-3 quasi-TC 0 . (Saya tidak tahu apakah kesimpulan yang sama diketahui untuk versi biasa dari kelas-kelas ini. Saya telah melihat ini terdaftar sebagai masalah terbuka di beberapa makalah.)


1
Jawaban Anda sangat membantu, terima kasih telah membagikan pendapat Anda. Saya kagum bahwa Quasi-sesuatu telah dipelajari BANYAK !!
Hsien-Chih Chang 張顯 之
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.