editor
177
правок
Изменения
м
→Определения
<tex> (L_1 \leq_{\widetilde{D}} L_2) \overset{\underset{\mathrm{def}}{}}{\iff} ( \exists f \in \widetilde{D} : x \in L_1 \Leftrightarrow f(x) \in L_2 ) </tex>.
}}
'''Замечание.''' Часто используется сведение из <tex>\widetilde{P}</tex>, поэтому слова «относительно вместо «<tex>\widetilde{P}</tex>-сведения сводится по Карпу» и говорят просто «сводится». Также индекс у символа сведения обычно опускают.
== Простой пример сведения по Карпу ==
