ДМ 1 курс - 2 лекция - композиция и транзитивное замыкание отношений, булевы функции, СДНФ
Комментарии отсутствуют
Информация о видео
Другие видео канала
Продвинутые алгоритмы - Л12: Безызбыточные СД, навигация по двоичному дереву, rank, select
Теория сложности - Емкостная сложность, класс PS, теорема Сэвича, PS-полнота TQBF
Методы трансляции 3 курс - Вводная лекция
ДМ 2 курс - случайные графы - порог для связности, теорема Эрдёша-Реньи
Олимпиада Я - Профессионал - Программирование и информационные технологии - обзор подготовки
Продвинутые алгоритмы - Л7 - Алгоритм Каргера-Штайна, матрица Татта, паросочетание
Методы трансляции y2019-3к-л0 - организационные моменты
Теория сложности lite - NP-полнота задач: CNFSAT, 3SAT, IND, VCOVER, CLIQUE, SUBSETSUM, HAM
Продвинутые алгоритмы - Л10: streaming and sketching, алгоритм Морриса, алгоритм Флажолета-Мартина
Теория сложности lite - рандомизированные вычисления, вероятностные классы, ZPP, RP, coRP, PP, BPP
ДМ y2020-2к-л8 Случайные графы, модель Эрдёша-Реньи, пустота графа, порог, треугольники
Рассказ о финале олимпиады Я-Профессионал "Программирование и информационные технологии" - 2021
Кружок - группа A - гамильтонов цикл, задача коммивояжера, ДП по подмножествам
ДМ y2021-1к-л1 Введение, множества, функции, отношения
ДМ y2021-1к-л14 действия группы на множестве, лемма Бернсайда, формула Пойа
ДМ 2 курс - Формула обращения Лагранжа, многопараметрические производящие функции
Продвинутые алгоритмы - Л5: APD - расстояние между всеми парами, BPWM - свидетели булевого умножения
Теория сложности - полиномиальная иерархия, \Sigma_i-полные задачи, TISP, теорема Фортноу
ДМ 2 курс - перечислимые свойства языков, теорема Райса-Шапиро
ДМ 2 курс - вычислимость - свойства перечислимых языков, теорема Успенского-Райса, m-сведение, HALT
ДМ 1 курс - формальные языки - regex по автомату, нерегулярность, лемма о разрастании, минимизация