parsimonious transformation

консервативная сводимость (полиномиальная сводимость одной задачи к другой, она автоматически даёт сводимость по Тьюрингу соответствующих задач перечисления)