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 &...
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...
Apakah ada masalah alami dalam P yang terikat waktu berjalan paling dikenal adalah dari bentuk , di mana adalah konstanta irasional ?O (
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...
Saya tahu bahwa kompleksitas sebagian besar varietas kalkulus lambda yang diketik tanpa primitif combinator Y dibatasi, yaitu hanya fungsi kompleksitas yang dibatasi yang dapat diekspresikan, dengan batas menjadi lebih besar ketika ekspresi dari sistem tipe tumbuh. Saya ingat bahwa, misalnya,...
(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...
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 (...
Saya ingin tahu dalam arti luas tentang apa yang diketahui tentang memparalelkan algoritma dalam P. Saya menemukan artikel wikipedia berikut tentang subjek: http://en.wikipedia.org/wiki/NC_%28complexity%29 Artikel tersebut berisi kalimat berikut: Tidak diketahui apakah NC = P, tetapi sebagian...
Termotivasi oleh jawaban Shor terkait dengan berbagai konsep kelengkapan NP, saya mencari masalah yang NP-lengkap di bawah pengurangan P tetapi tidak diketahui NP-lengkap di bawah pengurangan Logspace (lebih disukai untuk waktu yang lama). Juga, Apakah menemukan pengurangan Logspace antara masalah...
Pertimbangkan alasan berikut: Misalkan menunjukkan kompleksitas Kolmogorov dari string . Teorema ketidaklengkapan Chaitin mengatakan ituxK(x)K(x)K(x)xxx untuk konsisten dan cukup kuat resmi sistem , terdapat konstan (tergantung hanya pada sistem formal dan bahasanya) sehingga untuk setiap...
Mari kita memanggil fungsi superpolinomial jika ditahan untuk setiap c> 0 .f( n )f(n)f(n) c > 0limn → ∞nc/ f( n ) = 0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c > 0c>0c>0 Jelaslah bahwa untuk bahasa apa pun L ∈ PL∈PL\in {\mathsf P} ia berpendapat bahwa L ∈ D T I M E ( f( n )...
Apa hubungan antara DNA-algoritma dan kelas kompleksitas yang didefinisikan menggunakan mesin Turing? Apa yang diukur oleh kompleksitas seperti waktu dan ruang sesuai dengan algoritma-DNA? Dapatkah mereka digunakan untuk memecahkan contoh masalah NP-lengkap seperti TSP yang tidak dapat diselesaikan...
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^*...
Diketahui bahwa masalah berikut ini adalah PSPACE-complete: Diberi persamaan reguler , apakah ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Bagaimana dengan menentukan ekivalensi dengan persamaan reguler (tetap) ?αα\alpha Diberi persamaan reguler , apakah ?L ( β ) = L ( α...
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...
Shor menyatakan, dalam komentarnya pada jawaban moose anonim untuk pertanyaan ini Bisakah Anda mengidentifikasi jumlah dua permutasi dalam waktu polinomial? , bahwa -complete untuk mengidentifikasi perbedaan dua permutasi. Sayangnya, saya tidak melihat pengurangan langsung dari masalah jumlah...
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...
Baru-baru ini, saya melalui pengalaman menyenangkan yang menyakitkan dengan menjelaskan secara informal konsep kompleksitas komputasi kepada seorang programmer otodidak berbakat muda, yang tidak pernah mengambil kursus formal dalam algoritma atau kompleksitas sebelumnya. Tidak mengherankan, banyak...
Masalah berikut baru-baru ini muncul dalam penelitian saya. Menjadi tidak ahli dalam pertanyaan algoritmik, saya telah mencari Google secara ekstensif dalam mencari masalah yang cocok untuk dikurangi. Saya tidak melihat bagaimana 3SAT akan bekerja, dan meskipun ZOE memiliki semangat yang sama,...
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)}ϵ <