Изменения

Перейти к: навигация, поиск

M-сводимость

1 байт добавлено, 09:02, 20 января 2012
→‎Применение
}}
Приведённая лемма позволяет доказывать алгоритмическую неразрешимость некоторой задачи , сводя к ней ''(а не наоборот!)'' другую, неразрешимость которой уже доказана.
Например:
Bloof
65
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/17401»

Навигация