Изменения

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

Колмогоровская сложность

2 байта убрано, 17:48, 7 января 2017
м
Альтернативное доказательство с использованием теоремы о рекурсии
====Альтернативное доказательство с использованием теоремы о рекурсии====
Функция <tex> K(x) </tex> равна минимальной длине - это минимальная длина программы <tex> p : p(\varepsilon) = x </tex>.
Допустим, что <tex> K </tex> вычислима, тогда напишем такую программу:
<code>
313
правок

Навигация