Лекция
Теорема Успенского-Райса, теорема о неподвижной точке
m-сведения, другие примеры неразрешимых множеств. Последовательность Шпеккера. Теорема Успенского-Райса....
Утилита make. Указатели и ссылки.
Логика:
Логика высказываний.
Таблицы истинности.
Пропозициональные формулы.
Кванторы. Предикаты.
Языки логики первого порядка.
Интерпретация языков.
Введение в ООП на Java (1).
Рекуррентные соотношения.
Метод "разделяй и властвуй".
Умножение чисел: простой рекурсивный алгоритм, улучшенный рекурсивный алгоритм.
Рекуррентные соотношения...
Вводное занятие
Растровая графика
В 2010 году была показана практическая возможность использования таргетирования рекламных объявлений в социальных сетях с целью получения скрытой информации о...
Программа, состоящая из нескольких файлов. Компиляция и линковка.
Введение.
Бумажная телефонная книга. Организация информации в ней, хранение информации, операции над данными, CRUD, поиск, алгоритмы, скорость работы.
Страница лекции на...
Вычислимые функции, разрешимые и перечислимые множества
Введение.
Вычисление чисел Фибоначчи: экспоненциальный рекурсивный алгоритм, полиномиальный алгоритм, более детальный анализ.
Время работы алгоритма, O-...
Мы расскажем о том, как зародилась наука о построении моделей веб-графов. Рассмотрим одну из таких моделей и обсудим, какими свойствами, близкими к свойствам...
Мы обсудим еще несколько моделей, которые с разных сторон улучшают модель из первой лекции. Изучим различные свойства веб-графов в этих моделях и, возможно,...
Теория множеств:
Основные понятия теории множеств.
Бинарные отношения и функции.
Рефлексивность, симметричность, транзитивность.
Взаимно-однозначные...
В завершение курса мы поговорим о приложениях изученных нами моделей к задачам ранжирования в поиске.
Страница лекции на сайте Computer Science клуба
Одной из задач в процессе разработки лекарств является задача поиска химических соединений, содержащих заданный фрагмент, в больших базах данных. Такие базы...
Задача о максимальном разрезе в ненаправленном графе. Рандомизированное 2-приближениеМаксимальный разрез как задача целочисленного квадратичного...
Субмодулярность ранговой функции. Субмодулярные функции на семействе множеств, примеры. Полиматроид и расширенный полиматроид. Жадный алгоритм для оптимизации...
Минимизация субмодулярной функции с помощью метода эллипсоидов. Пересечение матроидов, примеры. Трудность оптимизации по пересечению трех матроидов....
Краткое напоминание: целочисленные полиэдры и комбинаторные задачи, тотальная унимодулярность и тотальная двойственная целочисленность. Доказательство...
Задача о вершинно-взвешенном мультиразрезе, описание политопа. Двойственная линейная программа, T-пути и мультипотоки. Полуцелочисленность, 2-приближенный...
Симплекс-метод. Вырожденные задачи, проблема зацикливания симплекс-метода. Различные способы выбора опорных индексов. Скелет политопа и его диаметр, связь с...
Системы допустимых множеств и их политопы, связь между комбинаторной и линейной задачами. Частично-упорядоченные множества, цепи и антицепи. TDI-системы....
Конусы и целые точки в них, базисы Гильберта. Существование конечного базиса Гильберта у любого рационального конуса. Всякий рациональный полиэдр задается TDI-...
Базисные допустимые решения. Конечность числа вершин. Тотально унимодулярные матрицы. Целочисленность полиэдра, задаваемого тотально унимодулярной матрицей....
Задачи линейного и целочисленного программирования. Формы задач: стандартная и каноническая. Разрешимость задачи ЛП за конечное время, элиминация Фурье-Моцкина...
Распознавание черт лица и моделирование головы человека по изображению
Активные модели формы и внешности для распознавания черт лица. Трехмерные...
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Страница лекции на сайте Computer Science клуба
Распознавание и анализ изображений лиц человека
Тестовые коллекции. Признаки для анализа лиц, Local Binary Patterns. Распознавание атрибутов лица. Подход для...
Распознавание позы человека
Отслеживание и покадровая оценка. Иллюстрированные модели и методы на их основе. Многокамерные методы для оценки позы человека,...
Страница лекции на сайте Computer Science клуба