Сводимость по Карпу

Задача разрешения P₁ полиномиально сводится (по Карпу) к задаче разрешения P₂, если существует полиномиально вычислимая функция f, перерабатывающая массивы входных данных I₁ для задачи P₁ в массивы входных данных $I_2 \equiv f(I)$ для задачи P₂ таким образом, что для любого I ответ в задаче P₁ совпадает с ответом задачи P₂ для входных данных f(I).

По крайней мере часть этого текста взята с ресурса http://lib.custis.ru/ под лицензией GDFL.Список авторов доступен на этом ресурсе в статье под тем же названием.