Аннотация к книге: Введение в анализ алгоритмов

Задача данной книги проста: разобрать «идеи», лежащие в основе программ, и показать, как доказывать их правильность.
Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно?
Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы динамического программирования и алгоритмы «разделяй и властвуй», книга исследует также рандомизированные и онлайновые алгоритмы. Первые стали повсеместными из-за появления криптографии, а вторые необходимы во многих областях, начиная с операционных систем и заканчивая фондовым рынком.
Книга усеяна задачами. Большинство задач теоретические, но многие требуют реализации алгоритма; для таких задач используется язык программирования Python 3. Несмотря на свою краткость, издание является математически строгим. Желательно предварительное знакомство с дискретной математикой.
Издание предназначено для студентов вузов, специалистов в области информатики и математики, а также широкого круга программистов и разработчиков.

Автор/составитель	Солтис Майкл
Год выпуска	2019
ISBN	978-5-97060-696-4
Производитель	ДМК-Пресс
Издательство	ДМК-Пресс
Количество томов	1
Количество страниц	278
Переплет	Твёрдый переплёт
Размеры	240x170x20 мм
Цвет	Белый
Тип бумаги	офсетная (60-220 г/м2)
Формат	70x100/16 (170x240 мм)
Стандарт	12
Вес	588
Язык	русский