Structure theorem for U5-free tournaments
Let U5 be the tournament with vertices v1, ..., v5 such that v2→v1, and vi→vj if j−i≡1, 2(mod5) and i,j=1,2. In this paper we describe the tournaments which do not have U5 as a subtournament. Specifically, we show that if a tournament G is "prime"---that is, if there is no subset X⊆V(G), 1<∣X∣<∣V(G)∣, such that for all v∈V(G)\X, either v→x for all x∈X or x→v for all x∈X---then G is U5-free if and only if either G is a specific tournament Tn or V(G) can be partitioned into sets X, Y, Z such that X∪Y, Y∪Z, and Z∪X are transitive. From the prime U5-free tournaments we can construct all the U5-free tournaments. We use the theorem to show that every U5-free tournament with n vertices has a transitive subtournament with at least nlog32 vertices, and that this bound is tight.