«approximation-algorithms» etiketlenmiş sorular

Başka bir cstheorySE yazısında bir yorumda PSPACE tamlığının APX sertliği anlamına geldiğinden bahsedilmektedir . Herkes referansını açıklayabilir / paylaşabilir mi? Bu "sıkı" mı? (yani, optimizasyon problemi poli zamanında sabit faktör yaklaşımını kabul eden PSPACE-tamamlanmış problemler var mı?) PH seviyesinin bütünlüğü ne olacak? Yaklaşık bir sertlik ifade ediyor mu?

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

Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b 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 

Makalelerinde Yaklaşık Uzaklık Oracles , Thorup ve Zwick bir ağırlıklı yönsüz grafik için, bir veri büyüklüğü yapısını inşa etmek mümkün olduğunu göstermiştir bir dönebilir ( 2 k - 1 ) -approximate grafikteki herhangi bir köşe çifti arasındaki mesafe.O(kn1+1/k)O(kn1+1/k)O(k n^{1+1/k})(2k−1)(2k−1)(2k-1) Temel düzeyde, bu yapı uzaya yakın bir değiş tokuş yapar - …

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

Tamsayı ilişkisine yönelik (küçük) bir çözümün yanıt vermesi için bir Altküme Toplamı veya Sayı Bölümü Sorunu örneğini kodlamanın bir yolu var mı? Kesinlikle değilse, o zaman bir olasılıkla? Seçilen sayı aralığının büyük olduğu 'düşük yoğunluklu' bölgedeki Altküme Toplamı sorunlarının çözümünde LLL'nin (ve belki de PSLQ'nun) ılımlı bir başarı ile kullanıldığını …

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

Kısa bir süre önce En Kısa Batıl İnanç Sorunu için Açgözlü varsayımı öğrendim . Bu problemde, dizeleri bir dizi verilir ve biz bulmak istiyorum en kısa süperdizgi yani öyle ki her bir alt dize olarak görünür .s1,…,sns1,…,sns_1,\dots, s_n ssssisis_isss Bu problem NP-zordur ve uzun bir makale dizisinden sonra bu problem …

14 reference-request  approximation-algorithms  greedy-algorithms 

Tüm , için bir set fonksiyonu monoton altA , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BA,BA,Bf( A ) + f( B ) ≥ f( A ∪ B ) + f( …

13 ds.algorithms  approximation-algorithms  submodularity 

Sabit parametre ve yaklaşım zor sorunları çözmek için tamamen farklı yaklaşımlardır. Farklı motivasyonları var. Yaklaşıklık, yaklaşık çözümle daha hızlı sonuç arar. Sabit parametre, k'nin üstel veya bazı fonksiyonu ve n'nin polinom fonksiyonu açısından zaman karmaşıklığına sahip kesin çözümü arar; burada n, girdi boyutu ve k parametredir. Örnek .2kn32kn32^kn^3 Şimdi benim …

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

Her köşeyle ilişkili bir sayı ( ) ve hedef sayısı içeren yönlendirilmiş bir döngüsel grafik .G=(V,E)G=(V,E)G=(V,E)g:V→Ng:V→Ng:V\to \mathbb{N}T∈NT∈NT\in \mathbb{N} DAG altkümesi toplamı sorunu (farklı bir ad altında olabilir, bir başvuru harika olur) köşeleri olup olmadığını sorar , böylece ve bir yol .v1,v2,...,vkv1,v2,...,vkv_1,v_2,...,v_kΣvig(vi)=TΣvig(vi)=T\Sigma_{v_i}g(v_i) = Tv1→..→vkv1→..→vkv_1\to..\to v_kGGG Tam geçişli grafik klasik alt küme …

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

Birçok mantık probleminin (örneğin birkaç modal mantığın tatmin edilebilirlik problemleri) karar verilemez olduğu bilinmektedir. Algoritma teorisinde, örneğin kombinatoryal optimizasyonda, pek çok kararsız problem vardır. Ancak pratikte, heuristcs ve yaklaşık algoritmalar pratik algoritmalar için iyi çalışır. Dolayısıyla mantık problemleri için yaklaşık algoritmaların da uygun olabileceği beklenebilir. Bununla birlikte, bulmayı başarabildiğim bu …

13 lo.logic  approximation-algorithms  undecidability 

Girdi bir evren ve alt kümelerinin bir aile , diyelim ki, . Bu alt grupları varsayalım kapsayabilir , yani .UUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈ FE= U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Bir artımlı kaplama sekansı içinde alt kümelerinin bir dizisidir , diyelim ki, , tatmin olduğuFF{\cal F}bir= { E1, E2, … , …

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

PLSPLS\mathsf{PLS} ve APXAPX\mathsf{APX} arasındaki ilişki nedir ? Başka bir deyişle, bir polinom zamanı yerel aramayı kabul eden problemler yaklaşılabilir mi? Yaklaşık optimizasyon sorunları genel olarak yerel bir arama algoritması içeriyor mu?

12 cc.complexity-theory  approximation-algorithms 

Doğrusal programlama ve k-yolları gibi birçok problem için kesin algoritmaların çalışma zamanını anlamak için birçok kez düzgünleştirilmiş analiz uygulanmıştır. Bu alanda oldukça genel sonuçlar var, örneğin Heiko Röglin ve Berthold Vöcking, Tamsayılı programlamanın düzgünleştirilmiş analizi , 2005. Bu genel sonuçların bazıları, benzersiz bir optimum çözümle bir örnek üretmek için izolasyon …

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

İşimde şu sorun ortaya çıkıyor: Bağımsız bir sıra 65 seti olmadan bir grafiğin kromatik sayısına yaklaşan bilinen bir algoritma var mı? (Yani alfa (G) <= 64 bilinir ve | V | / 64 önemsiz bir alt, | V | önemsiz bir üst sınırdır. Ancak bu özel koşul altında daha iyi …

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

Aşağıdaki sorun hakkında bilinenler nelerdir? F : { 0 , 1 } n → { 0 , 1 } fonksiyonlarından oluşan bir koleksiyonu verildiğinde , bazı tamsayı k için VC-Boyut ( S ) ≤ k kısıtlamasına tabi olarak en büyük alt toplama S ⊆ C'yi bulun .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 …

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

Düzgün rasgele bir çözüm döndüren bir algoritmanın elde ettiği en iyi bilinen yaklaşım oranıyla ilgili sorunlar nelerdir? Permütasyon akışı dükkanı problemi için böyle bir örnek biliyorum : Kağıt "in Permütasyon Akış Dükkanı Zamanlama için Sıkı Sınırlar'dan Viswanath Nagarajan ve Maxim Sviridenko" işlerin rastgele dizisi garantisi var kanıtladı 2 √F| perm …

12 ds.algorithms  reference-request  approximation-algorithms