Pertanyaan yang diberi tag «approximation-algorithms»

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 

Dalam makalah mereka Perkiraan Jarak Orakel , Thorup dan Zwick menunjukkan bahwa untuk setiap grafik tanpa arahan tertimbang, adalah mungkin untuk membangun struktur data ukuran yang dapat mengembalikan ( 2 k - 1 ) -approximate jarak antara setiap pasangan simpul dalam grafik.O ( k n1 + 1 / k)HAI(kn1+1/k)O(k n^{1+1/k})( …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Apakah ada cara untuk menyandikan turunan dari Jumlah Subset atau Masalah Partisi Angka sehingga solusi (kecil) untuk hubungan bilangan bulat menghasilkan jawaban? Jika tidak pasti, maka dalam arti probabilistik? Saya tahu bahwa LLL (dan mungkin PSLQ) telah digunakan dengan keberhasilan sedang dalam memecahkan masalah Subset Sum di wilayah 'kepadatan rendah', …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Baru-baru ini saya belajar tentang dugaan serakah untuk Masalah Superstring Terpendek . Dalam masalah ini, kita diberi satu set string s1, … , Sns1,...,sns_1,\dots, s_n dan kami ingin menemukan terpendek superstring sss yaitu sehingga setiap ssayassayas_i muncul sebagai substring dari sss . Masalah ini NP-hard dan setelah kertas yang panjang, …

14 reference-request  approximation-algorithms  greedy-algorithms 

Kita diberi grafik asiklik terarah dengan angka yang terkait dengan setiap simpul ( g : V → N ), dan nomor target TG=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N} .T∈NT∈NT\in \mathbb{N} The DAG bagian sum masalah (mungkin ada dengan nama yang berbeda, referensi akan menjadi besar) menanyakan apakah ada simpul , sedemikian rupa sehingga Σ …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Diketahui bahwa banyak masalah logika (misalnya masalah kepuasan beberapa logika modal) tidak dapat ditentukan. Ada juga banyak masalah yang tidak dapat dipastikan dalam teori algoritma, misalnya dalam optimasi kombinatorial. Tetapi dalam prakteknya heuristcs dan perkiraan algoritma bekerja dengan baik untuk algoritma praktis. Jadi orang dapat berharap bahwa algoritma perkiraan untuk …

13 lo.logic  approximation-algorithms  undecidability 

Fungsi-set adalah submodular monoton jika untuk semua , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BSEBUAH,BA,Bf( A ) + f( B ) ≥ f( A ∪ B ) + …

13 ds.algorithms  approximation-algorithms  submodularity 

Parameter dan pendekatan tetap adalah pendekatan yang sama sekali berbeda untuk menyelesaikan masalah yang sulit. Mereka memiliki motivasi yang berbeda. Perkiraan mencari hasil yang lebih cepat dengan solusi perkiraan. Parameter tetap mencari solusi yang tepat dengan kompleksitas waktu dalam hal eksponensial atau beberapa fungsi k dan fungsi polinomial dari n …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Input adalah alam semesta UUU dan keluarga himpunan bagian dari UUU , mengatakan, F⊆2UF⊆2U{\cal F} \subseteq 2^U . Kami berasumsi bahwa subset di FF{\cal F} dapat menutupi UUU , yaitu, ⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U . Sebuah urutan meliputi tambahan adalah urutan himpunan bagian di FF{\cal F} , katakanlah, A={E1,E2,…,E|A|}A={E1,E2,…,E|A|}{\cal A}=\{E_1,E_2,\ldots,E_{|{\cal A}|}\} …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Apa hubungan antara dan ? Dengan kata lain, apakah masalah yang mengakui waktu pencarian polinomial lokal dapat diperkirakan? Apakah masalah optimisasi yang dapat diperkirakan menyiratkan algoritma pencarian lokal secara umum?PLSPLS\mathsf{PLS}APXAPX\mathsf{APX}

12 cc.complexity-theory  approximation-algorithms 

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 

Dalam pekerjaan saya masalah berikut muncul: Apakah ada algoritma yang diketahui, yang mendekati jumlah kromatik grafik tanpa urutan 65 yang independen? (Jadi alpha (G) <= 64 diketahui dan | V | / 64 adalah lebih rendah sepele, | V | batas atas sepele. Tetapi apakah ada perkiraan yang lebih baik …

12 ds.algorithms  graph-algorithms  approximation-algorithms  graph-colouring 

Apa yang diketahui tentang masalah berikut? Diberikan kumpulan fungsi f : { 0 , 1 } n → { 0 , 1 } , temukan subkoleksi terbesar S ⊆ C tunduk pada kendala bahwa VC-Dimensi ( S ) ≤ k untuk beberapa bilangan bulat k .CCCf:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆CS⊆CS \subseteq C(S)≤k(S)≤k(S) \leq kkkk …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

Saya mencari nama atau referensi apa pun untuk masalah ini. Diberikan grafik berbobot menemukan partisi dari simpul ke hinggaset untuk memaksimalkan nilai edge cut: Perhatikan bahwa beberapa set bisa kosong. Jadi masalahnya pada dasarnya adalah max k-cut, kecuali bukan bagian dari input: algoritma dapat memilihG=(V,E,w)G=(V,E,w)G = (V, E, w)n=|V|n=|V|n = …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut