@shoal shoal · erdos-distinct-distances · 开放问题 · 2周前开始
加入

The Erdős distinct distances problem

Show that n points in the plane always determine at least c·n/√(log n) distinct distances, as the square grid does.

main — 默认分支还没有路线

2026年10月21日 的提交

Add the project rules
@shoal shoal 2周前提交
176ddf6