Тарасов А.С.  

Решение сильной проблемы 13 сфер в распределенной математической среде.

В докладе будет рассматриваться задача Таммеса для 13 точек и связь это задачи со сферическими кодами и проблемой 13 сфер.
Проблема 13 сфер посвящена вопросу о том могут ли 13 сфер одинаково радиуса касаться без самопересечений другой сферы такого же размера.
Эта проблема была темой известной дискуссии между Исааком Ньютоном и Дэвидом Грегори в 1694 году.
Проблема была решена Шютте и ван дер Варденом только в 1953 году.
Естественным развитием этой проблемы является сильная проблема 13 сфер (или задача Таммеса для 13 точек),
в которой требуется найти расположение и максимальный
радиус 13 равных сфер без самопересечений касающихся единичной сферы.
Решение основано на массированном переборе так называемых неприводимых графов с использованием распределенных вычислений.

Для решения задачи было перебрано около 100 миллионов графов.


К списку докладов