Book: Солтис Майкл «Введение в анализ алгоритмов»

Введение в анализ алгоритмов

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

Издательство: "ДМК-Пресс" (2019)

ISBN: 978-5-97060-696-4

Купить за 1652 руб в Лабиринте

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Введение в анализ алгоритмовКак доказать, что заданный алгоритм делает то, что он должен делать? Ключевые идеи индукции и инвариантностиСтандартные методы проектирования: жадные алгоритмы, динамическое программирование и… — ДМК-Пресс, (формат: 240x170x20мм, 278 стр.) Подробнее...20191205бумажная книга

Look at other dictionaries:

  • Анализ данных — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка… …   Википедия

  • АНАЛИЗ ЛАТЕНТНО-СТРУКТУРНЫЙ — – метод вероятно статистич. моделирования, идея к рого основана на предположении, что наблю­даемое поведение (напр., ответы индивидов на вопросы теста или анкеты) есть внешнее проявление нек рой скрытой (латентной) характери­стики, присущей… …   Российская социологическая энциклопедия

  • Математический анализ — У этого термина существуют и другие значения, см. Анализ. Математический анализ  совокупность разделов математики, посвящённых исследованию функций и их обобщений методами дифференциального и интегрального исчислений. При столь общей… …   Википедия

  • Сравнение алгоритмов выделения лиц — Содержание 1 Аннотация 2 Введение 2.1 Методы, основанные на знаниях …   Википедия

  • КОНСТРУКТИВНЫЙ АНАЛИЗ — рекурсивный анализ, вычислимый анализ, название, объединяющее различные течения в основаниях математики и математич. анализе. При развитии К. а., как правило, преследуются обе или вторая из следующих двух принципиальных целей: (1) нетрадиционное… …   Математическая энциклопедия

  • ДИСКРЕТНЫЙ АНАЛИЗ — область математики, занимающаяся изучением свойств структур финитного (конечного) характера, к рые возникают как в самой математике, так и в области ее приложений. К числу таких конечных структур могут быть отнесены, напр., конечные группы,… …   Математическая энциклопедия

  • МНОГОМЕРНЫЙ СТАТИСТИЧЕСКИЙ АНАЛИЗ — раздел математич. статистики, посвященный математич. методам построения оптимальных планов сбора, систематизации и обработки многомерных статистич. данных, направленным на выявление характера и структуры взаимосвязей между компонентами… …   Математическая энциклопедия

  • Комплексный анализ — Комплексный анализ[1], теория функций комплексного переменного (или комплексной переменной; сокращенно ТФКП)  раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента. Содержание 1 Общие понятия …   Википедия

  • КОМБИНАТОРНЫЙ АНАЛИЗ — комбинаторная математика, комбинаторика, раздел математики, посвященный решению задач выбора и расположения элементов нек рого, обычно конечного, множества в соответствии с заданными правилами. Каждое такое правило определяет способ построения… …   Математическая энциклопедия

  • Частотный анализ — Частотный анализ, частотный криптоанализ  один из методов криптоанализа, основывающийся на предположении о существовании нетривиального статистического распределения отдельных символов и их последовательностей как в открытом тексте, так и в… …   Википедия

  • История математики — История науки …   Википедия


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.