Pada 1980-an, Razborov terkenal menunjukkan bahwa ada fungsi Boolean monoton eksplisit (seperti fungsi CLIQUE) yang membutuhkan banyak gerbang AND dan OR secara eksponensial untuk menghitung. Namun, basis {AND, OR} di atas domain Boolean {0,1} hanyalah salah satu contoh dari set gerbang menarik...
Ryan Williams baru saja memposting batas bawahnya pada ACC , kelas masalah yang memiliki sirkuit kedalaman konstan dengan fan-in dan gerbang tanpa batas DAN, ATAU, BUKAN dan MOD_m untuk semua kemungkinan yang ada. Apa yang istimewa dari gerbang MOD_m? Mereka memungkinkan seseorang untuk...
Saya ingin bertanya tentang kasus khusus dari pertanyaan " Memutuskan apakah sirkuit NC 0 yang diberikan menghitung permutasi " oleh QiCheng yang telah dibiarkan tidak terjawab. Sirkuit Boolean disebut sirkuit NC 0 k jika setiap gerbang keluaran secara sintaksis bergantung pada paling banyak...
Biarkan menjadi fungsi yang memetakan sirkuit gerbang pada bit dan string bit ke . Asumsikan bahwa sirkuit dikodekan sebagai urutan asiklik dari penugasan mana adalah label kawat. sCnnxC(x)k:=g(i,j)i,j,kC i r c u i t E v a ls , nCsayarckamusayatEvSebuahls,n\mathsf{CircuitEval}_{s,...
Sederhananya: apa korespondensi antara mesin Turing dengan oracle, dan keluarga sirkuit seragam dengan oracle? Bagaimana yang terakhir didefinisikan untuk mendapatkan model komputasi yang sama, untuk mesin Turing oracle yang diberikan? Ini mungkin pertanyaan mendasar, tetapi tidak jelas ke mana...
Misalkan menjadi fungsi mayoritas, yaitu f ( x ) = 1 jika dan hanya jika β n i = 1 x i > n / 2f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}f(x)=1f(x)=1f(x) = 1∑ni=1xi>n/2∑i=1nxi>n/2\sum_{i = 1}^n x_i > n/2 . Saya bertanya-tanya apakah ada bukti sederhana dari fakta berikut (dengan...
Saya sedang mempertimbangkan ide-ide tentang algoritma kuantum yang tepat. Secara khusus, saya sedang mempertimbangkan kemungkinan keterbatasan , yang terdiri dari bahasa yang dapat diputuskan dengan tepat oleh rangkaian sirkuit kuantum seragam-waktu selama rangkaian gerbang berhingga...