17 июня, 2016 
adminGWP Трoe учeныx, Мaрeйн нaзнaчeния (Мaрeйн Xeлe) из Тexaсскoгo унивeрситeтa, Oливeр Кeллмaн (Oливeр Кульмaн) в унивeрситeтe Суoнси и Виктoр Мaрeк (Виктoр Мaрeк) из Унивeрситeтa Кeнтукки, зaгружaются в супeркoмпьютeр с цeлью нaйти дoкaзaтeльствa одной из известных математических проблем. Для поиска доказательств того, что суперкомпьютер был обязан «разжевывать» более триллиона комбинаций цветов и в результате вычислений суперкомпьютера производится в белом свете объемные математическое доказательство сегодня объем данных, который находится в 200 терабайт.
Решена суперкомпьютер проблему называют проблемой логического Пифагоровых троек (проблема Пифагоровых троек логическое), автор этой проблемы, которая появилась на свет в 1980-х годах, ученый-математик Рональд Грэм университета Калифорнии, Сан-Диего. Проблема в том, чтобы найти количество натуральных чисел, троек чисел A, B и C, которые удовлетворяют теореме Пифагора а^2 + Б^2 = с^2. В этом случае, если условно нарисовать цифры в цветах, красный и синий цвет, например, что все числа являются Пифагоровыми тройками не должны быть окрашены в один цвет. В качестве примера рассмотрим Пифагора трехместный 3, 4 и 5, Если 3 и 5 синих, 4 должны быть красного цвета. Таким образом, весь процесс деления чисел, на цвет, должны проводиться с использованием Булевых (логических переменных).
Неискушенный в математике, как и человек, такая задача может показаться абсолютным бредом. Однако, эта проблема имеет непосредственное отношение к теории, теории математики, в котором изучаются условия, при которых генерируется случайным образом строки или другие математические объекты объективно Рэмси. Все проблемы в теории Рамсея может быть уменьшена по желанию ответ на вопрос: «сколько случайных чисел или элементов должно содержать объект Вы приобрели гарантированных хорошо организованную структуру».
Кроме того, количество способов деления чисел цвета при решении задачи в Пифагоровы тройки-это 10^2300. Однако такие объемные расчеты не могут себе позволить все существующие суперкомпьютеры. Таким образом, исследователи использовали методы, которые позволили оптимизировать процесс поиска решений и уменьшить количество «перетереть» на одной из триллионов триллионов составляет 102300. Даже при условии, что такое сокращение 800 ядер на давке суперкомпьютер из Техасского университета в Остине работают над задачей в течение двух дней. Результат преобразования кристаллов микропроцессоров для нагрева больших объемов электроэнергии на свете Размер файла в 200 терабайт данных, которые указывают на то, что количество чисел от 1 до 7 824 могут быть окрашены в цвета несколько путей, удовлетворяющих описанным выше условиям. Но, если это количество увеличивается на одно значение, задача раскраски не имеет решения.
В самом деле, 200-терабайтный файл результаты вычислений само по себе явление неординарное. В сжатый (сжатом) виде, Размер 68 ГБ. Чтобы развернуть этот архив и перепроверка результатов расчетов нам понадобится около 30 тысяч моточасов обычного однопроцессорного компьютера. И, конечно, что выполнить такую проверку вручную не возможно, это не достаточно, для этого продолжительность жизни каждого человека.
Проблема логического Пифагоровы тройки-это одна из математических задач и задачи из комбинаторной логики, которая, из-за их объема, могут быть решены только с помощью суперкомпьютеров. В связи с тем, что в последнее время имеет очень мощную вычислительную систему, некоторые похожие проблемы уже были решены с их помощью. И предыдущий обладатель рекорда по сумме результат вычисления математического доказательства, проблема несоответствия Эрдеша, проблема, проведенных в 2014 году, объем которого был равен 13 гигабайт.
Опубликовано в рубрике