Каждый программист хотя бы раз в жизни использовал регулярные выражения (RegEx) для валидации email-адреса, проверки формата номера телефона или массовой замены строк в редакторе кода. Однако мало кто задумывается, что за этими загадочными строками из скобок и звездочек скрывается глубокая алгебраическая теория формальных языков и конечных автоматов, разработанная американским математиком Стивеном Клини.

Когда вы открываете навигатор на смартфоне и просите проложить маршрут от дома до работы в обход пробок, в недрах приложения запускаются алгоритмы дискретной математики по поиску кратчайших путей на взвешенных графах. В отличие от простого поиска в ширину (BFS), который эффективен только для сетей с одинаковой длиной ребер, реальный мир требует работы с графами, где каждое ребро имеет свой "вес" — время, километраж или стоимость проезда.

В 2000 году Математический институт Клэя опубликовал список из семи "Задач тысячелетия", предложив за решение каждой из них награду в один миллион долларов. Одной из них является вопрос, который не дает покоя программистам, криптографам и математикам по всему миру: равны ли классы P и NP (P = NP)? Ответ на этот вопрос в дискретной математике может либо навсегда изменить наш мир, либо подтвердить, что наши текущие ограничения непреодолимы.