Conceptual
Login

Constructing Large 3-Free Sets: Methods and Empirical Bounds

Survey of how large a subset of {1,...,n} can be while avoiding 3-term arithmetic progressions: exact small-n values via intelligent backtracking, upper bounds from Roth-type theorems and linear programming, and lower-bound constructions (base-3, base-5, Kruskal-DeMillo, block, and Behrend sphere methods), with empirical comparisons of when asymptotically better methods actually win and applications to queens domination, matrix multiplication, and communication complexity.