Pertanyaan yang diberi tag «approximation-hardness»

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: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

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 …

15 cc.complexity-theory  np-hardness  approximation-hardness 

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 poli?) Bagaimana dengan kelengkapan untuk beberapa level PH? Apakah itu menyiratkan kekerasan …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

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 :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Analisis smoothed telah diterapkan berkali-kali untuk memahami runtime dari algoritma yang tepat untuk banyak masalah seperti pemrograman linier dan k-means. Ada hasil yang cukup umum di bidang ini, misalnya Heiko Röglin dan Berthold Vöcking, analisis Smoothing pemrograman integer , 2005. Beberapa hasil umum ini tampaknya mengandalkan lemma isolasi untuk menghasilkan …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

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 …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

Seperti diketahui, masalah optimasi NP-hard dapat memiliki banyak rasio pendekatan yang berbeda, mulai dari memiliki PTAS hingga tidak dapat diperkirakan dalam faktor apa pun. Di antaranya, kita memiliki berbagai konstanta, , p o l y ( n ) , dll.O ( logn )O(log⁡n)O(\log n)p o l y( n )poly(n)poly(n) Apa …

12 cc.complexity-theory  approximation-hardness 

Saya mencari kelas kompleksitas yang berhubungan dengan APX karena BPP berhubungan dengan P. Saya sudah mengajukan pertanyaan yang sama di sini , tapi mungkin TCS akan menjadi lokasi yang lebih berbuah untuk jawaban. Alasan untuk pertanyaan ini adalah bahwa dalam masalah praktis kita sering perlu menemukan jawaban perkiraan (dengan demikian …

11 cc.complexity-theory  approximation-hardness 

Apa yang saat ini diketahui tentang perkiraan masalah genus? Sebuah pencarian awal memberitahu saya bahwa faktor pendekatan konstan sepele untuk grafik cukup padat, dan nϵnϵn^\epsilon -approximation algoritma telah dikesampingkan. Apakah informasi ini mutakhir, atau adakah batas yang lebih baik diketahui?

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

Gim dua babak proverver (2P1R) adalah alat yang penting untuk kekerasan perkiraan. Secara khusus, pengulangan paralel game dua putaran satu-prover memberikan cara untuk meningkatkan ukuran celah dalam versi keputusan dari masalah perkiraan. Lihat ceramah survei Ran Raz di CCC 2010 untuk ikhtisar subjek. Pengulangan paralel dari sebuah game memiliki properti …

11 cc.complexity-theory  approximation-hardness 

Untuk grafik diberikan , Masalah Pemisah menanyakan apakah set vertex atau edge dari kardinalitas kecil (atau berat) ada yang memindahkan partisi G menjadi dua grafik terpisah dengan ukuran yang kira-kira sama. Ini disebut Masalah Pemisah Verteks ketika himpunan yang dihapus adalah himpunan simpul, dan Masalah Pemisah Tepi saat itu merupakan …

11 cc.complexity-theory  approximation-hardness 

Saya belum bisa menemukan karakterisasi yang tepat dalam menghilangnya kesenjangan dualitas SDP. Atau, kapan "dualitas kuat" bertahan? Misalnya, ketika seseorang bolak-balik antara Lasserre dan SOS SDP, pada prinsipnya seseorang memiliki celah dualitas. Namun, entah mengapa ada alasan "sepele" mengapa celah ini tidak ada. Kondisi Slater tampaknya cukup tetapi tidak perlu …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

Saya mendengar hasil perkiraan pewarnaan grafik, tetapi tidak dapat menemukan sumbernya. Hasilnya adalah: Untuk setiap konstanta terdapat cukup besar sehingga mewarnai grafik -colorable dengan warna adalah NP-hard.k k h khhhkkkkkkhkhkhk Bisakah seseorang tolong tunjukkan saya ke makalah yang relevan?

10 reference-request  approximation-hardness  graph-colouring 

Apakah sulit untuk memperkirakan angka kromatik fraksional pada grafik derajat terbatas?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Pertimbangkan masalah Set yang Mendominasi dalam grafik umum, dan biarkan menjadi jumlah simpul dalam grafik. Algoritma pendekatan serakah memberikan jaminan perkiraan faktor 1 + log n , yaitu mungkin untuk menemukan dalam waktu polinomial solusi S sedemikian rupa sehingga | S | ≤ ( 1 + log n ) o …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness