Семинар 8. Метод заметающей прямой (Алгоритмы и структуры данных, часть 1)

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

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

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

Семинар №8 в курсе "Алгоритмы и структуры данных, часть 1", осень 2018 (Новосибирск)
Преподаватели курса: Александр Александрович Стененко, Степан Юрьевич Гатилов