Как доказать, что заданный алгоритм делает то, что он должен делать?
Ключевые идеи индукции и инвариантности
Стандартные методы проектирования: жадные алгоритмы, динамическое программирование и парадигма "разделяй и властвуй"
Математическая основа алгоритмов
Расширенные алгоритмы
Задания с предельными сроками
Онлайновые алгоритмы
Шифрование с публичным ключом
Решение оптимизационных задач
Задача данной книги проста: разобрать "идеи", лежащие в основе программ, и показать, как доказывать их правильность.
Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно?
Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы динамического программирования и алгоритмы "разделяй и властвуй", книга исследует также рандомизированные и онлайновые алгоритмы. Первые стали повсеместными...
Автор: Солтис Майкл
Переводчик: Логунов Андрей Викторович
Редактор: Мовчан Д. А.
Издательство: ДМК-Пресс, 2019 г.
ISBN: 978-5-97060-696-4
Страниц: 278 (Офсет)
Масса: 588 г
Размеры: 240x170x20 мм