Saya berpikir bahwa teorema hierarki ukuran untuk kompleksitas sirkuit dapat menjadi terobosan besar di bidang ini. Apakah ini pendekatan yang menarik untuk pemisahan kelas? Motivasi untuk pertanyaan itu adalah yang harus kita katakan ada beberapa fungsi yang tidak dapat dihitung dengan ukuran...
Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...
Kompleksitas rangkaian bounded depth adalah salah satu bidang penelitian utama dalam teori kompleksitas sirkuit. Topik ini memiliki asal dalam hasil seperti "fungsi paritas tidak dalam " dan "fungsi mod tidak dihitung oleh ", di mana adalah kelas bahasa yang dapat ditentukan oleh non-seragam,...
Seperti diketahui, PARITY tidak dapat dilakukan di sirkuit dengan kedalaman konstan berukuran poli, dan pada kenyataannya sirkuit dept membutuhkan jumlah gerbang EXP. Bagaimana dengan sirkuit QUANTUM? a) Dapatkah PARITY dilakukan dengan sirkuit kuantum yang memiliki kedalaman konstan dan jumlah...
Batas bawah Blum adalah sirkuit batas bawah paling dikenal atas dasar lengkap untuk fungsi eksplisit f : { 0 , 1 } n → { 0 , 1 } , lih. Jawaban Jukna untuk pertanyaan ini untuk hasil terkait.3n−o(n)3n−o(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} Apa batas bawah paling dikenal...
Beberapa pekerjaan pada sensitivitas vs sensitivitas blok telah ditujukan untuk memeriksa fungsi dengan kesenjangan sebesar mungkin antara s(f)s(f)s(f) dan bs(f)bs(f)bs(f) untuk menyelesaikan dugaan bahwa bs(f)bs(f)bs(f) hanya lebih besar secara polinomi dari s(f)s(f)s(f) . Bagaimana dengan arah...
Hal ini diketahui bahwa ukuran minimum -circuits komputasi fungsi paritas persis sama dengan 3 ( n - 1 ) . Bukti batas bawah didasarkan pada metode eliminasi gerbang.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Baru-baru ini, saya melihat bahwa metode gerbang penghapusan bekerja dengan baik juga untuk...
Sirkuit Boolean yang non-deterministik memiliki, di samping input biasa , satu set input "non-deterministik" y = ( y 1 , ... , y m ) . Sirkuit non-deterministik C menerima input x jika ada y sedemikian sehingga output sirkuit 1 on ( x , y ) . Analog dengan P / p o l yx=(x1,…,xn)x=(x1,…,xn)x =...
Masalah berikut muncul dalam daftar Aaronson, Sepuluh Tantangan Semi-Grand untuk Teori Komputasi Quantum . ApakahBQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Dengan kata lain, dapatkah bagian "kuantum" dari algoritma kuantum apa pun dikompresi menjadi kedalaman, asalkan kita '...
Gambar Dunia yang terkenal dari Neil Immerman adalah sebagai berikut (klik untuk memperbesar): Kelasnya "Benar-benar layak" tidak termasuk kelas lain; pertanyaan saya adalah: Apa masalah AC 0 yang dianggap tidak taktis, dan...
Satu celah yang saya selalu sadar bahwa saya tidak benar-benar mengerti adalah antara kompleksitas komputasi tidak seragam dan seragam di mana kompleksitas sirkuit mewakili versi tidak seragam dan mesin Turing adalah hal-hal yang seragam. Saya kira "seragam" adalah cara untuk menahan kelas...
Berapa jumlah minimal gerbang biner yang diperlukan untuk menghitung AND dan OR dari bit input secara bersamaan? Batas atas sepele adalah 2 n - 2 . Saya percaya ini optimal, tetapi bagaimana cara membuktikannya? Teknik eliminasi gerbang standar tidak berfungsi di sini karena dengan menetapkan...
Kami tahu (untuk saat ini sekitar 40 tahun, terima Adleman, Bennet dan Gill) bahwa masuknya BPP P / poli, dan bahkan lebih kuat BPP / poli P / poli ditahan. "/ Poli" berarti bahwa kita bekerja secara tidak seragam (sirkuit terpisah untuk setiap panjang input ), sementara P tanpa "/ poli" ini...
Misalkan kita diberi satu set n variabel boolean x_1, ..., x_n dan satu set fungsi m y_1 ... y_m di mana setiap y_i adalah XOR dari subset (diberikan) dari variabel-variabel ini. Tujuannya adalah untuk menghitung jumlah minimum operasi XOR yang perlu Anda lakukan untuk menghitung semua fungsi y_1...
Apa yang terjadi jika kita mendefinisikan P P A DPPAD{\bf PPAD} sehingga bukan sirkuit polytime Turing-mesin / polysize, sebuah logspace Turing-mesin atau A C 0AC0{\bf AC^0} sirkuit mengkodekan masalah? Baru-baru ini memberikan algoritma cepat untuk Circuit satisfiability untuk sirkuit kecil...
Latar Belakang Rumus baca-sekali atas satu set gerbang (juga disebut basis) adalah rumus di mana setiap variabel input muncul satu kali. Rumus baca-sekali biasanya dipelajari atas dasar De Morgan (yang memiliki gerbang 2-bit AND dan OR, dan gerbang 1-bit TIDAK) dan basis biner penuh (yang memiliki...
Dalam makalah Natural Proofs karya Razborov-Rudich , halaman 6, pada bagian yang mereka bahas bahwa ada "bukti lowerbound yang kuat terhadap model sirkuit monoton " dan bagaimana mereka masuk dalam gambar, ada kalimat-kalimat berikut: Di sini masalahnya bukan konstruktif - sifat-sifat yang...
Saya ingin meminta saran untuk teks yang bagus yang memperkenalkan kompleksitas rangkaian. Petunjuk apa pun untuk kemajuan terkini dan masalah terbuka di bidang ini juga akan
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...