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.

1
Adakah formulasi SAT / SMT dari VRP / VRPTW (TSP, Penjadwalan Pekerjaan-Toko)?
saya bertanya-tanya apakah mereka merupakan pendekatan merumuskan Kendaraan-Routing-Masalah dengan Time-Windows ( VRPTW ) (sebagai masalah keputusan) sebagai contoh SAT / SMT? (alternatif: TSP) Misalnya: "Apakah ada solusi yang valid mengunjungi semua pelanggan dalam jendela waktu mereka dengan n = 10 kendaraan?" Masalah keputusan ini bisa bermanfaat untuk langkah pertama meminimalkan …
3
Masalah partisi di mana beberapa nomor mungkin terpotong
Dalam masalah partisi standar , kita diberikan beberapa angka yang jumlahnya dan harus memutuskan apakah mereka dapat dipartisi menjadi dua bagian yang jumlahnya adalah . Ini dikenal sebagai NP-keras.2s2s2ssss Namun, anggaplah bahwa kita diizinkan untuk menunjuk salah satu angka sebagai "nomor lunak" yang dapat dipotong menjadi jumlah potongan yang sewenang-wenang, …
1
Memverifikasi seluk-beluk bukti asli Karp bahwa SAT memiliki pengurangan waktu polinomial menjadi 3SAT
Singkatnya, pertanyaan saya adalah: apakah bukti asli Karp yang mengurangi SAT menjadi 3SAT tidak perlu diuraikan? Dengan rincian sebagai berikut. Dalam makalahnya pada 1972, Reducibilitas Diantara Masalah Combinatorial , Karp membuktikan bahwa SAT berkurang menjadi 3SAT dengan menyatakan: Ganti klausa , di mana adalah literal dan , dengan mana adalah …
1
Bukti NP-hardness: mencari beberapa masalah np-hard terbatas yang bagus
Untuk menunjukkan NP-hardness dari suatu masalah, seseorang perlu memilih masalah NP-hard yang diketahui dan menemukan pengurangan polinomial dari masalah yang diketahui ke masalahnya. Secara teoritis, setiap masalah NP-hard dapat digunakan untuk pengurangan, tetapi dalam praktiknya, beberapa masalah lebih mudah dikurangi daripada yang lain. Misalnya, 3-SAT biasanya merupakan pilihan yang lebih …
1
Masalah subgraph terhubung berat-maksimum dalam grafik planar
Masalah subgraph terhubung maksimum-berat adalah sebagai berikut: Input: grafik dan berat (mungkin negatif) untuk setiap titik .w i i ∈ VG=(V,E)G=(V,E)G=(V,E)wiwsayaw_ii∈Vsaya∈Vi \in V Keluaran: subset maksimum-berat dari simpul sedemikian sehingga terhubung.G [ S ]SSSG[S]G[S]G[S] Masalah ini NP-hard. David S. Johnson menyebutkan pada hal. 149 dari kolom ini bahwa masalahnya tetap …
1
Menghitung pengurangan dari #SAT ke #HornSAT?
Apakah mungkin untuk menemukan pengurangan penghitungan dari #SAT ke #HornSAT? Saya belum menemukan pertanyaan ini diposting di sini, jadi memutuskan untuk memeriksa apakah ada yang punya jawaban untuk ini. Biarkan saya menjelaskan apa yang saya maksud dengan menghitung pengurangan. Misalkan adalah dua masalah penghitungan. Sebagai contoh, #SAT menanyakan berapa banyak …
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.