Если вы поцарапаете компакт-диск (CD/DVD), покроете QR-код пятнами грязи на 30% или отправите фотографию с космического зонда Вояджер-2 сквозь миллионы километров солнечной радиации, данные будут прочитаны абсолютно корректно и без единой ошибки. Эту цифровую магию восстановления безвозвратно утраченных байтов обеспечивает математический аппарат, разработанный Ирвингом Ридом и Густавом Соломоном в 1960 году — мощнейшие недвоичные циклические коды.

Задача поиска подстроки (паттерна) в большом тексте имеет множество решений. В то время как алгоритм Кнута-Морриса-Пратта (КМП) строит сложный префиксный автомат, Майкл Рабин и Ричард Карп в 1987 году подошли к проблеме с совершенно другой, алгебраической стороны. Они применили технику хеширования, создав изящный алгоритм, который до сих пор является стандартом для поиска плагиата в системах вроде Антиплагиат.

Когда процессорный инженер проектирует цифровой сумматор или мультиплексор, он начинает с составления таблицы истинности. Эту таблицу легко перевести в Совершенную Дизъюнктивную Нормальную Форму (СДНФ) — длинное логическое выражение, состоящее из суммы произведений. Однако напрямую переносить СДНФ в кремний — значит тратить тысячи лишних транзисторов и сильно замедлять работу чипа. Для математически точной минимизации булевых функций используется алгоритмический метод Куайна-Маккласки.