Семинар 8. Метод заметающей прямой

Задача нахождения пары пересекающихся отрезков. Тривиальное решение. Метод движущейся прямой. Состояние прямой = движущиеся точки. Хранение состояния в дереве поиска. Зависимость сравнения от времени, сохранение порядка. Схема алгоритма. Доказательство корректности, инвариант. Время работы. Случай вертикальных отрезков (кратко). Нахождение всех точек пересечения (кратко).

Пример комбинаторной динамики: количество последовательностей операций, разбивающих строку на символы.

Вероятностная динамика: вероятность уместить в рюкзаке случайно выбранное множество.

Видео для студентов заочного отделения: https://my.compscicenter.ru/courses/algorithms-1/nsk/2018-autumn/classes/4338/