1
Гипотеза: все FPT-NP-полные языки являются фиксированными параметрами-изоморфными
Гипотеза Бермана – Хартманиса: все NP-полные языки выглядят одинаково в том смысле, что они могут быть связаны друг с другом полиномиальными изоморфизмами времени [1]. Меня интересует более мелкозернистая версия «полиномиального времени», то есть, если мы используем параметризованные сокращения. Параметризованная задача - это подмножество , где Σ - конечный алфавит, а …