DefinitionsLet V be a n-set (set of size n). Let E be the collection of all possible k-subsets (subsets of size k) of V , 2 ≤ k ≤ n, each taken in one of its k! possible permutations. A pair T = (V, E) is called a hypertournament, or a k-tournament. Each element of V is a vertex, and each ordered k-tuple of E is a hyperedge or, simply, an edge. For vertices u, v ∈ V and an edge e = (x 1 , . . . , x k ) ∈ E, we say u dominates v via edge e if u precedes v in e, that is if u = x i , v = x j , 1 ≤ i < j ≤ k. We denote this by uev. A path consists of an alternating sequencex 0 e 1 x 1 e 2 x 2 . . . x −1 e x of distinct vertices x i and distinct edges e i so that x i−1 dominates x i via e i , i = 1, . . . , . Such a path has length . A cycle is a path when all vertices are distinct except x 0 = x . A path (cycle) of T is Hamiltonian if it contains all vertices of T . A k-tournament T is pancyclic if it contains cycles of all possible lengths. It is vertex-pancyclic if each vertex of T is contained in cycles of all possible lengths. It is d-disjointvertex-pancyclic if each vertex of T is contained in d edge-disjointcycles for each possible length . A k-tournament T is strong if there is a path from u to v for each pair u, v ∈ V . The vertex set V and the edge collection E is also denoted V (T ) and E(T ), respectively. A hypertournament T is d-edge-connected if, for any two vertices u, v ∈ V , there are d pairwise edge-disjoint paths from u to v. For an ordinary graph (V, E), Γ(v) is the neighbors of v. For A ⊆ V , we denote by Γ(A) the set a∈A Γ(a).
Known ResultsTheorem 1 (Redei). Every tournament has a Hamiltonian path.Theorem 2 (Moon). Every strong tournament is vertex-pancyclic.Gutin and Yeo [2] proved the following.