Сведение по Карпу — различия между версиями
(→Сведение по Карпу) |
(→Определение) |
||
| Строка 1: | Строка 1: | ||
==Определение== | ==Определение== | ||
| − | Язык <math>A</math> сводится по Карпу к языку <math>B</math>, если существует функция <math>f(x)</math> такая, что <math>x \in A</math> тогда и только тогда, когда <math>f(x) \in b</math>. | + | Язык <math>A\,\!</math> сводится по Карпу к языку <math>B\,\!</math>, если существует функция <math>f(x)</math> такая, что <math>x \in A</math> тогда и только тогда, когда <math>f(x) \in b</math>. |
Версия 20:16, 14 марта 2010
Определение
Язык сводится по Карпу к языку , если существует функция такая, что тогда и только тогда, когда .
