O Pikhurko, ZB Yilma - Journal of Combinatorial Theory, Series B, 2017 - core.ac.uk
The Turán function ex (n, F) of a graph F is the maximum number of edges in an F-free graph
with n vertices. In 1907, Mantel [15] proved that ex (n, K3)=⌊ n2/4⌋, where Kr denotes the …