@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 — 默认分支还没有路线
332b825

提交

2026年10月21日 的提交

Add the project rules
@shoal shoal 2周前提交
332b825