bagaimana seseorang dapat menunjukkan bahwa apa hubungan antara "dugaan game unik" dan "teorema PCP"? bagaimana orang menjelaskan "Dugaan game unik" adalah bentuk yang lebih kuat dari "teorema
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...
Saya baru-baru ini membaca bukti yang dimaksudkan untuk menunjukkan bahwa masalah adalah NP-hard sangat, hanya dengan mengurangi itu (dalam waktu polinomial) dari masalah NP-hard. Ini tidak masuk akal bagi saya. Saya akan berpikir bahwa Anda harus menunjukkan bahwa angka apa pun yang digunakan...
Penggoda Karena masalahnya gondrong di sini adalah kasus khusus yang menangkap esensinya. Masalah: Misalkan A menjadi algoritme detrministik untuk 3-SAT. Apakah masalah sepenuhnya mensimulasikan algoritma A (pada setiap contoh masalah). P-Space keras? (Lebih tepatnya, apakah ada alasan untuk...
Grafik planar memiliki genus nol. Grafik yang dapat disematkan pada torus memiliki genus paling banyak 1. Pertanyaan saya sederhana: Apakah ada masalah yang dapat dipecahkan secara polinomi pada grafik planar tetapi NP-hard pada grafik genus satu? Lebih umum apakah ada masalah yang secara...
Saya mengajar batas bawah saat ini, dan salah satu siswa ditanya tentang alasan nama A C . Penjelasan resmi adalah bahwa "A" adalah singkatan dari "Alternation".A C0SEBUAHC0AC^0A CSEBUAHCAC Samar-samar saya ingat diberi tahu bertahun-tahun yang lalu bahwa Nick Pippenger Steve Cook menamai setelah...
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 ....
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,...
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...
Baru-baru ini, saya menemukan varian pewarnaan tepi berikut. Diberikan grafik tidak terarah yang terhubung, temukan pewarnaan tepi yang menggunakan jumlah warna maksimum dan juga memenuhi kendala bahwa, untuk setiap simpul , insiden tepi untuk paling banyak menggunakan dua warna.vvvvvv Dugaan...
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...
Pertimbangkan hal berikut masalah QQQ : Kami diberi integer , dan k interval [ l i , r i ] dengan 1 ≤ l i ≤ r i ≤ 2 n . Kita juga diberi bilangan bulat 2 n d 1 , … , d 2 n ≥ 0 . Tugasnya adalah memilih jumlah interval minimum [ l i , r i ]nnnkkk[ lsaya, rsaya][lsaya,rsaya][l_i,r_i]1 ≤ lsaya≤ rsaya≤...
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,...
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...
Misalkan saya mempertimbangkan varian BPP berikut, yang kami sebut E (xact) BPP: Suatu bahasa ada di EBPP jika ada waktu polinomial acak TG yang menerima setiap kata dalam bahasa dengan probabilitas 3/4 tepat dan setiap kata tidak dalam bahasa dengan tepat 1/4 probabilitas. Jelas EBPP terkandung...
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...
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...
Makalah "Algoritma Subquadratic for 3SUM", oleh Ilya Baran, Erik D. Demaine, Mihai Patrascu memiliki kompleksitas berikut untuk Masalah 3SUM: diberi daftar L.L.L dari nnn bilangan bulat jika ada x , y, z∈ Lx,y,z∈L.x,y,z \in L sedemikian rupa sehingga x + y= z.x+y=z.x+y=z. w -w-w-A C 0 O ( n 2 /...
Hal ini diketahui bahwa ukuran minimum -circuits komputasi fungsi paritas persis sama dengan 3 ( n - 1 ) . Bukti batas bawah didasarkan pada metode eliminasi gerbang.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Baru-baru ini, saya melihat bahwa metode gerbang penghapusan bekerja dengan baik juga untuk...
Dengan diberikannya kelompok simetri dan dua subkelompok , dan , apakah tahan?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Sejauh yang saya tahu, masalahnya dikenal sebagai masalah persimpangan coset. Saya bertanya-tanya apa kerumitannya? Secara khusus, apakah...