ЛекториумМедиатека
Личный кабинет

Основы вычислимости и теории сложности. Лекция 2

Вычислимые функции

Неразрешимость разных задач, сведение по Карпу, NP-полнота задачи об ограниченной остановке. Вычислимые функции, вычислимость функции и перечислимость ее графика, пример числа, которое является пределом вычислимой последовательности, но не приближается алгоритмически, диагональная функция и то, что ее нельзя продолжить до всюду определенной, главные нумерации вычислимых функций. Теорема Успенского-Райса. другие примеры неразрешимых множеств. Последовательность Шпеккера. Теорема Успенского-Райса.

Страница лекции на сайте Computer Science Center​​​​​​​

Лекции курса

11
  1. Основы вычислимости и теории сложности. Лекция 2▶ Вы тут
  2. Основы вычислимости и теории сложности. Лекция 3
  3. Основы вычислимости и теории сложности. Лекция 4
  4. Основы вычислимости и теории сложности. Лекция 5
  5. Основы вычислимости и теории сложности. Лекция 6
  6. Основы вычислимости и теории сложности. Лекция 7
  7. Основы вычислимости и теории сложности. Лекция 8
  8. Основы вычислимости и теории сложности. Лекция 9
  9. Основы вычислимости и теории сложности. Лекция 10
  10. Основы вычислимости и теории сложности. Лекция 11
  11. Основы вычислимости и теории сложности. Лекция 12

Онлайн-курсы по программированию

3