«fixed-parameter-tractable» etiketlenmiş sorular

çalışma zamanının girdi boyutunda polinom olduğu, ancak isteğe bağlı olarak parametreye bağlı olduğu parametreli problemler için algoritmalar

1
FPT vs W [P] - Parametreli Karmaşıklık
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] …
4
Grafik izomorfizmi ile ilgili açık problemler
Şu anda Graph izomorfizmi (GI) problemi üzerine literatür taraması yapıyorum. Aşağıdakilerle ilgili bazı açık soruları bilmek istiyorum GI'nın sabit parametre izlenebilirliğinin açık bir sorun olduğu grafik parametreleri nelerdir. Grafik parametreleri nelerdir, bunları sabitleyerek GI'nin polinom zaman çözülebilirliği bilinmemektedir. Birçok grafik sınıfıyla sınırlandırıldığında GI'nin karmaşıklığı, genel GI'ye (GI-Tamlık) eşdeğerdir. GI tamlığının …
1
Logaritmik derinliğe sahip klips genişliği ifadeleri
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 …
5
Sınırlı Üçgenlik Grafiklerinde r-Dominating Set için Kesin Algoritmalar
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 …
1
Sabit parametre izlenebilirliğinde parametrede temel sınırlar?
(Güçlü) sabit parametre izlenebilirliği tanımında, bağlanan süre formunun bir ifadesidir . s ( | x | ) , giriş, örneğin burada ( x , k ) parametresi, k , s bir polinomdur ve f a, hesaplanabilir fonksiyonu.f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkpppfff İndirgeme kavramı benzer şekilde kısıtlandığı sürece için hesaplanabilirlik gereksinimini diğer işlev sınıflarıyla değiştirmek …
2
Sabit parametre ve yaklaşık algoritma arasındaki ilişki
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 …
1
Neredeyse 2SAT sorununun sabit parametre izlenebilirliğinin ötesinde ikili boole CSP'de herhangi bir sonuç var mı?
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 …
1
Bağlam: Tüm FPT NP tam diller sabit parametreli-izomorfiktir
Berman – Hartmanis varsayımı: NP-tam tüm diller, birbirleriyle polinom zaman izomorfizmleri ile ilişkilendirilebilecekleri anlamlarına benzerdir [1]. "Polinom zamanının" daha ayrıntılı bir versiyonuyla ilgileniyorum, yani parametreleştirilmiş indirimler kullanırsak. Parametreli bir problem alt kümesidir Σ∗×Z≥0Σ∗×Z≥0Σ^∗ × Z \geq 0, burada ΣΣΣ sonlu bir alfabe ve Z≥0Z≥0Z\geq 0 negatif olmayan sayılar kümesidir. Parametreli …
2
Hangi grafik problemleri Yönlendirilmiş (/ ağırlıklı) grafiklerde zor, yönlendirilmemiş (/ ağırlıksız) grafiklerde FPT?
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 …
1
Polinom çekirdeği
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 …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.