51
правка
Изменения
→Сведение по Карпу
==Сведение Определение==Язык <math>A</math> сводится по Карпу==к языку <math>B</math>, если существует функция <math>f(x)</math> такая, что <math>x \in A</math> тогда и только тогда, когда <math>f(x) \in b</math>.
