1
Концепція: Усі мови, що завершуються FPT NP, є ізоморфними з фіксованим параметром
Гіпотеза Бермана – Хартманіса: всі мови, що не завершуються NP, схожі на один одного, в тому сенсі, що вони можуть бути пов’язані між собою поліноміальними ізоморфізмами часу [1]. Мене цікавить більш дрібнозерниста версія "поліноміального часу", тобто якщо ми будемо використовувати параметризовані скорочення. Параметризована задача - це підмножина , де - …