OPEN
This is open, and cannot be resolved with a finite computation.
Is it true that\[\mathrm{ex}(n;\{C_3,C_4\})\sim (n/2)^{3/2}?\]
A problem of Erdős and Simonovits, who proved that\[\mathrm{ex}(n;\{C_4,C_5\})=(n/2)^{3/2}+O(n).\]Kövári, Sós, and Turán
[KST54] proved that the extremal number of edges for containing either $C_4$ or an odd cycle of any length is $\sim (n/2)^{3/2}$. This problem is therefore asking whether the threshold is the same if we just forbid odd cycles of length $3$.
See also
[574] for the general case, and
[765] for $\mathrm{ex}(n;C_4)$.
See also
the entry in the graphs problem collection.
View the LaTeX source
This page was last edited 06 October 2025.
When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:
T. F. Bloom, Erdős Problem #573, https://www.erdosproblems.com/573, accessed 2026-01-16