Maximum Size of C≤ k-Free Strong Digraphs with Out-Degree at Least Two
Bin Chen,Xinmin Hou
DOI: https://doi.org/10.2139/ssrn.4341921
2023-01-01
SSRN Electronic Journal
Abstract:Let H be a family of digraphs. A digraph D is H -free if it contains noisomorphic copy of any member of H . For k ≥ 2, we set C≤k = {C2, C3, . . . , Ck}, where C` is a directed cycle of length ` ∈ {2, 3, . . . , k}. Let Dkn(ξ, ζ) denote the family of C≤k-free strong digraphs on n vertices with every vertex having out-degree at least ξ and in-degree at least ζ,where both ξ and ζ are positive integers. Let φk n(ξ, ζ) = max{|A(D)| : D ∈ Dk n(ξ, ζ)} and Φk n(ξ, ζ) = {D ∈ Dk n(ξ, ζ) : |A(D)| = φk n(ξ, ζ)}. Bermond et al. (1980) verified that φk n(1, 1) = (n−k+2 2) + k − 2. Chen and Chang (2021) showed that (n−12) − 2 ≤ φ3 n(2, 1) ≤ (n−1 2). This upper bound was further improved to (n−1 2) − 1 by Chen and Chang (DAM, 2022), furthermore, they also gave the exact values of φ3n(2, 1) for n ∈ {7, 8, 9}. In this paper, we continue to determine the exact values of φ3 n(2, 1) for n ≥ 10, i.e., φ3 n(2, 1) = (n−12) − 2 for n ≥ 10.