Pertanyaan yang diberi tag «approximation-hardness»

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 (dengan referensi, sketsa bukti, atau tinjauan pengetahuan saat ini), …

64 cc.complexity-theory  approximation-hardness 

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, untuk beberapa masalah NP-hard, algoritma lokal / lokal yang tamak …

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

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 teorema PCP, yaitu, hasilnya tidak diketahui sebelumnya, tetapi kemudian ditemukan …

36 cc.complexity-theory  approximation-hardness  pcp 

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 \neq coNPAAAAAAαα\alphaNP=coNPNP=coNPNP = coNP Diketahui …

32 approximation-hardness  conditional-results 

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 kebenaran memuaskan …

32 cc.complexity-theory  sat  approximation-hardness 

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 pada 8 Februari. Karena ada sejumlah besar hasil …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

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 sama. Ketika pergi ke 0, ini mengurangi untuk menghitung pewarnaan …

26 graph-theory  approximation-algorithms  approximation-hardness  counting-complexity  graph-colouring 

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 yang dipahami dengan baik seperti APX, PTAS dan sebagainya. Apa yang …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

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 rasio perkiraan …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

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 bagus dan bermanfaat jika kita masing-masing dapat membuat ringkasan …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

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 grafik. Menghitung pewarnaan yang tepat, set independen, …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

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 hanya realisasi berbeda dari masalah yang sama; ini memberikan rasio yang sama untuk versi max dan min dari masalah yang sama. Pada saat …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

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 yang memuaskan 89+ϵ89+ϵ\frac{8}{9}+\epsilondari …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

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 ... y_m …

15 circuit-complexity  approximation-hardness  approximation  matrix-product 

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 )2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Saya terutama tertarik pada apa yang …

15 approximation-algorithms  approximation-hardness