XP'nin “eşit olarak polinom” alt sınıfının adı?

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 L k ∈ p her biri için $L$$\Sigma$$k$$L$$L_k = L \cap \{(x,k) \mid x \in \Sigma^{*}\}$$L$$k$$\mathsf{XP}$$L$$L_k \in P$$k$, muhtemelen her bir için farklı bir algoritma ve polinom çalışma süresi ile bağlanır . Her sabit parametreli izlenebilir dil X P'dir ve X P'de F P T'de olmayan diller vardır ; Bu Downey & Fellows 2013 ders kitabında 27.1.1 Önerisi.$k$$\mathsf{XP}$$\mathsf{XP}$$\mathsf{FPT}$

Ancak, biri sınırlayıcı polinomun derecesi ile büyür ne kadar hızlı dayalı bu sınıf tabakalandırmak beri, bunun ötesinde nontrivial yapıya sahip görünmektedir k : için F P T için ise derecesi sabittir X P keyfi büyüyebilir. Downey & Fellows, X P'nin Önerme 27.1.1'in yapısı hakkında hiçbir şeyden bahsetmiyor ve Flum & Grohe 2006 ders kitabındaki tartışma çok daha ayrıntılı değil.$\mathsf{XP}$$k$$\mathsf{FPT}$$\mathsf{XP}$$\mathsf{XP}$

Daha önceki sorumdan sonra Bağımsız Küme varyantlarının sınırları? alt sınıfları için bir isim olan ve X, P L ∈ Q bir polinom varsa g L her bulunmuştur ki, örneğin ( X , k ) içinde L en karar verilebilir | x | g L ( k ) adımlar?$\mathsf{Q}$$\mathsf{XP}$$L \in \mathsf{Q}$$g_L$$(x,k)$$L$$|x|^{g_L(k)}$

Başka bir deyişle, bu sınıfı yalnızca | x | yerine poli ( k ) zamanı | x | g ( k ) keyfi bir fonksiyonu zaman g gibi X, P .$\mathsf{Q}$$|x|^{\text{poly}(k)}$$|x|^{g(k)}$$g$$\mathsf{XP}$

$\textsf{XP}$

$\textsf{XP}$