Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

2
Kelas grafik di mana masalah Hamiltonian Cycle dan Hamiltonian Path memiliki kompleksitas yang berbeda
Saat mencari Sistem informasi pada Kelas Grafik dan Inklusi mereka , saya menemukan beberapa kelas grafik yang masalah Siklus Hamiltonian adalah NP-lengkap sedangkan kompleksitas masalah Jalur Hamiltonian TIDAK diketahui. Beberapa kelas tersebut adalah grafik derajat 3 maksimum bipartit, grafik grid 3 derajat maksimum, dan grafik planar kubik 2 yang terhubung. …
1
Bukti apa yang kita miliki untuk
Mengikuti saran Josh Grochow, saya mengubah komentar saya dari pertanyaan sebelumnya menjadi pertanyaan baru. Bukti apa yang kita miliki untuk ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Berikut UPUP\mathsf{UP} adalah kelas bahasa dikenali oleh waktu non-deterministik mesin Turing polinomial yang memiliki jalur menerima unik pada "ya" contoh dan tidak ada menerima path pada "tidak" …
2
Grafik Masalah Isomorfisme
Saya sedang melakukan beberapa tinjauan literatur tentang masalah Graph isomorphism. Sebagian besar makalah yang saya baca ditulis oleh EM Luks dan Laszlo Babai. Makalah ini menggunakan pengetahuan tingkat tinggi teori grup dan teori kompleksitas. Karena saya baru di bidang ini, banyak hal yang tidak jelas bagi saya. Dapatkah seseorang menyarankan …
1
Kompleksitas pengambilan sampel (kira-kira) transformasi Fourier dari fungsi Boolean
Satu hal yang dapat dilakukan oleh komputer kuantum (mungkin bahkan hanya dengan sirkuit kuantum log-depth BPP +) adalah untuk memperkirakan-sampel transformasi Fourier dari fungsi Boolean -nilai dalam P.±1±1\pm 1 Di sini dan di bawah ini ketika saya berbicara tentang pengambilan sampel transformasi Fourier yang saya maksud memilih x menurut . …
5
Mengapa para ekonom harus peduli pada kompleksitas komputasi
Ketika mencoba meyakinkan para ekonom tentang relevansi teori kompleksitas dalam cetakan, adakah referensi standar untuk dikutip? Saya akrab dengan posting blog Noam Nisan , survei Tim Roughgarden , dan bab 11 esai Scott Aaronson . Posting-posting ini dapat diakses oleh para ilmuwan komputer, tetapi tidak menggunakan bahasa para ekonom dan …
3
Algoritma yang efisien secara konstruktif tanpa kebenaran yang efisien dan bukti efisiensi
Saya mencari contoh alami dari algoritma yang efisien (yaitu dalam waktu polinomial) st kebenaran dan efisiensi mereka dapat dibuktikan secara konstruktif (misalnya di PR APRSEBUAHPRA atau ), tetapiHSEBUAHHSEBUAHHA tidak ada bukti menggunakan hanya konsep efisien yang diketahui (yaitu kita tidak tahu bagaimana membuktikan kebenaran dan efisiensinya di atau ).S 1 …
2
Status pada sirkuit batas bawah untuk sirkuit kedalaman yang dibatasi polylog
Kompleksitas rangkaian bounded depth adalah salah satu bidang penelitian utama dalam teori kompleksitas sirkuit. Topik ini memiliki asal dalam hasil seperti "fungsi paritas tidak dalam " dan "fungsi mod tidak dihitung oleh ", di mana adalah kelas bahasa yang dapat ditentukan oleh non-seragam, kedalaman konstan, ukuran polinomial, kipas-dalam tanpa batas …
1
Apa subfamili # P-lengkap dari # 2-SAT?
Versi pendek. Bukti asli bahwa # 2-SAT adalah #P -lengkap menunjukkan, pada kenyataannya, bahwa contoh-contoh dari # 2-SAT yang keduanya monoton (tidak melibatkan negasi dari variabel apa pun) dan bipartit (grafik yang dibentuk oleh klausa di atas variabel adalah grafik bipartit) adalah #P -hard . Jadi, dua kasus khusus # …
1
Menggunakan kekuatan ekstra dari metode musuh negatif
Metode musuh negatif ( A D V±SEBUAHDV±ADV^\pm ) adalah SDP yang mencirikan kompleksitas kueri kuantum. Ini adalah generalisasi dari metode permusuhan yang banyak digunakan ( A D VSEBUAHDVADV ), dan mengatasi dua penghalang yang menghalangi metode permusuhan: Hambatan pengujian properti: jika semua 0-instans adalah εε\epsilon -far dari semua 1-instans maka …
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.