Книга: Солтис Майкл «Введение в анализ алгоритмов»
|
Как доказать, что заданный алгоритм делает то, что он должен делать? Ключевые идеи индукции и инвариантности Стандартные методы проектирования: жадные алгоритмы, динамическое программирование и парадигма "разделяй и властвуй" Математическая основа алгоритмов Расширенные алгоритмы Задания с предельными сроками Онлайновые алгоритмы Шифрование с публичным ключом Решение оптимизационных задачЗадача данной книги проста: разобрать" идеи", лежащие в основе программ, и показать, как доказывать их правильность. Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно?Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы динамического программирования и алгоритмы" разделяй и властвуй", книга исследует также рандомизированные и онлайновые алгоритмы. Первые стали повсеместными из-за появления криптографии, а вторые необходимы во многих областях, начиная с операционных систем и заканчивая фондовым рынком. Книга усеяна задачами. Большинство задач теоретические, но многие требуют реализации алгоритма; для таких задач используется язык программирования Python 3. Несмотряна свою краткость, издание является математически строгим. Желательно предварительное знакомство с дискретной математикой. Издание предназначено для студентов вузов, специалистов в области информатики и математики, а также широкого круга программистов и разработчиков. Издательство: "ДМК-Пресс" (2019)
ISBN: 978-5-97060-696-4 Купить за 1652 руб в Лабиринте |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Введение в анализ алгоритмов | Как доказать, что заданный алгоритм делает то, что он должен делать? Ключевые идеи индукции и… — ДМК-Пресс, (формат: 240x170x20мм, 278 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Анализ данных — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка… … Википедия
АНАЛИЗ ЛАТЕНТНО-СТРУКТУРНЫЙ — – метод вероятно статистич. моделирования, идея к рого основана на предположении, что наблюдаемое поведение (напр., ответы индивидов на вопросы теста или анкеты) есть внешнее проявление нек рой скрытой (латентной) характеристики, присущей… … Российская социологическая энциклопедия
Математический анализ — У этого термина существуют и другие значения, см. Анализ. Математический анализ совокупность разделов математики, посвящённых исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей… … Википедия
Сравнение алгоритмов выделения лиц — Содержание 1 Аннотация 2 Введение 2.1 Методы, основанные на знаниях … Википедия
КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… … Математическая энциклопедия
ДИСКРЕТНЫЙ АНАЛИЗ — область математики, занимающаяся изучением свойств структур финитного (конечного) характера, к рые возникают как в самой математике, так и в области ее приложений. К числу таких конечных структур могут быть отнесены, напр., конечные группы,… … Математическая энциклопедия
