Baru-baru ini, Ryan Willams membuktikan bahwa Konstruktivitas dalam Bukti Alami tidak dapat dihindari untuk memperoleh pemisahan kelas kompleksitas: dan T C 0 . NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} Constructivity di Bukti Alam adalah suatu kondisi bahwa semua bukti kombinatorial di memenuhi...
Menghitung jumlah kecocokan sempurna dalam grafik bipartit segera dapat direduksi menjadi komputasi permanen. Karena menemukan pencocokan sempurna dalam grafik non-bipartit adalah dalam NP, terdapat beberapa pengurangan dari grafik non-bipartit menjadi permanen, tetapi mungkin melibatkan blowup...
EDIT (v2): Menambahkan bagian di akhir tentang apa yang saya ketahui tentang masalah. EDIT (v3): Menambahkan diskusi tentang ambang batas di akhir. Pertanyaan Pertanyaan ini terutama merupakan permintaan referensi. Saya tidak tahu banyak tentang masalahnya. Saya ingin tahu apakah ada pekerjaan...
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
Beberapa dari Anda mungkin telah mengikuti pertanyaan ini , yang ditutup karena tidak menjadi level penelitian. Jadi, saya mengekstraksi bagian pertanyaan yang ada di tingkat penelitian. Di luar teknik "sederhana", seperti mengurangi menjadi penyortiran atau masalah lengkap EXPTIME, teknik apa...
Pertimbangkan tugas komputasi berikut: Kami ingin mengambil sampel rumus 3-SAT dari variabel (varian: variabel klausa) berkenaan dengan distribusi probabilitas seragam, dikondisikan pada rumus yang memuaskan:n mnnnnnnmmm T1: Dapatkah ini dicapai secara efisien oleh komputer klasik (dengan bit...
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...
Masalah Berhenti menyatakan bahwa tidak mungkin untuk menulis program yang dapat menentukan apakah program lain berhenti, untuk semua program input yang mungkin . Saya dapat, bagaimanapun, tentu saja menulis sebuah program yang dapat menghitung waktu berjalan dari program seperti: for(i=0;...
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 , ......
Adakah yang bisa menyarankan survei yang baik dan baru-baru ini tentang penghitungan masalah dan / atau masalah yang # P.
Ketika bermain-main dengan parsing LR noncanonical, saya memikirkan metode parsing (dengan tabel berukuran tak terbatas, yang membuatnya agak tidak taktis ) yang mampu mengurai persis tata bahasa yang tidak ambigu dalam waktu , dan saya bertanya-tanya apakah mungkin untuk melakukan yang lebih baik...
Apa yang diketahui tentang kompleksitas waktu dari masalah berikut, yang kita sebut 3-MUL? Diberikan himpunan dari bilangan bulat, apakah ada elemen sedemikian sehingga ?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c Masalah ini mirip dengan masalah 3-SUM, yang menanyakan apakah ada tiga elemen...
Pertanyaan ini adalah tentang hubungan antara perkalian bilangan biner normal dan perkalian polinomial mod 2. Untuk membuat pertanyaan konkret, saya ingin tahu apakah ada solusi yang lebih baik untuk pertanyaan dari Knuth vol. 2, 3 edisi, halaman 420 dari yang diberikan dalam buku ini. "Dapatkah...
Selain kompleksitas komunikasi (deterministik) dari suatu relasi , ukuran dasar lain untuk jumlah komunikasi yang dibutuhkan adalah nomor partisi protokol . Hubungan antara kedua ukuran ini diketahui hingga faktor konstan. Monograf oleh Kushilevitz dan Nisan (1997) memberikanRc c ( R )cc(R)cc(R)RRR...
Keadaan pengetahuan kita tentang sirkuit aritmatika umum tampaknya mirip dengan keadaan pengetahuan kita tentang sirkuit Boolean, yaitu kita tidak memiliki batas bawah yang baik. Di sisi lain, kami memiliki batas bawah ukuran eksponensial untuk sirkuit Boolean monoton . Apa yang kita ketahui...
Saya mencari referensi untuk hasil berikut: Menambahkan dua bilangan bulat dalam representasi factored sama sulitnya dengan memfaktorkan dua bilangan bulat dalam representasi biner biasa. (Saya cukup yakin itu ada di luar sana karena ini adalah sesuatu yang saya tanyakan pada suatu saat, dan...
Dalam pengujian properti grafik, suatu algoritma meminta grafik target untuk ada atau tidaknya edge dan perlu untuk menentukan apakah target memiliki properti tertentu atau jauh dari memiliki properti. (Algoritme dapat diminta untuk berhasil dengan kesalahan 1-sisi atau 2-sisi.) Grafik adalah jauh...
Mengingat jurang baru-baru ini pada kedalaman-3 hasil (yang antara lain menghasilkan kedalaman-3 rangkaian aritmatika untuk penentu atas ), Saya memiliki pertanyaan-pertanyaan berikut: Grigoriev dan Karpinski membuktikan batas bawah untuk rangkaian aritmetika kedalaman-3 yang menghitung matriks...
Menyusul dari pertanyaan sebelumnya , apa batas bawah ruang terbaik saat ini untuk SAT? Dengan batas bawah ruang yang saya maksud di sini adalah jumlah sel worktape yang digunakan oleh mesin Turing yang menggunakan alfabet biner worktape. Istilah aditif konstan tidak dapat dihindari karena TM...
(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...