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