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