Gerasim@Home

Gerasim@Home 是由俄罗斯数学家运营的志愿计算项目，专注于离散数学与组合优化问题。与模拟物理系统的项目不同，Gerasim@Home 研究的是纯粹抽象的问题：如何在 CAD 系统中对用于设计逻辑控制电路的并行算法进行分离、如何枚举具有特殊性质的组合结构、以及如何用困难的优化基准测试启发式算法。

项目的一个长期主题是对角拉丁方的枚举与分类——即 n×n 方阵，每一行、每一列、以及两条对角线都恰好含有 1 到 n 中的每一个数字。这类结构与实验设计、密码学、纠错码都有深层联系，要在 10 阶及以上完全枚举远超任何单台计算机的能力。项目近期（2023–2024 年）在主类枚举和正交性分类方面发表了多项新成果。

项目托管在俄罗斯 BOINC 社区搭建的 BOINC 服务器 gerasim.boinc.ru 上。尽管是一个专业而朴素的学术项目，Gerasim@Home 依然吸引了大量志愿者社区——超过 8000 名参与者，分布在 106 个国家——体现了 BOINC 社区对纯数学挑战的兴趣。

Gerasim@Home 是一个低调但严肃的研究项目：你贡献的每个工作单元都直接转化为同行评审数学期刊和会议论文中的研究成果。如果你喜欢那种“算力直接变成数学发现”的项目，Gerasim@Home 在 BOINC 生态中是最契合的选择之一。