Лекция 7. Полиномиальные языки
- 00:10Машина Тьюринга (МТ)
- 05:54Полиномиальная МТ
- 13:55Оценка сложности алгоритма МТ
- 19:25Полиномиальные языки
- 21:23Утверждение
- 36:25Язык выполнимости
- 39:20Язык клика
- 48:57Сведение языка выполнимости к языку клика
- 58:37Класс NP языков, распознаваемых за полиномиальное время
- 01:02:00Утверждение
- 01:11:50Определение полноты и трудности языка
- 01:13:25Утверждение о NP языках
- 01:19:52К-выполнимость
