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.



3
Mengapa keacakan memiliki efek yang lebih kuat pada reduksi daripada pada algoritma?
Dugaan bahwa keacakan tidak memperpanjang kekuatan algoritma waktu polinomial, yaitu, diperkirakan untuk ditahan. Di sisi lain, keacakan tampaknya memiliki efek yang sangat berbeda pada pengurangan waktu polinomial . Dengan hasil Valiant dan Vazirani yang terkenal, berkurang menjadi melalui pengurangan waktu polinomial secara acak. Kecil kemungkinan bahwa pengurangan tersebut dapat diderandomisasi, …

2
Derandomisasi Valiant-Vazirani?
The Valiant-Vazirani teorema mengatakan bahwa jika ada algoritma waktu polinomial (deterministik atau acak) untuk membedakan antara formula SAT yang memiliki tepat satu tugas memuaskan, dan formula unsatisfiable - maka NP = RP . Teorema ini dibuktikan dengan menunjukkan bahwa UNIQUE-SAT adalah NP -hard dalam pengurangan acak . Tunduk pada dugaan …

5
Reduksi cepat dari RSA ke SAT
Posting blog Scott Aaronson hari ini memberikan daftar masalah / tugas terbuka yang menarik dalam kompleksitas. Seseorang khususnya menarik perhatian saya: Bangun perpustakaan umum dengan instance 3SAT, dengan sesedikit mungkin variabel dan klausa, yang akan memiliki konsekuensi penting jika diselesaikan. (Misalnya, contoh yang mengkode tantangan anjak piutang RSA.) Selidiki kinerja …

7
Keanggotaan nontrivial di NP
Apakah ada contoh bahasa yang ada dalam , tetapi di mana kita tidak dapat membuktikan fakta ini secara langsung dengan menunjukkan bahwa ada saksi polinomial untuk keanggotaan dalam bahasa ini?NPNPNP Sebaliknya, fakta bahwa bahasa dalam akan dibuktikan dengan mereduksinya ke bahasa lain di , di mana hubungan antara keduanya tidak …
27 reductions  np 

1
Apakah ada algoritma subeksponensial untuk PLANAR SAT yang diketahui?
Beberapa masalah NP-hard yang eksponensial pada grafik umum adalah subeksponensial pada grafik planar karena treewidth paling banyak dan mereka eksponensial dalam treewidth.4.9|V(G)|−−−−−−√4.9|V(G)|4.9 \sqrt{|V(G)|} Pada dasarnya saya tertarik jika ada algoritma subeksponensial untuk PLANAR SAT yang NP-complete. Biarkan menjadi rumus CNF pada variabel dan klausa ke- adalah .ϕϕ\phixixix_iiiicicic_i The grafik kejadian …

2
Apakah ada pengurangan langsung / alami untuk menghitung pencocokan sempurna non-bipartit menggunakan permanen?
Menghitung jumlah kecocokan sempurna dalam grafik bipartit segera dapat direduksi menjadi komputasi permanen. Karena menemukan pencocokan sempurna dalam grafik non-bipartit adalah dalam NP, terdapat beberapa pengurangan dari grafik non-bipartit menjadi permanen, tetapi mungkin melibatkan blowup polinomial yang buruk dengan menggunakan pengurangan Cook ke SAT dan kemudian teorema Valiant untuk mereduksi …

6
Teknik-teknik canggih untuk menentukan kompleksitas batas bawah
Beberapa dari Anda mungkin telah mengikuti pertanyaan ini , yang ditutup karena tidak menjadi level penelitian. Jadi, saya mengekstraksi bagian pertanyaan yang ada di tingkat penelitian. Di luar teknik "sederhana", seperti mengurangi menjadi penyortiran atau masalah lengkap EXPTIME, teknik apa yang telah digunakan untuk membuktikan batas bawah untuk kompleksitas waktu …

2
CLIQUE alami ke pengurangan k-Color
Jelas ada pengurangan dari CLIQUE ke k-Color karena keduanya NP-Complete. Bahkan, saya bisa membuat satu dengan menyusun pengurangan dari CLIQUE ke 3-SAT dengan pengurangan dari 3-SAT ke k-Color. Yang saya bertanya-tanya adalah apakah ada pengurangan langsung yang masuk akal antara masalah-masalah ini. Katakanlah, pengurangan yang bisa saya jelaskan kepada seorang …

5
Ingin tahu tentang bukti kelengkapan NP yang dibantu komputer
Dalam makalah "KOMPLEKSITAS MASALAH KEPUASAN" oleh Thomas J. Schaefer, penulis telah menyebutkan bahwa This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would …

1
Multiplikasi biner dan konvolusi paritas
Pertanyaan ini adalah tentang hubungan antara perkalian bilangan biner normal dan perkalian polinomial mod 2. Untuk membuat pertanyaan konkret, saya ingin tahu apakah ada solusi yang lebih baik untuk pertanyaan dari Knuth vol. 2, 3 edisi, halaman 420 dari yang diberikan dalam buku ini. "Dapatkah penggandaan modulin 2 polinomial difasilitasi …

9
Pengurangan dari buku.
Ini sepanjang garis " Algoritma dari Kitab ". Meskipun reduksi adalah algoritme juga, saya pikir ragu bahwa orang akan memikirkan pengurangan respons terhadap pertanyaan tentang algoritme dari buku ini. Oleh karena itu permintaan yang terpisah! Pengurangan dari semua jenis dipersilahkan. Saya akan mulai dengan pengurangan yang sangat sederhana dari vertex …



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.