Генерически неразрешимые и трудноразрешимые проблемы

В рамках генерического подхода изучается поведение алгоритмов на типичных (почти всех) входах, а остальные входы игнорируются. А. Мясниковым и автором ранее был предложен метод генерической амплификации для построения генерически неразрешимых алгоритмических проблем. Основной идеей этого метода является объединение эквивалентных входов в достаточно большие множества. Эквивалентность входов означает, что рассматриваемая проблема на них решается одинаково. Предлагается обобщение этого метода, строится пример разрешимой в классическом смысле проблемы, не являющейся генерически разрешимой за полиномиальное время. Для этого используются другие методы, так как, скорее всего, метод генерической амплификации здесь не работает.