Kekerasan pendekatan, alias tidak dapat diperkirakan.
Pertanyaan yang diajukan adalah apakah pertanyaan berikut dapat dipilih: Masalah Mengingat integer kkk dan mesin Turing MMM berjanji untuk berada di P, adalah runtime dari MMM O(nk)O(nk){O}(n^k) sehubungan dengan panjang input nnn ? Jawaban sempit "ya", "tidak", atau "terbuka" dapat diterima...
Keserakahan, karena tidak ada kata yang lebih baik, adalah baik. Salah satu paradigma algoritmik pertama yang diajarkan dalam kursus pengantar algoritma adalah pendekatan serakah . Pendekatan serakah menghasilkan algoritma sederhana dan intuitif untuk banyak masalah dalam P. Lebih menarik lagi,...
Aplikasi penting dari teorema PCP adalah bahwa ia menghasilkan hasil jenis "kekerasan perkiraan". Dalam beberapa kasus yang relatif lebih sederhana seseorang dapat membuktikan kekerasan seperti itu tanpa PCP. Namun, adakah kasus di mana kekerasan hasil perkiraan pertama kali terbukti menggunakan...
Dalam pertanyaan ini, rumus 3CNF berarti rumus CNF di mana setiap klausa persis melibatkan tiga variabel yang berbeda . Untuk konstanta 0 < s <1, Gap-3SAT s adalah masalah janji berikut: Gap-3SAT s Instance : Sebuah 3CNF rumus φ. Ya-janji : φ memuaskan. No-janji : tidak ada tugas...
Dua asumsi umum untuk membuktikan kekerasan hasil perkiraan adalah dan Unique Games Conjecture. Apakah ada kekerasan hasil perkiraan dengan asumsi NP \ neq coNP ? Saya mencari masalah A sehingga "sulit untuk memperkirakan A dalam faktor \ alpha kecuali NP = coNP ".P≠NPP≠NPP \neq NPNP≠coNPNP≠coNPNP...
Misalkan kita mengendurkan masalah penghitungan pewarnaan yang tepat dengan menghitung pewarnaan berbobot sebagai berikut: setiap pewarnaan yang tepat mendapat bobot 1 dan setiap pewarnaan yang tidak tepat mendapatkan bobot mana adalah konstan dan adalah jumlah tepi dengan titik akhir berwarna...
Apakah Anda tahu wiki terbaru yang didedikasikan untuk masalah optimasi NP dengan hasil pendekatan dan kekerasan terbaiknya? Berdasarkan umpan balik, tampaknya aman untuk mengasumsikan tidak ada sumber daya seperti itu (lihat bagian akhir dari pertanyaan ini untuk dua opsi tutup). - ditambahkan...
Ada literatur yang kaya dan setidaknya satu buku yang sangat bagus menguraikan kekerasan yang diketahui hasil perkiraan untuk masalah NP-keras dalam konteks kesalahan multiplikasi (misalnya 2-perkiraan untuk penutup vertex optimal dengan asumsi UGC). Ini juga termasuk kelas kompleksitas perkiraan...
Pada tahun 1999, Petra Schuurman dan Gerhard J. Woeginger menerbitkan makalah "Algoritma perkiraan waktu polinomial untuk penjadwalan mesin: Sepuluh masalah terbuka" . Sejak itu, sejauh yang saya ketahui, ulasan yang menyangkut daftar masalah yang sama belum muncul. Dengan demikian akan sangat...
Ada banyak hasil yang tidak dapat diperkirakan yang bergantung pada dugaan game yang unik. Sebagai contoh, Dengan asumsi dugaan permainan yang unik, NP-sulit untuk memperkirakan masalah pemotongan maksimum dalam faktor R untuk setiap R > R GW yang konstan . (Di sini R GW = 0,878 ... adalah...
Misalkan kita memiliki masalah yang diparameterisasi dengan p-parameter bernilai riil yang "mudah" untuk dipecahkan ketika dan "hard" ketika untuk beberapa nilai , . p = p 1 p 0 p 1p = p0p=p0p=p_0p = p1p=p1p=p_1hal0p0p_0hal1p1p_1 Salah satu contohnya adalah menghitung konfigurasi putaran pada...
sup AO PTsupSEBUAHHAIPT\sup\frac{A}{OPT}M.sayaNM.sayaNMINSEBUAHSEBUAHASEBUAHSEBUAHAO PTHAIPTOPTinf Ω - AΩ - OPTinfΩ-SEBUAHΩ-HAIPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega itu memberikan rasio perkiraan yang sama untuk masalah seperti penutup simpul minimum dan set independen maksimum yang diketahui...
Latar belakang : Dalam kertas UGC asli Subhash Khot ( PDF ), ia membuktikan kekerasan UG memutuskan apakah contoh CSP yang diberikan dengan kendala semua bentuk Tidak-semua-sama (a, b, c) pada alfabet ternary mengakui tugas yang memuaskan 1 - ϵϵ\epsilon dari kendala atau apakah tidak ada tugas...
Misalkan kita diberi satu set n variabel boolean x_1, ..., x_n dan satu set fungsi m y_1 ... y_m di mana setiap y_i adalah XOR dari subset (diberikan) dari variabel-variabel ini. Tujuannya adalah untuk menghitung jumlah minimum operasi XOR yang perlu Anda lakukan untuk menghitung semua fungsi y_1...
Sebuah set memukul dari keluarga adalah bagian dari sehingga untuk . Masalah untuk menemukan set minimum memukul keluarga yang diberikan adalah NP-hard secara umum, karena itu menggeneralisasi masalah vertex cover. Sekarang pertanyaan saya adalah:H ⋃ n i = 1 S i H ∩ S i ≠ ∅ 1 ≤ i ≤ nS= { S1, ... ,...
Ada studi tentang algoritma perkiraan untuk masalah lengkap NP dalam waktu Polinomial dan algoritma yang tepat dalam waktu eksponensial. Apakah ada studi tentang algoritma perkiraan untuk masalah lengkap NP dalam waktu subeksponensial dari formulir mana ? δ 2 ∈ ( 0 , 1
Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete:...
Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: a -> b...
Disebutkan dalam komentar di postingan lain bahwa kelengkapan PSPACE menyiratkan kekerasan APX. Adakah yang bisa menjelaskan / berbagi referensi untuk itu? Apakah ini "ketat"? (yaitu, apakah ada masalah PSPACE-complete yang masalah optimasi mengakui perkiraan faktor konstan dalam waktu...
Saya mencari hasil kekerasan pada pewarnaan vertex grafik dengan derajat terikat. Diberikan grafik , kita tahu bahwa untuk ϵ > 0 , sulit untuk mendekati χ ( G ) dalam faktor | V | 1 - ϵ kecuali NP = ZPP [ 1 ]. Tetapi bagaimana jika tingkat maksimum G dibatasi oleh d ? Apakah ada rasio...