Основы вычислимости и теории сложности. Лекция 11
Нижние оценки для SAT. Схемная сложность
Вычисления с ограничением по времени и по памяти. Нижняя оценка для SAT. Альтернирующие машины Тьюринга и полиномиальная иерархия. Булевы схемы. Вычисления с подсказкой. Класс P/poly. Включение P в P/poly. Теорема Карпа-Липтона. Существование функций большой схемной сложности.
Страница лекции на сайте Computer Science Center
АвторДмитрий Ицыксон
ОрганизаторComputer Science Center
Лекции курса
11- Основы вычислимости и теории сложности. Лекция 2
- Основы вычислимости и теории сложности. Лекция 3
- Основы вычислимости и теории сложности. Лекция 4
- Основы вычислимости и теории сложности. Лекция 5
- Основы вычислимости и теории сложности. Лекция 6
- Основы вычислимости и теории сложности. Лекция 7
- Основы вычислимости и теории сложности. Лекция 8
- Основы вычислимости и теории сложности. Лекция 9
- Основы вычислимости и теории сложности. Лекция 10
- Основы вычислимости и теории сложности. Лекция 11▶ Вы тут
- Основы вычислимости и теории сложности. Лекция 12
Онлайн-курсы по программированию
3
Машинное обучение для анализа текстов
От бизнес-идеи к ее реализации: учимся инновационному предпринимательству с нуля.
С платными опциями
Разработка игры-платформера на Defold: базовый уровень
Создайте свой первый платформер с нуля! За 7 недель вы не просто освоите движок Defold, а пройдете весь путь геймдев-разработчика: от кода и анимаций до дизайна и сюжета.
Бесплатный
Python для начинающих
Курс посвящен основам программирования на языке Python — одном из самых популярных и понятных языков, идеально подходящих для первого знакомства с IT.
Бесплатный