Лекция
Introduction to model checking: system modeling and logic specifications.
Abstraction in model checking: Predicate abstraction; CEGAR–based software model checking.
SAT-based software model checking.
Задачи поиска. Классы P и NP. Сведения. NP–полные задачи. Не NP–полные задачи в классе NPP.
Задачи поиска. Классы P и NP. Сведения. NP–полные задачи. Не NP–полные задачи в классе NPP.
Полиномиальная иерархия. Классы, ограниченные по времени и памяти. Иерархия по памяти. Иерархия по времени.
Полиномиальная иерархия. Классы, ограниченные по времени и памяти. Иерархия по памяти. Иерархия по времени.
Теорема Карпа–Липтона. Схемы фиксированного полиномиального размера. P–полнота. NSPACE. Полиномиальные вычисления и логарифмическая память.
Теорема Карпа–Липтона. Схемы фиксированного полиномиального размера. P–полнота. NSPACE. Полиномиальные вычисления и логарифмическая память.
Классы RP, BPP, PP. 2–раундовые интерактивные доказательства. Многораундовые интерактивные доказательства.
Классы RP, BPP, PP. 2–раундовые интерактивные доказательства. Многораундовые интерактивные доказательства.
В своей работе веб–дизайнеры должны принимать решения: (1) какие элементы разместить на странице и (2) какой приоритет дать тому или иному элементу. В...
Новые технологии (социальные сети, семантический веб, мобильный интернет) неизбежно приведут к появлению рекламных систем нового типа. Потребители хотят...
Содержание лекции
Содержание лекции
Содержание лекции
Содержание лекции
Содержание лекции
Содержание лекции
Содержание лекции
Содержание лекции
Содержание лекции
Содержание лекции
Теорема Разборова о нижней оценке на сложность монотонных схем.
Нижние оценки для схем ограниченной глубины.
Лекция о развитии человеческого потенциала, взаимодействии с партнёрами. Ответы на вопросы.
Селигер 2009
Обзор
Страница лекции на сайте Computer Science клуба
Обзор
Страница лекции на сайте Computer Science клуба