«parameterized-complexity» etiketlenmiş sorular

Bazı sorunların çözülemez olduğu bilinmektedir, ancak yine de bunları çözme konusunda bazı ilerlemeler yapmak mümkündür. Örneğin, durma sorunu belirlenemez, ancak kodunuzdaki potansiyel sonsuz döngüleri tespit etmek için araçlar oluşturma konusunda pratik ilerleme sağlanabilir. Döşeme problemleri çoğu zaman kararsızdır (örneğin, bu polyomino bazı dikdörtgeni döşer mi?) Ancak yine bu alanda sanatın …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

D-Boyutlu Vuruş Kümesi problemi olarak adlandırdığım şeyin parametreli karmaşıklığıyla ilgileniyorum: en fazla d ve en fazla VC boyutuna sahip bir aralık alanı (yani bir set sistemi / hipergraf) S = (X, R) pozitif tamsayı k, X, R'deki her aralığa çarpan bir k büyüklüğü alt kümesi içerir mi? Sorunun parametrelenmiş versiyonu …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

Diyelim ki bir dizi problem örneği (olası girdiler) olan hesaplama problemimiz var, örneğin 3-SAT . Normalde algoritmaların veya hesaplama karmaşıklığı teorisinin analizinde, uzunluktaki tüm girdilerin ve bir fonksiyonu bir çözelti algoritması çalışma süresini verir girişi . Zaman dizisini çalıştıran en kötü durum daha sonra SSSI(n)={w∈S:|w|=n}I(n)={w∈S:|w|=n}I(n) = \{w \in S : …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Parametreli karmaşıklıkta, ⊆ W [ 2 ] ⊆ … ⊆ W [ P ] . Muhafazaların her birinin uygun olduğu varsayılmaktadır.FPT⊆W[1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆W[2]⊆W[2]\subseteq \mathsf{W}[2] ⊆…⊆W[P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Eğer o .FPT=W[P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P]P=W[P]P=W[P]\mathsf{P}=\mathsf{W}[P] Ama takip ediyor mu Eğer o ? veyaF P T = G [1]FPT=W[1]\mathsf{FPT}=\mathsf{W}[1]F P T = G [P]FPT=W[P]\mathsf{FPT}=\mathsf{W}[P] …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Treewidth, FPT algoritmalarında önemli bir rol oynar, çünkü birçok sorun treewidth ile FPT tarafından parametrelendirilir. İlişkili, daha kısıtlı bir kavram, yol genişliğidir. Bir grafiktir pathwidth varsa , aynı zamanda en az treewidth sahip k tersi yönde, treewidth ise, k, sadece en pathwidth ima k log n, ve bu sıkı.kkkkkkkkkk günlüğünkgünlük⁡nk\log …

18 parameterized-complexity  treewidth  graph-minor 

Parametrize Karmaşıklık (hem algoritmik tarafta hem de sertlik tarafında) hakkında bilgi edinmek istiyorum. Bu konuda hangi kitapları / ders notlarını okuyabilirim?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

Bir grafiğin kavşak sayısını hesaplamanın parametreli karmaşıklığı hakkında bir şey biliniyorsa (tüm kenarlarını kaplamak için gereken en az sayıda klik)? Uzun zamandır NP-tam olduğu bilinmektedir ve açıkçası FPT'dir, çünkü bir çekirdeğe sahiptir: Eğer bir grafiği ile grafiği kapatabilirseniz, o zaman en fazla 2 k farklı kapalı köşe mahallesi vardır (iki …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Bırakın 0≤p≤10≤p≤10\le p\le 1 ve karar problemini düşünün CLIQUE p Giriş: tamsayı s , t köşeleri olan grafik G ve ⌈ p ( tpp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceilkenarları Soru:etmezGGGen az bir klik ihtivasssköşe? CLIQUE p örneği, olası tüm kenarlardan bir p oranı içerir . Açıkça CLIQUE p , bazı p değerleri …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Bir köşe yönlendirilmemiş grafik verildiğinde , bir -bisik olan bir alt çizgi bulmak için en iyi bilinen çalışma zamanı nedir? Bisikletin bir tarafını "tahmin" etmenin \ binom {n} {k} \ mbox {poli} (n) zaman algoritmasından daha hızlı parametrelenmiş algoritmalar var mı ve hepsinde en az k başka köşe noktası olup …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Genişlik w olan bir grafiğinin ağaç ayrışması verildiğinde , bunu "hoş" hale getirmenin birkaç yolu vardır. Özellikle, ağacın ikili olduğu ve yüksekliğinin O olduğu bir ağaç ayrışmasına dönüştürülmesinin mümkün olduğu bilinmektedir ( log n ) . Bu, ayrışma genişliğini en fazla 3 w tutarak elde edilebilir . (Bkz. Örneğin Bodlaender …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

Herkesin bildiği gibi, Garey ve Johnson'ın ünlü kitabı (ve diğerleri) klasik ortamda azaltma tekniği için mükemmel bir referans sağlar. Fpt indirgeme, parametreleştirilmiş algoritmada indirgeme tekniği konusunda herhangi bir anket veya kitap var mı?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Bir grafik verildiğinde, , G için optimal bir r- hakimiyeti bulmak istiyorum . Yani, bir alt istiyorum olan S ve V olarak bütün çıkıntılar şekilde G en çok bir mesafede olan r bazı tepe noktasından S boyutunu en aza indirirken, S .G=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS Şimdiye kadar kontrol ettiklerimden, aşağıdakileri …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

Motivasyon: Bir yazar bir yazıyı düzenler ve düzenlemelerin net bir özetini görmek istiyorum. Araçlar benzeri tüm "fark" Sen eğer yararsız olma eğilimi hem etrafına metin hareketli (örneğin yeniden organize yapı) ve yerel düzenlemeler yapıyor. Doğru yapmak gerçekten çok mu zor? Tanımlar: İzin verilen işlemlerin yapıldığı minimum düzenleme mesafesini bulmak istiyorum: …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Köşe Kapağı kolayca Bağımsız Kümeye veya tam tersi şekilde azaltılabilir. Ancak, parametreli karmaşıklık bağlamında, Bağımsız küme Vertex Cover'dan daha zordur. Bir çekirdek ile köşeler Vertex Kapak var, ancak Bağımsız Seti olduğu W 1 serttir.2k2k2k Bağımsız Kümenin doğası FPT bağlamında nasıl değişir ve neden?

13 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

-hierarchy karmaşıklığı sınıfların bir hiyerarşi , bkz parametreli karmaşıklığı Karmaşıklık Zoo tanımları için. Alternatif bir tanım, birinci dereceden mantığın formülleri için ağırlıklı Fagin tanımını kullanarak tanımlar, Flum ve Grohe'nin ders kitabına bakın .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t En düşük ve sınıfları için birçok doğal tam sorun bilinmektedir, örn. Clique ve Independent Set , ve …

13 cc.complexity-theory  parameterized-complexity