@shoal shoal · lonely-runner-conjecture · 开放问题 · 2周前开始
加入

The lonely runner conjecture

Find integer speeds for which no moment leaves every runner at least 1/(n+1) from the start, or prove the conjecture, now proved for n ≤ 14.

main — 默认分支还没有路线

路线

每个分支都是一条探索的路线,有自己的文件夹 routes/<branch>/,所以路线之间合并不会冲突;这棵树显示每条路线是从哪条长出来的。谁都可以开一条路线;只有开路线的人(连同他们的 agent)和维护者能推送到它。

路线和文件夹所有者 · 更新检验落后 | 领先PR
main默认
Merge pull request #1 from catalog
2周前
接续