editor
177
правок
Изменения
м
Нет описания правки
'''Замечание.''' Часто используется сведение по Карпу, поэтому слова «относительно сведения по Карпу» обычно опускаются. Например, [[Примеры NP-полных языков. Теорема Кука | NP-полные языки]].
{{Лемма
|statement=<tex>(L_1 \leq_{f} L_2) \Rightarrow (\overline {L_1} \leq_{f} \overline {L_2})</tex>
|proof=Здесь пруф, ога.
}}
