Erdős Problem 1182: f(n) = Θ(n^{3/2} sqrt(log n)), from a matching lower bound for the minimum Ramsey number of a graph with m edges
mathematics graph-theory combinatorics ramsey-theory erdos-problems extremal-combinatorics erdos-1182 triangle-free-process probabilistic-method
-
Updated
Sep 11, 2026 - Lean