Группа американских исследователей – сотрудников Техасского университета, университетов Суонси и Кентукки – решили самую известную на сегодняшний день математическую проблему, используя для этого вычислительные мощности суперкомпьютера. Для решения этой проблемы компьютер должен был перебрать почти триллион различных цветовых комбинаций. Объем решения математической задачи составил 200 терабайт.
Математическая проблема, решить которую ученые заставили сверхмощный компьютер, известна под названием «проблема булевых пифагоровых точек». Такую теорему еще в восьмидесятых годах прошлого века создал американский ученый Рональд Грэм. Ее суть заключается в том, чтобы найти ряд троек чисел, которые будут удовлетворять теореме Пифагора. Чтобы облегчить понимание смысла этой теоремы, ученые условно окрашивают числа в разные цвета. Например, если числа три и пять из пифагоровой тройки одинаково окрашены, то число четыре должно иметь отличный от них цвет. По словам исследователей, еще одним обязательным условием такой теоремы является система окрашивания чисел, которая должна отвечать требованиям логических переменных.
Согласно этой же теореме, количество ее решений соответствует числу 10 в 2300 степени. Ни один компьютер в мире пока что не был способен обработать такое количество информации. Для этого ученые сузили количество решений до одного триллиона. Над окончательным решением техасский сверхмощный компьютер, который имеет 800 ядер, работал в течение двух дней без остановки. Американские ученые также сообщили, что полученный файл общим объемом в двести терабайт содержит в себе информацию о том, что числа от 1 до 7824 можно раскрасить всего лишь парой способов. Примечательно также и то, что если этот ряд увеличится всего лишь на одно число, то раскрасить их будет просто невозможно.
По словам ученых, в сжатом состоянии результат решения данной математической проблемы имеет объем всего лишь 68 гигабайт, но на открытие такого архива требуется почти тридцать часов работы обычного компьютера, и в десятки раз больше для повторного пересчета. Решение такого объема стало рекордным в мире, так как предыдущее наибольшее математическое решение не превышало 13 гигабайт.
