Pertanyaan yang diberi tag «reductions»

Reduksi adalah transformasi dari satu masalah ke masalah lain. Contoh penggunaan reduksi adalah untuk menunjukkan jika masalah P tidak dapat ditentukan. Ini akan dicapai dengan mengubah atau melakukan pengurangan masalah keputusanPmenjadi masalah yang tidak dapat ditentukan. Jika ini dapat dicapai maka kami telah menunjukkan bahwa masalah P ini tidak dapat ditentukan.

4
Pengurangan langsung SAT ke 3-SAT
Di sini tujuannya adalah untuk mengurangi masalah SAT sewenang-wenang menjadi 3-SAT dalam waktu polinomial menggunakan klausa dan variabel paling sedikit. Pertanyaan saya dimotivasi oleh rasa ingin tahu. Secara kurang formal, saya ingin tahu: "Apa pengurangan 'paling alami' dari SAT menjadi 3-SAT?" Sekarang pengurangan yang selalu saya lihat di buku teks …
2
Apakah persimpangan
Diketahui bahwa persimpangan dari tiga matroid umum adalah NP-hard ( sumber ), yang dilakukan melalui reduksi dari siklus Hamiltonian. Pengurangan menggunakan satu matroid grafis dan dua matroid konektivitas. Kasus khusus dari masalah yang sedang saya kerjakan dapat diselesaikan dengan persimpangan beberapa matroid grafis, tetapi saya belum dapat menemukan, apakah masalah …
1
Validitas eksponensial dalam pengurangan waktu polinomial
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 adalah sebagai berikut:NPNP\mathsf{NP} Diberikan grafik terarah dan dua …
1
Sampling tugas memuaskan acak seragam
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 …
1
Berapa kedalaman reduksi minimum yang disyaratkan untuk NP-hardness SAT?
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 -Hard wrt banyak-satu pengurangan?dddN PNP\mathsf{NP}A C0dSEBUAHCd0\mathsf{AC^0_d} Sepertinya saya harus mencukupi? Adakah yang tahu …
1
Deteksi hubungan integer untuk Jumlah Subset atau NPP?
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 dalam memecahkan masalah Subset Sum di wilayah 'kepadatan rendah', …
1
Pengurangan banyak-orang paling lambat?
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 setiap polinomial terikat, yang memungkinkan bahwa mungkin mungkin memiliki …
3
Bisakah batas bahasa sulit menjadi mudah?
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 pengurangan untuk CCC sehingga untuk setiap sss , LsLsL_s sulit …
3
Set busur umpan balik transitif (TFAS): Lengkap dengan NP?
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 , apakah ada busur umpan balik yang menetapkan dalam yang …
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.