1
Congettura: tutti i linguaggi completi di NP FPT sono isomorfi a parametro fisso
Congettura di Berman-Hartmanis: tutte le lingue complete di NP si assomigliano, nel senso che possono essere correlate tra loro da isomorfismi del tempo polinomiale [1]. Sono interessato a una versione più dettagliata del "tempo polinomiale", ovvero se utilizziamo riduzioni parametrizzate. Un problema con parametri è un sottoinsieme di , dove …