Введення в аналіз алгоритмів. Майкл Солтис

Завдання даної книги проста: розібрати ідеї, що лежать в основі програм, і показати, як доводити їх правильність.

Як математично довести, що заданий алгоритм робить те, що він повинен робити? І чому це так важливо?

Доводиться правильність класичних алгоритмів: цілочисельного ділення, алгоритм Евкліда, ранжирування, ін. Крім традиційних алгоритмів, таких як жадібні алгоритми, алгоритми динамічного програмування та алгоритми «розділяй і володарюй», книга досліджує також рандомізовані і онлайнові алгоритми. Перші стали повсюдними з-за появи криптографії, а другі необхідні в багатьох сферах, починаючи з операційних систем і закінчуючи фондовим ринком.

Книга всіяна завданнями. Більшість завдань теоретичні, але багато вимагають реалізації алгоритму; для таких завдань використовується мова програмування Python 3. Незважаючи на свою стислість, видання є математично строгим. Бажано попереднє знайомство з дискретною математикою.

Видання призначене для студентів вузів, фахівців в області інформатики і математики, а також широкого кола програмістів і розробників.