Notes on the 33-point Erdős--Szekeres Problem
Analysis
Key Takeaways
- •Applies SAT encoding to the 33-point Erdős--Szekeres problem.
- •Uses triple-orientation variables and a 4-set convexity criterion.
- •Reports UNSAT certificates for anchored subfamilies.
- •Highlights runtime variability and heavy-tailed behavior, indicating computational challenges.
“The framework yields UNSAT certificates for a collection of anchored subfamilies. We also report pronounced runtime variability across configurations, including heavy-tailed behavior that currently dominates the computational effort and motivates further encoding refinements.”