«parameterized-complexity» etiketlenmiş sorular

Treewidth ve pathwidth, grafiğin ağaca veya yola yakınlığını ölçen popüler parametrelerdir. Gerçekten de, treewidth o kadar popüler görünüyor ki, treewidth'in algoritmik yönlerine (hatta çok nazik) girişler veren birçok makale, kitap ve ders notunda yer alıyor (ör. Downey & Fellows kitabına bakınız). Tipik olarak, bu kaynaklar bir NP-zor probleminin (örn. Bağımsız …

13 reference-request  graph-algorithms  parameterized-complexity 

Ağırlık |x||x||x|ikili dizgiden x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n dizedeki dizelerin sayısıdır. Az olan girdilerdeki monoton bir işlevi hesaplamakla ilgilenirsek ne olur? Bir grafik sahip ise, karar biliyoruz -clique monoton devreler için zordur (diğerleri Alon Boppana, 1987 arasında), ancak bir grafiktir en örneğin sahipse k 3 kenarlar mümkün boyutta bir monoton sınırlanan derinlik devresi bulmak …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Let bir 2CNF formülü olabilir ve negatif olmayan bir tamsayı. Bu makalede , varphi'yi tatmin edici hale getirmek için en fazla maddesinden birini silip silemeyeceğine karar verme sorununun sabit parametre izlenebilir olduğu, burada parametresidir. Benim sorum, bu sonucu diğer ikili boole CSP'sinde genelleştiren bir çalışma olup olmadığıdır. (Bu bir en …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Let tarafından ve göstermektedirler cinsi bir yüzeyi üzerinde gömülebilir grafiklerin grubu bütün çıkıntılar bu şekilde dış yüzeyinde yer almaktadır . Örneğin, , dış düzlem grafik kümesidir. İçinde grafiklerin treewidth Can üst bazılarının fonksiyonu sınırlanmış olması ?G k k G 0 G k kk ∈ Nk∈Nk\in\mathbb{N}G,kGkG_kkkkG,0G0G_0G,kGkG_kkkk Diğer yön açık değildir, çünkü …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Klasik sorun DÜZENLİ DİL KAPSAMI ile ilgileniyorum. Düzenli bir ifadesi verildiğinde , ile ilişkili normal dili belirtiriz . (Düzenli ifadeler , operasyon birliği, Kleene-star ve birleştirme ile sabit bir alfabe üzerindedir .)EEEL ( E)L(E)L(E)ΣΣ\Sigma Girdi: İki düzenli ifadeler ve Soru: Bu doğru mu ?E1E1E_1E2E2E_2 L ( E1) ⊆ L ( …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Sınırlı derece grafikleri için bile W [1] -hard olan problemleri biliyor musunuz? Metrik Boyut derecesi en fazla 3 olan grafiklerde zordur, ancak W [2] serttir. Kırmızı-Mavi Nonblocker sınırlı dereceli grafiklerde W [1] -harddı, ancak kanıtta bir hata vardı (Downey Fellows 2013 kitabı) ve sadece mavi köşeler sınırlı derecedeyse zor.

11 reference-request  parameterized-complexity 

Parametreli karmaşıklıkta insanlar W [t] sertliğini kanıtlamak için sabit parametre izlenebilir (FPT) indirgeme kullanırlar. Teorik olarak bir FPT indirgemesi, k parametresinde katlanarak çalışabildiği için bir polinom zamanı indirgeme değildir. Ancak pratikte gördüğüm tüm FPT azaltımları p-zamanı azaltmalarıdır, bu da W [t] sertlik kanıtlarının neredeyse her zaman NP tamlık kanıtlarını ima …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Varsayalım bazı alfabe göre bir parametreli dildir Σ . K ve -slice L olan L k = L ∩ { ( x , k ) | x ∈ Σ * } içinde örnekleri, resim L parametresi vardır k . Karmaşıklığı sınıfı X P parametreli dil içeren L , öyle ki …

10 cc.complexity-theory  reference-request  parameterized-complexity 

NP-Tamlık ile ilgili eşdeğer soruları takiben ( ağırlık sorusuna ve yönlendirilmiş soruya bakın ), parametreleştirilmiş sorunların bu özelliklerden nasıl etkilendiğini merak ediyordum. Yönlendirilmiş grafiklerde hangi -hard grafik problemleri -Hard, ancak yönlendirilmemiş grafiklerde sabit parametre izlenebilir mi?W [ 1 ]N-PNPNPW[ 1 ]W[1]W[1] Ağırlıklı grafiklerde hangi -hard grafik problemleri -Sert, ancak ağırlıksız …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

K-FLIP SAT parametreli sorunu şu şekilde tanımlanır: Girdi: 3-CNF formülüφφ\varphi ile nnn değişkenler ve doğruluk ödevi σ:[n]→{0,1}σ:[n]→{0,1}\sigma : [n] \to \{0,1\} Parametre: kkk Soru: Ödevi dönüştürebilir miyizσσ\sigma doyurucu bir ödeve σ′σ′\sigma' için φφ\varphi en fazla gerçeğin değerini çevirmekkkk değişkenler? Sorun açıkça FPT'de ( Stefan Szeider: SAT ve MAX SAT için …

10 parameterized-complexity  fixed-parameter-tractable 

Algoritmalar ve Karmaşıklık teorisinde çalışan bir araştırmacıyım, bir dereceye kadar parametreli karmaşıklığı kullanıyorum. Bana göre, parametreli karmaşıklıktaki araştırmacıların araştırma makalelerinin sayısı bakımından çok aktif (diğerlerinin olmadığı anlamına gelmez). İletişim karmaşıklığı, aritmetik karmaşıklık vb. Araştırmacıların da çeşitli parametreleri büyük ölçüde kullandıklarını gördüm. Soru: Parametreli karmaşıklık, karmaşıklık teorisinin geleceği mi olacak? Gelecek …

9 soft-question  parameterized-complexity 

İzin Vermek FFF ailesi olmak ddd-sonlu bir evrenin eleman alt kümeleri UUUnesnelerin. Bir aileH'HH nın-nin kkk-element altkümeleri UUU, ile 1≤k&lt;d1≤k&lt;d1 \le k < d, bir (k,d)(k,d)(k,d)- -set isabet arasındaFFF her biri için V∈FV∈FV \in F en az bir set var W∈HW∈'HW \in H öyle ki W⊂VW⊂VW \subset V. Bir koleksiyon …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

Önceki bir soruda , Bicliques'i Bulmak için Parametrize Algoritma , bir köşe grafiğinde biclique bulmak için hızlı parametreli algoritmalar olup olmadığını sordum ve FPT wrt ise açık olduğunu öğrendim . Aynı -bisik saymak için de geçerli mi, yoksa bunun # -hard wrt (ya da başka bir sertlik nosyonu) olduğu biliniyor …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity