Материалы лекций текущего семестра (осень 2017).
- Вводная лекция. Цели и задачи курса. Характеристика разделов курса. Алгоритмы. Формализация понятия алгоритма. Машина Тьюринга (МТ). (6 сентября, PDF).
- Нормальные МТ. Диаграммы Тьюринга: диаграммы элементарных МТ, правила композиции диаграмм, примеры диаграмм, построение таблицы МТ по диаграмме. Моделирование МТ. Универсальная МТ. Построение универсальной МТ. (9 сентября, PDF).
- Проблемы останова и самоприменимости. Нормальные алгоритмы Маркова. Примеры других алгоритмических систем. Тезис Тьюринга-Черча. Язык программирования Си. (13 сентября, PDF).
- Стандарты и роль стандартизации. Первая программа на Си. Структура программного файла. Системные библиотеки и их использование. Описание Си-машины: процессор, классы памяти (регистровые, автоматические и статические переменные). Типы данных языка Си: целые, логические, символьные, с плавающей точкой. Представление в памяти переменных целочисленных типов. (20 сентября, PDF).
- Переменные: класс памяти, область действия. Инициализация переменных. Арифметические и логические выражения. Ленивое вычисление логических выражений. Операции присваивания. (23 сентября, PDF).
- Точки следования. Форматный ввод-вывод. Приведение типов при вычислении выражений (явное и неявное). Операторы. (27 сентября, PDF).
- Операторы (окончание). Символьный тип и обработка символьных данных. Массивы. Инициализация массивов. Строки. Обработка строк. Операция sizeof. (30 сентября, PDF.)
- Указатели. Адресная арифметика. Массивы и указатели. Преобразования типа указателей. Функции. Определение и объявление функции. Передача параметров. (04 октября, PDF).
- Функции (окончание). Передача массивов в функции. Рекурсия. Хвостовая рекурсия. Встраивание функций. Указатели на функцию. (07 октября, PDF).
- Побитовая обработка данных. Абстрактный тип данных «множество» и его реализация. Структуры. Указатели на структуры. Составные инициализаторы структур. Объединения. Анонимные объединения и структуры. Битовые поля. Перечисления. (11 октября, PDF).
- Представление данных с плавающей точкой. Стандарт IEEE 754. Вычисление сумм и произведений данных с плавающей точкой. Потеря точности при сложении и вычитании. Выбор правильной последовательности вычислений. Опции компилятора gcc для вычислений с плавающей точкой. Схема компиляции программ на языке Си. Препроцессор. Директивы препроцессора. Компоновка. Классы памяти и компоновки. (14 октября, PDF).
- Динамическое выделение и освобождение памяти. VLA-массивы и их выделение в динамической памяти. Массив переменного размера в составе структуры. (18 октября, PDF).
- Организация типа данных «стек» на динамической памяти. Использование стека для построения обратной польской записи. Очередь. (25 октября, PDF).
- Списки. Добавление нового элемента в начало и в конец списка. Поиск элемента в списке. Удаление заданного элемента из списка: через возврат указателя на новый список, через передачу двойного указателя. Алгоритм топологической сортировки Вирта. (28 октября, PDF).
- Понятие о сложности алгоритмов. Поиск подстроки по образцу. Простейший алгоритм. Алгоритм Кнута – Морриса – Пратта (КМП). Префикс-функция и ее вычисление. Сложность вычисления префикс-функции и алгоритма КМП. (1 ноября, PDF).
- Простейшие алгоритмы сортировки (выбором, вставками, обменами). Оценка сложности алгоритмов сортировки. Быстрая сортировка. (8 ноября, PDF).
- Двоичные деревья и его обходы (сначала в глубину, сначала в ширину). Нерекурсивный симметричный обход двоичного дерева. «Прошитое» двоичное дерево и его обход. (11 ноября, PDF).
- Двоичные деревья поиска и операции над ними (поиск элемента, минимальный и максимальный элементы, следующий элемент, вставка и удаление элемента). Деревья Фибоначчи. Оценка высоты дерева Фибоначчи. (15 ноября, PDF).
- АВЛ-деревья. Базовые операции над АВЛ-деревьями. Балансировка АВЛ-дерева. Вставка и удаление элемента в/из АВЛ-дерева. Оценка высоты АВЛ-дерева по дереву Фибоначчи. (18 ноября, PDF).
- Красно-черные деревья, их высота и вставка в красно-черное дерево. Самоперестраивающиеся деревья (splay trees). Операция splay (перестраивание). Реализация словарных операций через операцию splay. Реализация операции splay. Сложность словарных операций в splay-деревьях. Обобщение сбалансированных деревьев поиска: ранговые деревья, понятие ранга и ранговой разницы. Ранговые правила для АВЛ-деревьев и красно-черных деревьев. (22 ноября, PDF).
- Структура данных «куча» (heap) и сортировка heapsort (пирамидальная сортировка). Сложность пирамидальной сортировки. Цифровой поиск. Задача цифрового поиска. Деревья цифрового поиска. Вставка в дерево цифрового поиска. (25 ноября, PDF).
- Хеш-таблицы. Хеширование. Хеширование цепочками. Хеширование с открытой адресацией. Сложность словарных операций для хеш-таблиц. Методы построения хеш-функций: деление с остатком, умножение, линейная/квадратичная последовательность проб, двойное хеширование. (29 ноября, PDF).
- Алгоритмы перебора множеств. Рекурсивный алгоритм генерации перестановок. Нерекурсивный алгоритм: генерация лексикографически следующей перестановки (алгоритм Нарайаны). Краткий обзор содержания курса. (6 декабря, PDF).