Erdős problem / erdos
no open offerProblem 1014
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_bdb051dc1bee70b3
theoretical
Erdős Problem #1014: declared status 'proved'. Formalized: no. Let be the Ramsey number, so the minimal such that every graph on at least vertices contains either a or an independent set on vertices. Prove, for fixed , that Prize: no. Tags: graph theory.
recordedOpen record