Saya berharap bahwa seseorang mungkin dapat menjelaskan kepada saya mengapa masalah subset produk sangat NP-hard sedangkan masalah subset sum lemah NP-hard. Subset Sum: Mengingat dan T , tidak terdapat subset X ' sehingga Σ i ∈ X ' x i = T .X={x1,...,xn}X={x1,...,xn}X =
Saya menanyakan pertanyaan ini 10 hari yang lalu di cs.stackexchange di sini tapi saya tidak punya jawaban. Dalam makalah yang sangat terkenal (di komunitas jaringan), Wang & Crowcroft menyajikan beberapa hasil perhitungan jalur di bawah beberapa kendala aditif / multiplikasi. Masalah pertama...
Masalah: Diberikan diwakili oleh sirkuit boolean, menghasilkan secara acak yang seragam sedemikian rupa sehingga (atau output jika ada). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }nx∈{0,1}nx \in \{0,1\}^nϕ ( x ) = 1ϕ(x)=1\phi(x)=1⊥⊥\perpxxx Jelas masalah ini...
Apakah ada cara untuk menyandikan turunan dari Jumlah Subset atau Masalah Partisi Angka sehingga solusi (kecil) untuk hubungan bilangan bulat menghasilkan jawaban? Jika tidak pasti, maka dalam arti probabilistik? Saya tahu bahwa LLL (dan mungkin PSLQ) telah digunakan dengan keberhasilan sedang...
Seperti diketahui semua orang, SAT lengkap untuk kali banyak polynomial . Itu masih lengkap wrt banyak-satu pengurangan.N PNP\mathsf{NP}A C0SEBUAHC0\mathsf{AC^0} Pertanyaan saya adalah berapa kedalaman minimum yang diperlukan untuk reduksi? Lebih formal, Apa yang paling sehingga SAT adalah...
Tampak bagi saya bahwa kebanyakan ahli teori kompleksitas umumnya percaya pada aturan filosofis berikut: Jika kita tidak tahu algoritma yang efisien untuk masalah , dan kita dapat mengurangi masalah A ke masalah B , maka ada mungkin tidak algoritma yang efisien untuk masalah B ,...
Ketika kita ingin membuktikan bahwa adalah -Lengkap, maka pendekatan standar untuk menunjukkan waktu polinomial komputasi pengurangan banyak-salah satu yang dikenal masalah -Lengkap untuk . Dalam konteks ini kita tidak perlu terikat ketat pada waktu pengurangan berjalan. Itu sudah cukup untuk telah...
Lance Fortnow baru-baru ini mengklaim bahwa membuktikan L! = NP harus lebih mudah daripada membuktikan P! = NP : Pisahkan NP dari ruang Logaritmik. Saya memberikan empat pendekatan dalam survei pra-blog 2001 tentang diagonalisasi (Bagian 3) meskipun tidak ada yang berhasil. Seharusnya lebih...
Apakah semua berikut ini dapat bertahan secara bersamaan? LsLsL_s terkandung dalam untuk semua bilangan bulat positif . sLs+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s adalah bahasa dari semua kata hingga lebih dari .{0,1}{0,1}\{0,1\} Ada beberapa kelas kompleksitas CCC dan gagasan yang tepat...
Beberapa waktu yang lalu, saya memposting permintaan referensi untuk masalah grafik di mana kami ingin menemukan 2-partisi tepi di mana kedua set memenuhi properti yang tidak terkait dengan kardinalitas mereka. Saya mencoba membuktikan bahwa masalah berikut ini NP-hard: Diberikan turnamen ,...
Minggu lalu, saya membaca lagi trasncript Leslie Lamport tahun 1982 tentang konferensi yang dia berikan tentang Soal-soal yang Terselesaikan, Masalah yang Tidak Terselesaikan , dan Non-Masalah dalam Concurrency . Makalah ini mudah dibaca, tetapi salah satu hal yang membuat saya berpikir adalah...
Kompleksitas kelas PPAD ditemukan oleh Christos Papadimitriou dalam makalah seminalnya tahun 1994 . Kelas dirancang untuk menangkap kerumitan masalah pencarian di mana keberadaan solusi dijamin oleh "Argumen paritas dalam grafik berarah": jika ada titik tidak seimbang dalam grafik berarah maka...
'Diberikan a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , apakah ada x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' adalah NPNP\mathsf{NP} -complete. Kelas kompleksitas mana yang 'Diberikan , adakah x , y ∈ N , a x 2 + b y 2 = c ' milik?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb...
Makalah ini memberikan bukti bahwa dalam permainan dengan pintu dan pelat penekan, sulit bagi PSPACE untuk menentukan apakah avatar (pemain) dapat mencapai lokasi tertentu. Ini dibuktikan dengan pengurangan dari TQBF , dan lamanya solusi yang dihasilkan tergantung secara eksponensial pada jumlah...
SAT unik adalah masalah yang terkenal: diberi rumus CNF , apakah benar F memiliki satu model?FFFFFF Saya tertarik pada masalah «Persis -SAT»: diberikan rumus CNF F dan integer m > 1 , apakah benar F memiliki model m persis ?mmmFFFm > 1m>1m>1FFFmmm Kedua masalah terlihat serupa. Jadi...
Apakah ada dengan properti berikut:L ∈ N PL∈NPL\in {\bf NP} Diketahui bahwa menyiratkan .P = N PL ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Tidak ada (dikenal) waktu polinomial pengurangan Turing dari (atau beberapa masalah -Lengkap) ke .N P LSA TSATSATN PNP{\bf NP}L.LL Dengan kata lain,...
Pertanyaan ini mungkin tidak bersifat teknis. Sebagai pembicara non-asli dan TA untuk kelas algoritma, saya selalu bertanya-tanya apa arti gadget dalam 'gadget klausa' atau 'gadget variabel'. Kamus mengatakan gadget adalah mesin atau perangkat, tapi saya tidak yakin apa artinya bahasa sehari-hari...
Dalam kompleksitas parametrized orang menggunakan reduksi fixed-parameter-tractable (FPT) untuk membuktikan W [t] -kekerasan. Secara teoritis pengurangan FPT bukan pengurangan waktu polinomial, karena dapat dijalankan secara eksponensial pada parameter k. Tetapi dalam praktiknya semua pengurangan...
Adakah hasil yang diketahui pada kelas kompleksitas 1-in-3-SAT dengan jumlah kejadian variabel yang terbatas? Saya datang dengan pengurangan pelit berikut dengan Peter Nightingale, tapi saya ingin mengutip sesuatu jika ini diketahui. Inilah trik yang kami buat. Ini menunjukkan bahwa 1-in-3-SAT...
Saya ingin tahu apakah kelas NPC didefinisikan oleh banyak-satu pengurangan dan pengurangan Turing adalah sama. Sunting: Pertanyaan lain, apakah pengurangan Turing hanya menciutkan kelas C dan co-C untuk beberapa C atau apakah ada kelas seperti ada masalah tidak dalam C ∪ c o - C di bawah...