Рекордный решатель задачи о покрытии простых чисел: 282 часа превратились в 22 минуты

Разработчик посмотрел видео на канале Numberphile и решил: «А почему бы не переплюнуть рекорд?». Итог — его алгоритм нашёл точное решение задачи о минимальном покрытии простых точек на плоскости, сократив время с 282 часов до 22 минут. Это как если бы вы собирали IKEA-шкаф по инструкции на японском, а потом нашли видео с русскими субтитрами.

Задача, кстати, звучит как головоломка для программистов-мазохистов: дано множество точек с простыми координатами, нужно провести минимальное число прямых, чтобы каждая точка лежала хотя бы на одной. Предыдущий рекорд держался 282 часа — примерно столько же времени уходит у среднего разработчика на дебаг legacy-кода перед релизом.

Новый алгоритм не только ускорил процесс, но и доказал существование 20 ранее неизвестных «неудобных» простых чисел. Маркетологи уже наверняка придумывают, как назвать это обновление: «Prime Line Cover 2.0 — теперь с лёгким оттенком бессонницы».

Разработчикам на заметку: иногда вдохновение приходит из самых неожиданных источников. Главное — не пересматривать Numberphile вместо написания кода, а то CI опять упадёт.

Комментарий METABYTE: Мы тоже любим оптимизировать процессы — правда, обычно не до степени доказательства новых простых чисел. Но если вам нужно ускорить ваш код или найти нестандартное решение, мы готовы помочь. Без 20 новых простых чисел, но с гарантией. ;)