Полиномиальная сводимость

---

Любой язык ${\displaystyle L_{1}}$ называется сводимым по Карпу к языку ${\displaystyle L_{2}}$, если существует функция ${\displaystyle F\colon \Sigma ^{*}\mapsto \Sigma ^{*}}$, вычисляемая за полиномиальное время, где F(x) принадлежит ${\displaystyle L_{2}}$ в том случае, если x принадлежит ${\displaystyle L_{1}}$. Язык называется NP-трудным, если к нему сводится любой язык NP класса, и называется NP-полным, если он NP-труден и сам сводится к NP классу. Если будет алгоритм, решающий NP-полную задачу за полиномиальное время, тогда все NP-задачи относятся к классу P.

Рассмотрим два языка ${\displaystyle L_{1}}$ и ${\displaystyle L_{2}}$ над алфавитами ${\displaystyle \Sigma }$ и ${\displaystyle \Gamma }$. Сведение ${\displaystyle L_{1}}$ к ${\displaystyle L_{2}}$ по Карпу — это функция ${\displaystyle f\colon \Sigma ^{*}\mapsto \Gamma ^{*}}$, вычислимая за полиномиальное время, такая, что ${\displaystyle \forall x(x\in L_{1}\Leftrightarrow f(x)\in L_{2})}$. Таким образом, неформально язык ${\displaystyle L_{1}}$ «не сложнее» языка ${\displaystyle L_{2}}$.

---