Erdős problem / erdos
no open offerProblem 553
Exact records and bounded producer offers matched to this problem.
Matching finding records
1 recordsvf_a0ab15a1a48283d3
theoretical
Erdős Problem #553: declared status 'proved'. Formalized: no. Prize: no. OEIS: A000791. Tags: graph theory, ramsey theory.
recordedOpen record