Bài toán mở, Tổ hợp và Toán rời rạc, Hình học, nêu năm 1950
Bài toán Hadwiger–Nelson
Còn mở
Xác định sắc số của mặt phẳng Euclid — tức là số màu tối thiểu cần dùng để tô mọi điểm của sao cho không có hai điểm nào có khoảng cách Euclid được tô cùng một màu.
Tính đến năm 2026, sắc số của mặt phẳng thỏa mãn . Cận dưới được thiết lập bởi Aubrey de Grey (2018) và độc lập bởi Exoo cùng Ismailescu (2020), với đồ thị khoảng cách đơn vị sắc số nhỏ nhất hiện biết có đỉnh (Parts, 2020). Với các phép tô màu đo được, các công trình của Falconer và Bachoc–Passuello–Thiery đã khảo sát cận và , trong khi câu hỏi liệu có tồn tại đồ thị khoảng cách đơn vị hữu hạn sắc số trong hay không vẫn còn mở.
Kết quả tốt nhất đã biết
- Sắc số của mặt phẳng ít nhất bằng : (Aubrey de Grey, 2018).
- Đồ thị khoảng cách đơn vị sắc số nhỏ nhất đã biết trong có đỉnh (Jaan Parts, 2020, kế thừa đồ thị đỉnh của Heule).
Công cụ và chỗ dừng
| Công cụ | Đạt được | Chỗ dừng |
|---|---|---|
| Mạng khoảng cách đơn vị đại số và các bộ giải SAT | Nhúng các đồ thị con dày đặc của chứa nhiều con suốt Moser và kiểm chứng bằng bộ giải SAT rằng mọi cách tô màu đều bị chặn, chứng minh . | Với các phép tô màu, các đồ thị khoảng cách đơn vị trong có bậc trung bình cực đại quá nhỏ để ngăn cản tính tô được bằng màu nếu không dùng tập đỉnh lớn hơn ở mức thiên văn. |
| Giải tích điều hòa và quy hoạch nửa xác định cho tô màu đo được | Chặn mật độ cực đại của các tập độc lập đo được trong bằng hàm Bessel, chứng minh . | Không thể loại trừ các phép tô màu hoặc màu không đo được được xây dựng thông qua tiên đề chọn. |
Câu hỏi còn mở
- Sắc số của mặt phẳng Euclid bằng , hay ?
- Liệu giá trị của có phụ thuộc vào tiên đề chọn hoặc các tiên đề mở rộng của ZFC hay không?
Tài liệu tham khảo
- Aubrey D. N. J. de Grey (2018). The chromatic number of the plane is at least 5 · arXiv:1804.02385
- Alexander Soifer (2009). The Mathematical Coloring Book · DOI:10.1007/978-0-387-74642-5