1
Dugaan: Semua bahasa FPT NP-lengkap adalah fixed-parameter-isomorphic
Dugaan Berman-Hartmanis: semua bahasa NP-lengkap terlihat sama, dalam arti bahwa mereka dapat saling terkait oleh isomorfisme waktu polinomial [1]. Saya tertarik pada versi "polinomial time" yang lebih berbutir halus, yaitu, jika kita menggunakan pengurangan parameter. Masalah parameter adalah himpunan bagian dari , di mana adalah alfabet terbatas dan adalah himpunan …