Лекция
Точные и FPT-алгоритмы
Страница лекции на сайте Computer Science клуба
Узкое место алгоритма Кокка–Касами–Янгера. Разбор через умножение матриц.
Рекуррентная устойчивость
Introduction to model checking: system modeling and logic specifications.
Содержание лекции
Задача дискретного логарифма II
Метод index calculus: третья фаза и оценка сложности. Сложность решения линейной системы: алгоритм Видеманна. Идея решета...
Introduction to model checking: system modeling and logic specifications.
Алгоритм Кармаркара
Классы RP, BPP, PP. 2–раундовые интерактивные доказательства. Многораундовые интерактивные доказательства.
Обзор
Страница лекции на сайте Computer Science клуба
Метод второго момента. Порог для 4–клики. Сепараторы.
Страница лекции на сайте Computer Science клуба
Новые технологии (социальные сети, семантический веб, мобильный интернет) неизбежно приведут к появлению рекламных систем нового типа. Потребители хотят...
Точные и FPT-алгоритмы
Страница лекции на сайте Computer Science Club
Рекуррентная устойчивость
Abstraction in model checking: Predicate abstraction; CEGAR–based software model checking.
Содержание лекции
Вычислимые функции, разрешимые и перечислимые множества, универсальный алгоритм, перечислимое неразрешимое множество, вычислимые вещественные числа.
Abstraction in model checking: Predicate abstraction; CEGAR-based software model checkin.
Постановка задачи полуопределённого программирования, приближённый алгоритм для задачи о максимальном разрезе, раскраска 3–раскрашиваемого графа.
Классы RP, BPP, PP. 2–раундовые интерактивные доказательства. Многораундовые интерактивные доказательства.
Обзор
Страница лекции на сайте Computer Science клуба
Коды, исправляющие ошибки. Границы Хэмминга, Гилберта. Случайные коды, линейные коды. Код Хэмминга. Неравенство Синглетона. Код Рида–Соломона. Каскадные коды.
Страница лекции на сайте Computer Science клуба
Классические алгоритмы интернет поиска наиболее эффективны для нахождения ключевых слов в текстовых документах. В последние годы в интернете растет доля и ...
Курс о фундаментальных основах криптографии.
SAT-based software model checking.
Содержание лекции
Теорема Успенского–Райса. Теорема о неподвижной точке. Машины Тьюринга. Предикатные формулы. Неразрешимость исчисления предикатов. Выразимость в арифметике....
Метод условных вероятностей, метод малых пространств событий.
NP-полные задачи
Страница лекции на сайте Computer Science клуба
Коды, исправляющие ошибки. Границы Хэмминга, Гилберта. Случайные коды, линейные коды. Код Хэмминга. Неравенство Синглетона. Код Рида–Соломона. Каскадные коды.
Страница лекции на сайте Computer Science клуба
Предмет и история криптографии. Криптографические атаки. Криптографические примитивы: хеш–функции, протоколы с секретным и открытым ключом.
Рекурсивный спуск для бесконтекстных грамматик, его обобщение для конъюнктивных и булевых грамматик. Достижение линейного времени выполнения. Понятие об ...
Курс о фундаментальных основах криптографии.