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 …