Pertanyaan pada cstheory " Apa itu NP terbatas untuk saksi ukuran linier? " Bertanya tentang kelas NP terbatas pada saksi ukuran linear , tetapiO(n)O(n)O(n) Apakah ada masalah NP-complete alami di mana (ya) contoh ukuran membutuhkan saksi ukuran lebih besar dari ?nnnnnn Jelas kita dapat...
Dalam bukunya, Boolean Function Complexity, Stasys Jukna menyebutkan (halaman 564) bahwa Kolmogorov percaya bahwa setiap bahasa di P memiliki sirkuit dengan ukuran linier. Tidak ada referensi yang disebutkan dan saya tidak dapat menemukan apa pun secara online. Apakah ada orang yang tahu lebih...
Apakah masuk akal untuk mempertimbangkan kategori dari semua masalah NP-lengkap, dengan morfisme sebagai pengurangan waktu-poli antara contoh yang berbeda? Adakah yang pernah menerbitkan makalah tentang ini, dan jika demikian, di mana saya dapat
Posting blog Scott Aaronson hari ini memberikan daftar masalah / tugas terbuka yang menarik dalam kompleksitas. Seseorang khususnya menarik perhatian saya: Bangun perpustakaan umum dengan instance 3SAT, dengan sesedikit mungkin variabel dan klausa, yang akan memiliki konsekuensi penting jika...
Misalkan menjadi derajat d polinomial dalam variabel n lebih dari F 2 , di mana d adalah konstan (katakanlah 2 atau 3). Saya ingin mencari rumus terkecil untuk f , di mana "rumus" dan "ukuran rumus" didefinisikan dengan cara yang jelas (mis. Rumus terkecil untuk polinomial x 1 x 2 + x 1 x 3 adalah...
Saya hanya mengetahui dua bukti dari lemma Schwartz-Zippel. Bukti pertama (lebih umum) dijelaskan dalam entri wikipedia . Bukti kedua ditemukan oleh Dana Moshkovitz. Apakah ada bukti lain yang menggunakan ide yang sangat berbeda?
Mari kita perbaiki pengkodean Turing-mesin yang bebas awalan dan universal Turing-machine UUU yang pada input (T,x)(T,x)(T,x) (dikodekan sebagai kode bebas-awalan dari TTT diikuti oleh xxx ) menghasilkan keluaran apa pun TTTpada input xxx (mungkin keduanya berjalan selamanya). Tentukan kompleksitas...
Sunting : Seperti yang ditunjukkan Ravi Boppana dengan benar dalam jawabannya dan Scott Aaronson juga menambahkan contoh lain dalam jawabannya , jawaban untuk pertanyaan ini ternyata "ya" dengan cara yang tidak saya harapkan sama sekali. Pertama saya berpikir bahwa mereka tidak menjawab pertanyaan...
Dalam banyak domain, ada teknik kanonik yang harus dikuasai semua orang di bidang ini. Misalnya, untuk pengurangan logspace, "trik bit" untuk komposisi yang terdiri dari tidak membangun output penuh dari fungsi yang dikomposisikan, tetapi selalu meminta untuk menghitung ulang hasil untuk setiap bit...
Pertimbangkan masalah 3-SAT pada n variabel. Jumlah klausa berbeda yang mungkin adalah: C= 2 n × 2 ( n - 1 ) × 2 ( n - 2 ) / 3 ! = 4 n ( n - 1 ) ( n - 2 ) / 3 .C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Jumlah kasus masalah adalah jumlah...
Kita tahu bahwa (lihat, misalnya, Teorema 1 dan 3 dari [1]), secara kasar, dalam kondisi yang sesuai, fungsi yang dapat dihitung secara efisien oleh mesin Turing dalam waktu polinomial ("efisien yang dapat dihitung") dapat diekspresikan oleh jaringan saraf polinomial dengan ukuran yang wajar, dan...
Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Tampaknya banyak orang percaya bahwa , sebagian karena mereka percaya bahwa anjak piutang tidak dapat
Parity-L adalah seperangkat bahasa yang dikenali oleh mesin Turing non-deterministik yang hanya dapat membedakan antara bilangan genap atau ganjil dari jalur "penerimaan" (daripada jumlah jalur penerimaan yang nol atau tidak nol), dan yang merupakan selanjutnya dibatasi untuk bekerja di ruang...
Peter Shor menunjukkan bahwa dua masalah NP-intermediate yang paling penting, anjak piutang dan masalah log diskrit, ada di BQP. Sebaliknya, algoritma kuantum yang paling dikenal untuk SAT (pencarian Grover) hanya menghasilkan peningkatan kuadratik daripada algoritma klasik, mengisyaratkan bahwa...
Diberi oleh matriks biner (entri adalah atau ), masalahnya adalah menentukan apakah ada dua vektor biner sehingga (semua operasi dilakukan dengan ). Apakah ini masalah NP-hard?n M 0 1 v 1 ≠ v 2 M v 1 = M v 2 ZmmmnnnMMM000111v1≠v2v1≠v2v_1 \ne v_2Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2ZZ\mathbb{Z} Jelas dalam NP...
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...
Dalam pendidikan ilmu komputer saya, saya semakin memperhatikan bahwa sebagian besar masalah diskrit adalah NP-lengkap (setidaknya), sedangkan mengoptimalkan masalah terus menerus hampir selalu mudah dicapai, biasanya melalui teknik gradien. Apakah ada pengecualian untuk
Dalam model kotak hitam, masalah menentukan output mesin BPP pada input x adalah masalah penghitungan perkiraan untuk menentukan E r M ( x , r ) dengan kesalahan aditif 1/3 (katakanlah) .M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) Apakah ada masalah serupa untuk BQP? Komentar Ken Regan ini...
Masalah klasik -queens bertanya, diberi bilangan bulat positif , apakah ada larik bilangan bulat yang memenuhi kondisi berikut:n Q [ 1 .. n ]nnnnnnQ [ 1 .. n ]Q[1..n]Q[1..n] 1 ≤ Q [ i ] ≤ n1≤Q[i]≤n1\le Q[i] \le n untuk semuasayaii Q [ i ] ≠ Q [ j ]Q[i]≠Q[j]Q[i] \ne Q[j] untuk semuai ≠ ji≠ji\ne...
Saya ingin tahu apakah ketidakseragaman membantu fungsi komputasi dalam praktik. Mudah untuk menunjukkan bahwa ada fungsi dalam , mengambil fungsi yang tidak dapat dihitung dan mempertimbangkan bahasa { }, yang jelas memiliki sirkuit sederhana yang tidak seragam , tetapi tidak dapat dihitung secara...