Apakah ada masalah yang kompleksitas kasus rata-ratanya sama dengan kompleksitas kasus terburuknya? Apa sifat dasar dari masalah ini yang membuat mengurangi kasus terburuk menjadi
Apakah ada masalah yang kompleksitas kasus rata-ratanya sama dengan kompleksitas kasus terburuknya? Apa sifat dasar dari masalah ini yang membuat mengurangi kasus terburuk menjadi
Karena 2 masalah NP-lengkap secara definisi dapat direduksi satu sama lain, sehingga solusi untuk salah satunya dapat diperoleh dengan menggunakan kotak hitam untuk menyelesaikan yang lain, mengapa mereka tidak memiliki rasio pendekatan yang sama (merujuk pada mitra pengoptimalannya) )? Saya kira...
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...
Saya tertarik mengurangi -Clique menjadi SAT tanpa membuat instance jauh lebih besar.kkk Klik di NP sehingga dapat direduksi menjadi SAT menggunakan ruang logaritmik. Pengurangan buku teks Garey / Johnson langsung meledak contoh ke ukuran kubik . Namun, -Clique ada di P untuk setiap k tetap...
Saya mencari contoh masalah sulit (dalam NP atau lebih keras) dari ilmu komputer yang dapat direduksi menjadi model proses fisik. Misalnya, maks-2-sat dapat dikurangi menjadi minimalisasi energi dalam model Ising. Saya ingin menemukan lebih banyak contoh pengurangan jenis
Teorema Mahaney memberi tahu kita bahwa jika ada -lengkap yang ditetapkan di bawah pengurangan polinomial-waktu banyak-satu, maka . (Lihat " Set lengkap lengkap untuk NP: Solusi dugaan Berman dan Hartmanis ")NPNPNPP= NPP=NPP = NP Adakah konsekuensi yang diketahui dari keberadaan set lengkap yang...
Saya mencari bukti bahwa kompleksitas Kolmogorov tidak dapat dihitung menggunakan pengurangan dari masalah lain yang tidak dapat dihitung. Bukti umum adalah formalisasi paradoks Berry daripada reduksi, tetapi harus ada bukti dengan mengurangi dari sesuatu seperti Masalah Putus, atau Masalah...
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...
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 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...
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...
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:...