Kita tahu banyak tentang batasan-batasan (kedalaman polinomial) sirkuit-konstan. Karena (kedalaman polinomial) rumus kedalaman konstan adalah model perhitungan yang bahkan lebih terbatas, semua masalah yang diketahui tidak ada dalam AC 0 juga tidak dapat dihitung dengan rumus kedalaman konstan....
Apakah ada hipotesis kompleksitas / kripto yang masuk akal yang mengesampingkan kemungkinan bahwa sirkuit ukuran polinomial memiliki ukuran subeksponensial (yaitu dengan ϵ < 1 ) sirkuit batas-kedalaman ( d = O ( 1 ) )?2O ( nϵ)2HAI(nϵ)2^{O(n^\epsilon)}ϵ <
Gerbang AND & OR adalah gerbang yang diberi dua input dan mengembalikan AND dan OR mereka. Apakah sirkuit dibuat hanya dari gerbang AND & OR, tanpa fanout, mampu melakukan perhitungan acak? Lebih tepatnya, apakah logspace komputasi waktu polinomial dapat direduksi menjadi sirkuit AND &...
Batas atas terbaik yang diketahui pada kompleksitas waktu penggandaan adalah terikat Martin Fürer , yang lebih dari kompleksitas penambahan waktu linear. Apakah kita memiliki bukti bahwa penambahan pada dasarnya lebih mudah daripada perkalian?nlogn2O(log∗n)nlogn2O(log∗n)n\log n2^{O(\log^*...
Dengan menggunakan algoritma carry look ahead, kita dapat menghitung penambahan menggunakan kedalaman ukuran polinomial 5 (atau 4?) . Apakah mungkin mengurangi kedalaman? Bisakah kita menghitung penambahan dua bilangan biner menggunakan rangkaian keluarga ukuran polinomial dengan kedalaman kurang...
Banyak hasil penting dalam teori kompleksitas komputasi, dan khususnya teori kompleksitas "struktural", memiliki sifat menarik yang dapat dipahami secara mendasar mengikuti (seperti yang saya lihat ...) dari hasil algoritmik yang memberikan algoritma atau protokol komunikasi yang efisien untuk...
(Von Neumann memberikan algoritma yang mensimulasikan koin yang adil diberikan akses ke koin bias identik. Algoritma ini berpotensi membutuhkan jumlah koin yang tak terbatas (meskipun dalam harapan, cukup banyak saja). Pertanyaan ini menyangkut kasus ketika jumlah lemparan koin yang diizinkan...
Ketika dibatasi hingga - input, setiap -circuit menghitung beberapa fungsi . Untuk mendapatkan fungsi boolean , kita bisa menambahkan satu gerbang ambang batas fanin-1 sebagai gerbang keluaran. Pada input , ambang yang dihasilkan - sirkuit kemudian menghasilkan jika , dan menghasilkan jika ; ambang...
Apakah ada masalah alami dalam P yang terikat waktu berjalan paling dikenal adalah dari bentuk , di mana adalah konstanta irasional ?O (
Pembukaan Sistem bukti interaktif dan protokol Arthur-Merlin diperkenalkan oleh Goldwasser, Micali dan Rackoff dan Babai pada tahun 1985. Pada awalnya, diperkirakan bahwa yang pertama lebih kuat dari yang terakhir, tetapi Goldwasser dan Sipser menunjukkan bahwa mereka memiliki kekuatan yang sama (...
Ini adalah hasil klasik bahwa setiap rangkaian fan-in 2 AND-OR-NOT yang menghitung PARITY dari variabel input memiliki ukuran minimal dan ini tajam. (Kami mendefinisikan ukuran sebagai jumlah gerbang AND dan OR.) Buktinya adalah dengan eliminasi gerbang dan tampaknya gagal jika kami mengizinkan...
O ( log c n ) O ( n k ) c k n c 2 n kN CNC\mathsf{NC} menangkap gagasan tentang dapat diparalelkan secara efisien, dan salah satu interpretasinya adalah masalah yang dapat dipecahkan dalam waktu menggunakan prosesor paralel untuk beberapa konstanta , . Pertanyaan saya adalah apakah ada kelas...
Katakanlah kita memiliki masalah komputasi, misalnya 3-SAT, yang memiliki seperangkat contoh masalah (mungkin input) . Biasanya dalam analisis algoritma atau teori kompleksitas komputasi, kami memiliki beberapa set dari semua input dengan panjang , dan fungsi yang memberikan waktu berjalan...
Seperti kita ketahui, fungsi -clique C L I Q U E ( n , k ) mengambil subgraph ( spanning ) G ⊆ K n dari grafik n -vertex lengkap K n , dan menghasilkan 1 iff G berisi k -clique . Variabel dalam hal ini sesuai dengan tepi dari K n . Sudah diketahui (Razborov, Alon-Boppana) bahwa, selama 3 ≤ k ≤ n /...
Dua pertanyaan terkait tentang komputasi kedalaman terbatas: 1) Misalkan Anda mulai dengan n bit, dan untuk memulai dengan bit saya bisa 0 atau 1 dengan beberapa probabilitas p (i), secara independen. (Jika itu membuat masalah lebih sederhana, kita dapat mengasumsikan bahwa semua p (i) s adalah...
Dalam kompleksitas yang , . Dugaan bahwa masing-masing wadah adalah tepat.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Jika maka .P = W [ P ]F P T = W...
Diskusi : Saya telah menghabiskan waktu pribadi akhir-akhir ini mempelajari berbagai hal dalam kompleksitas komunikasi. Sebagai contoh, saya telah membiasakan diri dengan bab yang relevan di Arora / Barak, mulai membaca beberapa makalah, dan memesan buku oleh Kushilevitz / Nisan. Secara intuitif,...
Dalam makalah "A Compendium of Problem Complete for P" oleh Greenlaw, Hoover dan Ruzzo (PS) (PDF) , ada daftar masalah dalam P yang tidak diketahui berada di NC dan tidak diketahui juga P-complete. . (Daftar ini merangkum semua masalah terbuka dalam survei yang sangat baik oleh Karp dan...
Biarkan menjadi kelas dari semua bahasa reguler.REGREG\mathsf{REG} Diketahui dan \ mathsf {REG} \ tidak \ subset \ mathsf {AC} ^ 0 . Tetapi apakah ada karakterisasi untuk bahasa di \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset
Misalkan kita memiliki masalah yang diparameterisasi dengan p-parameter bernilai riil yang "mudah" untuk dipecahkan ketika dan "hard" ketika untuk beberapa nilai , . p = p 1 p 0 p 1p = p0p=p0p=p_0p = p1p=p1p=p_1hal0p0p_0hal1p1p_1 Salah satu contohnya adalah menghitung konfigurasi putaran pada...