Computer-aided analysis of monotonic sequence games
Frank Harary, Bruce E. Sagan, D. R. F. West · Messanae Universitas Studiorum (University of Messina) · 1983
We propose a game based on a theorem of Erdos and Szekeres about monotonic sequences. The outcomes of small-sized games are generated by computer and then proved mathematically. The efficiency of the algorithm used is also discussed.