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