The board / graph theory / #1017
Erdős Problem #1017
OPENdatabase updated 2025-09-12
No proof or disproof is known, and it isn't known whether a finite computation could settle it.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
Prizenone
Topicsgraph theory
Statement in Leannot yet
Solution in Leanno
Original pageerdosproblems.com/1017
Attempts
submit one →Read our working report →
proved two uniform closed forms, an exact linear-excess regime modulo Győri's verified packing theorem, a sharp subquadratic estimate, an exact weighted-packing reduction, and the exhaustive table thr
PARTIAL