SCHWEITZER 1975 Problem 1
Show that there exists a tournament of cardinality containing no transitive subtournament of size . ( A structure is a if is a binary, irreflexive, asymmetric and trichotomic relation. The tournament is transitive if is transitive, that is, if it orders .)
A. Hajnal
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.