RakeSearch — российский проект добровольных распределенных вычислений на платформе BOINC. Проект стартовал в октябре 2017 года. По состоянию на 6 июля 2023 года в проекте приняли участие 2225 пользователей (11549 компьютеров), обеспечивая производительность до 10 терафлопс. Участвовать в проекте может любой желающий, обладающий компьютером с выходом в Интернет, установив на него программу BOINC Manager. Основной научной целью проекта является исследование свойств диагональных латинских квадратов (ДЛК) и решение связанных с ними комбинаторных задач.
История проекта
Проект стартовал в октябре 2017 года, используя в качестве расчетного модуля программу для поиска пар строчно-перестановочных ортогональных диагональных латинских квадратов (ОДЛК) порядка 9. Расчет был завершен в июле 2019 года, его итогом стал исчерпывающий список пар ОДЛК указанного типа и образуемое ими множество комбинаторных структур. Отличительной особенностью данного поиска является то, что при подобном подходе находятся не все возможные ОДЛК, а только их частный вид (подмножество расширенных самоотрогональных латинских квадратов, сокр. ESOLS), но при этом не требуется использование трансверсалей и алгоритма DLX, что позволяет сократить вычислительные затраты на несколько порядков.
В сентябре 2020 года в проекте был запущен эксперимент, связанный с построением исчерпывающего списка канонических форм ОДЛК порядка 9. В рамках разработанного расчетного модуля производилось построение классов эквивалентности X-образных диагональных заполнений (т.н. линеек), далее в каждом из них производился поиск сильно нормализованных канонических форм ДЛК, каждая из которых входит в точности в один из главных классов ДЛК, а уже для них производилась проверка на наличие ортогональных ДЛК с использованием трансверсалей и алгоритма DLX. Расчет выполнялся совместно с проектом Gerasim@Home и был завершен в декабре 2020 года. Указанный подход позволил сократить вычислительные затраты приблизительно на три порядка по сравнению с проверкой всех нормализованных ДЛК и осуществить требуемые расчеты за разумное время.
В настоящее время в проекте производятся расчеты, связанные с построением спектров числовых характеристик ДЛКVatutin E., Belyshev A., Nikitina N., Manzuk M. et al. Diagonalization and Canonization of Latin Squares // Lecture Notes in Computer Science. Vol. 14389. Springer, Cham., 2023. pp. 48–61. DOI: 10.1007/978-3-031-49435-2_4..
Научные достижения получен исчерпывающий список канонических форм ОДЛК порядка 9 (, член a(9)) и соответствующий ему список комбинаторных структур. получено множество наиболее сильных из известных на данный момент нижних и верхних ограничений на максимальные и минимальные значения числовых характеристик ДЛК и ОДЛК (например, ) и соответствующих им спектров (например, ).
Примечания
Ссылки Официальный сайт проекта
Обсуждение проекта в форумах: boinc.ru
См. также BOINC Добровольные вычисления Комбинаторная оптимизация Латинский квадрат Греко-латинский квадрат OEIS
Категория:Проекты добровольных вычислений Категория:Комбинаторная оптимизация Категория:Латинские квадраты