Солтис М.
Введение в анализ алгоритмов
0 out of 5
(0)
Задача данной книги проста: разобрать «идеи», лежащие в основе программ, и показать, как доказывать их правильность.Как математически доказать, что заданный алгоритм делает то, что он должен делать? И почему это так важно?Доказывается правильность классических алгоритмов: целочисленного деления, алгоритм Евклида, ранжирования, др. Помимо традиционных алгоритмов, таких как жадные алгоритмы, алгоритмы динамического...