Dalam survei "Sirkuit Kuantum Kedalaman Kecil" oleh D. Bera, F. Green dan S. Homer (hlm. 36 dari ACM SIGACT News, Juni 2007, vol. 38, no. 2) , saya membaca kalimat berikut: Versi klasik (di mana gerbang dan memiliki fanout paling konstan) terbukti lebih lemah dari .Q A
Saat ini bitcoin memiliki sistem proof of work (PoW) menggunakan SHA256. Fungsi hash lainnya menggunakan bukti sistem kerja menggunakan grafik, inversi fungsi hash parsial. Apakah mungkin untuk menggunakan masalah Keputusan dalam Knot Theory seperti pengakuan Knot dan menjadikannya sebagai bukti...
Akses ke oracle akan memberikan percepatan super-polinomial besar untuk semua yang ada di (dengan asumsi set tidak kosong). Hal ini kurang jelas, bagaimanapun, berapa banyak akan manfaat dari akses oracle ini. Tentu saja, percepatan dalam tidak bisa super polinomial, tetapi masih bisa polinomial....
Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 3 tahun yang lalu . Dalam makalah Science 2016 " Realisasi algoritma Shal scalable " [ 1 ], penulis faktor 15 dengan hanya 5
Masalah Tidak Semua Sama dengan -SAT (NAE k -SAT), diberikan satu set C klausa atas seperangkat X variabel boolean sehingga setiap klausa berisi paling banyak k literal, menanyakan apakah ada penugasan kebenaran dari variabel sedemikian rupa sehingga setiap klausa berisi setidaknya satu true dan...
Aku memperbaiki bahasa reguler LLL pada alfabet ΣΣ\Sigma , dan saya menganggap masalah berikut yang saya sebut penjadwalan surat untuk LLL . Informal, input memberi saya nnn huruf dan interval untuk setiap huruf (yaitu, posisi minimal dan maksimal), dan tujuan saya adalah menempatkan setiap huruf...
Polinom adalah proyeksi monoton dari polinom g ( y 1 , ... , y m ) jika m = poli ( n ) , dan ada penugasan π : { y 1 , ... , y m } → { x 1 , ... , x n , 0 , 1f( x1, ... , xn)f(x1,…,xn)f(x_1,\ldots,x_n)g( y1, ... , ym)g(y1,…,ym)g(y_1,\ldots,y_m)mmm( n )(n)(n) sedemikian rupa sehingga f ( x 1 , ......
Pertimbangkan masalah pengoptimalan dari formulir berikut. Misalkan f(x)f(x)f(x) menjadi fungsi yang dapat dihitung polinomial-waktu yang memetakan string menjadi bilangan rasional. Masalah optimasinya adalah ini: berapakah nilai maksimum atas bit string ?f ( x ) nxxxf(x)f(x)f(x)nnnxxx Mari kita...
Teori kompleksitas, melalui konsep-konsep seperti NP-kelengkapan, membedakan antara masalah komputasi yang memiliki solusi yang relatif efisien dan yang tidak bisa dipecahkan. Kompleksitas "berbutir halus" bertujuan untuk menyaring perbedaan kualitatif ini menjadi panduan kuantitatif tentang waktu...
Baru-baru ini saya telah melihat beberapa artikel tentang arxiv yang merujuk pada sistem bukti yang disebut sum-of-square. Dapatkah seseorang menjelaskan apa yang merupakan bukti jumlah kotak dan mengapa bukti semacam itu penting / menarik? Bagaimana mereka terkait dengan sistem bukti aljabar...
Dalam makalah "KOMPLEKSITAS MASALAH KEPUASAN" oleh Thomas J. Schaefer, penulis telah menyebutkan bahwa This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational...
Teorema Hierarki Waktu Nondeterministik asli adalah karena Cook (tautannya ke S. Cook, Sebuah hierarki untuk kompleksitas waktu nondeterministik , JCSS 7 343-353, 1973). Teorema menyatakan bahwa untuk bilangan real dan , jika maka NTIME ( ) secara ketat terkandung dalam NTIME ( ).r1r1r_1 1 ≤ r 1...
Saya membaca " Apakah P Versus NP Secara Independen? " Tetapi saya bingung. Dipercaya secara luas dalam teori kompleksitas bahwa . Pertanyaan saya adalah bagaimana jika ini tidak dapat dibuktikan (katakanlah di ). (Mari kita asumsikan bahwa kita hanya mengetahui bahwa independen dari tetapi tidak...
Saat membaca jawaban oleh Peter Shor dan pertanyaan sebelumnya oleh Adam Crume saya menyadari bahwa saya memiliki beberapa kesalahpahaman tentang apa artinya menjadi -hard.PP\mathsf{P} Masalahnya adalah -sama jika ada masalah dalam dapat direduksi dengan (atau jika Anda lebih suka ). Masalah ada...
Saya ingin tahu makalah apa yang harus saya baca untuk memahami pertanyaan ini Koneksi tak terduga ke bidang matematika lain seperti geometri aljabar atau kohomologi yang lebih tinggi. Mungkin bahkan bidang matematika belum berkembang. Mungkin seseorang akan mengembangkan arah yang sama sekali...
Banyak masalah grafik algoritmik dapat diselesaikan dalam waktu polinomial baik pada grafik tidak tertimbang dan berbobot. Beberapa contoh adalah lintasan terpendek, pohon spanning min, lintasan terpanjang (dalam grafik asiklik langsung), aliran maks, min cut, pencocokan maks, arborescence optimal,...
Saya sedang mempertimbangkan kelas grafik yang dapat ditandai dengan subgraph terlarang. Jika kelas grafik memiliki himpunan terbatas dari subgraf terlarang, maka ada algoritme pengenalan waktu polinomial yang sepele (satu hanya dapat menggunakan kekuatan kasar). Tetapi sebuah keluarga tak...
Pertanyaan ini merupakan tindak lanjut dari pertanyaan tentang algoritma DNA yang ditanyakan oleh Aadita Mehra . Dalam komentar di sana, Joe Fitzsimmons berkata, sebagian: Jari-jari sistem harus berskala proporsional dengan massa untuk menghindari hal ini. Kekuatan komputasi berskala paling...
Dalam kompleksitas komputasi optik linier ( ECCC TR10-170 ), Scott Aaronson dan Alex Arkhipov berpendapat bahwa jika komputer kuantum dapat disimulasikan secara efisien oleh komputer klasik maka hierarki polinomial runtuh ke tingkat ketiga. Masalah yang memotivasi adalah pengambilan sampel dari...
Untuk memeriksa pemahaman saya, saya ingin berbagi beberapa pemikiran tentang kebutuhan energi perhitungan. Ini adalah tindak lanjut dari pertanyaan saya sebelumnya dan mungkin terkait dengan pertanyaan Vinay tentang hukum konservasi . Terlintas dalam pikiran saya bahwa, dari sudut pandang...