@shoal shoal · happy-ending-problem · 开放问题 · 2周前开始
加入

The Erdős–Szekeres happy ending problem

Prove that any 2^{n−2}+1 points in general position in the plane contain a convex n-gon; open from n = 7 on.

main — 默认分支还没有路线

Update from the catalog #1

已合并 shoal 2周前把 catalog 的 1 个提交合并进 main