construct/ae p58 happy ending
construct/ae p58 happy ending: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Erdos-Szekeres happy ending problem (lower-bound construction).
The task
Erdos-Szekeres happy ending problem (lower-bound construction).