An in-tournament is a loopless digraph without multiple arcs and cycles of length 2 such that the negative neighborhood of every vertex induces a tournament. This paper tackles the problem of vertex k-pancyclicity in strong in-tournaments of order n, i.e., every vertex belongs to a cycle of length l for every k 6 l 6 n. In 2001, Tewes and Volkmann (J. Graph Theory 36 (2001) 84) gave sharp lower bounds for the minimum degree such that a strong in-tournament is vertex k-pancyclic for k 6 5 and k ¿ n − 3. In accordance with a family of examples (see J. Graph Theory 36 (2001) 84) and their results, they conjectured that every strong in-tournament of order n with minimum degree greater than 9(n−k−1) 5+6k+(−1) k 2 −k+2 + 1 is vertex k-pancylic. The main result of this paper is the conÿrmation of this conjecture for the case k = 6 (except for the values n = 14; 15; 16).
Terminology and introductionThroughout this paper we will consider ÿnite digraphs without loops and multiple arcs. As usual for a digraph D its vertex set is denoted by V (D) and the arc set by E(D). For two distinct vertices u; v ∈ V (D), the notation u → v is used to indicate that there is an arc from u to v. We also write uv ∈ E(D) and say that u and v are adjacent, where u is called a negative neighbor of v and v is called a positive neighbor of u. Moreover, let D1 and D2 be two disjoint subdigraphs of D. If there is an arc from every vertex in D1 to every vertex in D2, then we say that D1 dominates D2, indicated by D1 → D2. In the case D1 = {z} (D2 = {ẑ}), we also use the short form z → D2 (D1 →ẑ).For an arbitrary vertex z ∈ V (D), we deÿne the positive neighborhood of z, N + (z) = N + (z; D), as the set of all positive neighbors of z in D. Analogously, N − (z) = N − (z; D) consists of all negative neighbors of z in D and is referred to as the negative neighborhood of z. Then we deÿne the indegree of z by d − (z) = d − (z; D) = |N − (z)| and accordingly the outdegree of z by d + (z) = d + (z; D) = |N + (z)|. More general, N + (X ) = N + (X; D) = z∈X N + (z) and N − (X ) = N − (X; D) = z∈X N − (z) for a subset X of V (D). For a subdigraph S of D, the positive and negative neighborhood of z with respect to S, N + (z; S) and N − (z; S), are given by N + (z) ∩ V (S) and N − (z) ∩ V (S), respectively. Analogously, we deÿne d + (z; S), d − (z; S), N + (X; S) and N − (X; S). Furthermore, d + (X; S) = |N + (X; S)| and d − (X; S) = |N − (X; S)|. Moreover, D[X ] denotes the subdigraph that is induced by the subset X of V (D). The minimum degree (D) of D is deÿned by (D) = min{ − (D); + (D)}, where − (D) = min z∈V (D) d − (z) and + (D) = min z∈V (D) d + (z).Whenever we refer to cycles and paths, we mean by this oriented cycles and oriented paths. A cycle C of length k is also called a k-cycle. We say that a digraph D is strongly connected or just strong, if for every pair of distinct vertices (u; v), u; v ∈ V (D), there is a path from u to v. A digraph D is connected, if the underlying graph is connected. We only consider connected digraphs in this paper.