1
Vermutung: Alle FPT NP-vollständigen Sprachen sind isomorph mit festen Parametern
Berman-Hartmanis-Vermutung: Alle NP-vollständigen Sprachen sehen gleich aus, in dem Sinne, dass sie durch polynomielle Zeitisomorphismen miteinander in Beziehung gesetzt werden können [1]. Ich interessiere mich für eine feinkörnigere Version der "Polynomzeit", wenn wir parametrisierte Reduktionen verwenden. Ein parametrierte Problem ist eine Teilmenge von , wobei Σ eine endliche Alphabet und …