← All problems

MATHEMATICS

Hadwiger-Nelson 509-to-508 search

The problem

Find or exclude a unit-distance graph requiring five colors on at most 508 vertices