Kondisi keseragaman "benar" untuk Kelas Nick

9

DLOGTIME didefinisikan di http://en.wikipedia.org/wiki/DLOGTIME
didefinisikan di http://en.wikipedia.org/wiki/L_%28complexity%29 NC dan NC n didefinisikan di http: // en .wikipedia.org / wiki / NC_% 28kompleksitas% 29L
NCNCn

DLOGTIME tampaknya menjadi yang terkecil yang mungkin berfungsi.
Saya sudah baca di berbagai tempat ituLNC2, meskipun setiap tempat saya telah
menemukan bahwa hasil yang menyatakan kondisi keseragaman menggunakan seragam. Apakah ada kelas X deterministik seperti ituL


XLNCdikenal dengan seragam NC , dan 1.XNC
... XLdiketahui tahan?
2. ... XL diketahui memegang dan X=L tidak diketahui memegang?

(1, atau pada taraf yang jauh lebih rendah 2, tampaknya menyiratkan bahwa seragam adalah kondisi yang benar)L


sumber
Mengapa, apakah kita tahu bahwa L dalam NC yang tidak seragam? Tanpa itu kita tidak bisa berharap bahwa itu akan berada di NC yang seragam.
domotorp
Yah, saya telah menemukan itu di halaman 235 dari "Ensiklopedia Ilmu dan Teknologi Komputer", dan di www.cs.tau.ac.il/~zwick/circ-comp-new/three.ps. Namun, buku itu adalah satu-satunya hasil yang saya dapatkan ketika saya mencari referensi yang ditunjuknya, dan file ps tidak memberikan bukti. Saya kira saya harus melihat lebih jauh.
3
LNC2NC
Kaveh
NC1

Jawaban:

8

DLogTimeNCNC2NCkATimeSpace(O(lgkn),O(lgn))k1

NC1DLogTimeNC1

Untuk lebih lanjut tentang keseragaman, lihat:

Walter L. Ruzzo, " On Uniform Circuit Complexity ", Jurnal Ilmu Komputer dan Sistem, vol. 22 (1981), hlm. 365–383.

Kaveh
sumber
DLogTimeLNC2masih memegang "?
DLogTimeNC2ATimeSpace(O(lg2n),O(lgn))NL=NSpace(O(lgn))DSpace(O(lgn))=L