Лекция
Алгоритм Кока-Янгера-Касами. Контекстные зависимости в языках программирования. Атрибутные грамматики
Страница лекции на сайте Computer Science Center
Приближённые алгоритмы для задачи коммивояжёра (продолжение)
2/3-приближение для максимального цикла коммивояжера в ориентированном графе. Эвристики: метод...
Приближённые алгоритмы для задачи коммивояжёра (продолжение)
2/3-приближение для максимального цикла коммивояжера в ориентированном графе. Эвристики: метод...
Точные алгоритмы для задачи о максимальном разрезе и задачи максимальной 2-выполнимости
Точные алгоритмы со временем работы O∗(2ωn/3) и памятью O∗(22n/3)....
Теорема Куммера. Биномиальные коэффициенты. Рекурентные последовательности второго порядка, их характеристическое уравнение. Свойства делимости
Страница лекции...
Переборные методы: сэмплирование
Переборные методы. Сэмплирование пространства параметров.
Страница лекции на сайте Computer Science Center
Мотив человека и игры волновал умы многих исследователей, включая таких авторитетных авторов, как Эрик Берн, Джон фон Нейман. Согласно социологии, игра...
Хоть мы и грезим о вездесущих роботах, ухаживающих за нами, выполняющих за нас работу по дому, но почему то их у нас до сих пор нет. Как создать собственного...
Лексический анализ. Восходящий анализ
Лексический анализ; взаимодействие лексического и синтаксического анализаторов. Проблемы контекстно-зависимой лексики....
Приближённые алгоритмы для задачи коммивояжёра
Лемма Шварца-Зиппеля.
Приближённые алгоритмы: 1.5-приближённый алгоритм для задачи коммивояжёра в метрическом...
Регистровые машины, арифметизация протоколов их работы
Машинное обучение: обзор целевых функций
Некоторые способы построения параметрической целевой функции: Lq, maximum a posteriori, метод максимального...
Нисходящий анализ (продолжение)
Рекурсивный спуск, монадические парсер-комбинаторы.
Страница лекции на сайте Computer Science Center
Оценка методов обучения с учителем
Отличия от стохастической оптимизации. Переобучение. Оценка качества обучения. Overfitting on validation. Кроссвалидация....
Cинтаксический анализ. Нисходящий синтаксический анализ
Порождающие грамматики, иерархия Хомского. Магазинные автоматы, предпросмотр, LL(k)-языки и грамматики...
Точные алгоритмы для задачи коммивояжёра и задачи о гамильтоновом цикле
Метод динамического программирования (время: O∗(2n), память: O∗(2n)).
Метод включений-...
Десятая проблема Гильберта. Диофантовы уравнения. Перечислимые множества. Гипотеза Дейвиса
Страница лекции на сайте Computer Science Club
NP-полные задачи
Задачи поиска, сведения, доказательство NP-полноты задач выполнимости, 3-выполнимости, задачи о независимом множестве, задачи о вершинном...
Компиляция и интерпретация
Смешанные вычисления. Проекции Футамуры-Ершова. Техника раскрутки (bootstrapping). Принципы организации компилятора. Просмотры,...
Введение
Обзор курса, мотивация изучения приближённых и точных экспоненциальных алгоритмов.
Страница лекции на сайте Computer Science Club
Алгоритм Тарского
Страница лекции на сайте Computer Science Club
Алгоритм Тарского (продолжение)
Страница лекции на сайте Computer Science Club
Машинное обучение: начало
Постановка задачи. Виды обучения. “Дедуктивные” и “индуктивные” методы обучения.
Страница лекции на сайте Computer Science Center
Один эксперимент
Векторизация, факторы, интерпретация решений.
Страница лекции на сайте Computer Science Center
Языки программирования, синтаксис, семантика, прагматика
Нельзя просто так взять, и начать раздавать бинарники! На этом обожглись, например, GitHub и Google, а они умеют писать код. В чем же дело? А в том, что...
Чёрная пятница оказалась воистину чёрной для aмериканского интернет-универмагаKohl’s. Все сервера накрылись медным тазом именно в день рождественских распродаж.
Вы замучались работать с Ant’ом? Вас утомило отсутствие гибкости у Maven’a? Вам бы хотелось пользоваться наиболее современным и простым фреймворком для...