Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

2
Alasan untuk meyakini (atau tidak)
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 dipecahkan. (Shiva Kintali telah mendaftarkan beberapa masalah kandidat lainnya di sini ).P≠NP∩coNPP≠NP∩coNPP …
2
Memutuskan apakah suatu NC
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 gerbang input k . (Kami mengatakan bahwa …
2
Teorema Ladner vs. Teorema Schaefer
Saat membaca artikel "Apakah Saatnya Menyatakan Kemenangan dalam Menghitung Kompleksitas?" di blog "Surat Hilang Godel dan P = NP" , mereka menyebutkan dikotomi untuk CSP. Setelah beberapa link berikut, googling dan wikipeding, saya menemukan Teorema Ladner : Teorema Ladner: Jika , maka ada masalah dalam yang bukan -lengkap.P≠NPP≠NP{\bf P} \ne …
1
Memutuskan apakah rangkaian
Apa kerumitan memutuskan apakah rangkaian dengan bit input dan bit output menghitung permutasi dari ? dengan kata lain, apakah setiap string bit di merupakan output dari rangkaian untuk beberapa input? Sepertinya masalah yang telah dipelajari, tetapi saya tidak dapat menemukan referensi.NC0NC0\mathsf{NC}^0n { 0 , 1 } n { 0 , …
3
A Notion of Sirkuit Quantum Monoton
Dalam kompleksitas komputasi ada perbedaan penting antara perhitungan monoton dan umum dan teorema terkenal oleh Razborov menegaskan bahwa 3-SAT dan bahkan PENCOCOKAN tidak polinomial dalam model sirkuit Boolean monoton. Pertanyaan saya sederhana: Apakah ada analog kuantum untuk sirkuit monoton (atau lebih dari satu)? Apakah ada teorema kuantum Razborov?
2
Kompleksitas dari Properti Topologis.
Saya adalah seorang ilmuwan komputer yang mengambil kursus tentang Topologi (taburan topologi set-point yang penuh dengan teori kontinum). Saya menjadi tertarik pada masalah keputusan yang menguji deskripsi ruang (secara sederhana) untuk properti topologi; yang dipertahankan hingga homeomorfisme. Diketahui, misalnya, bahwa menentukan genus suatu simpul adalah dalam PSPACE dan NP-Hard. (Agol …
2
Masalah NP-menengah dengan solusi kuantum yang efisien
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 masalah NP-complete masih sulit diterapkan pada komputer kuantum. Seperti yang ditunjukkan Arora …
2
Perkiraan masalah penghitungan menangkap BQP
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 menunjukkan masalah seperti itu Anda dapat mengurangi …
3
Apakah ada kandidat untuk masalah alami di ?
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 seragam sama sekali, tetapi ini bukan jenis …
2
Apa konsekuensi dari Parity-L = P?
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 logaritmik. Memecahkan sistem persamaan linear lebih dari ℤ 2 adalah …
6
Bagaimana bilangan real ditentukan dalam perhitungan?
Ini mungkin pertanyaan dasar, tapi saya sudah membaca dan mencoba memahami makalah tentang mata pelajaran seperti perhitungan ekuilibrium Nash dan pengujian degenerasi linier dan tidak yakin bagaimana bilangan real ditentukan sebagai input. Misalnya, ketika dinyatakan bahwa LDT memiliki batas polinomial tertentu lebih rendah, bagaimana bilangan real ditentukan ketika mereka diperlakukan …
6
Masalah SAT mana yang mudah?
Apa itu "daerah mudah" untuk kepuasan? Dengan kata lain, kondisi yang cukup untuk beberapa pemecah SAT untuk dapat menemukan tugas yang memuaskan, dengan asumsi itu ada. Salah satu contoh adalah ketika masing-masing klausa berbagi variabel dengan beberapa klausa lain, karena bukti LLL yang konstruktif , apakah ada hasil lain di …
1
Kompleksitas powering matriks
Biarkan menjadi matriks integer persegi, dan misalkannMMMnnn menjadi bilangan bulat positif. Saya tertarik pada kompleksitas masalah keputusan berikut: Apakah entri kanan atas positif?MnMnM^n Perhatikan bahwa pendekatan yang jelas dari iterasi persegi (atau perhitungan eksplisit lainnya) mengharuskan kita untuk berpotensi menangani bilangan bulat dari besarnya eksponensial ganda, yaitu, memiliki banyak bit …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.