Bài toán mở, Tổ hợp và Toán rời rạc, nêu năm 1967
Giả thuyết cây duyên dáng
Mọi cây hữu hạn có cạnh đều có một phép gán nhãn duyên dáng: một đơn ánh sao cho các trọng số cạnh cảm sinh với đôi một phân biệt và do đó phủ đúng tập .
Tính đến năm 2026, giả thuyết cây duyên dáng vẫn còn mở trong trường hợp tổng quát. Giả thuyết đã được kiểm chứng cho mọi cây có đỉnh và được chứng minh cho các họ có cấu trúc như đường đi, cây sâu róm, cây đối xứng, cây ô liu, cây nhện và các cây có đường kính không quá . Với các cây lớn tùy ý, phương pháp xác suất và kỹ thuật hấp thụ đã chứng minh được các nới lỏng tiệm cận — chỉ ra rằng một cây cạnh có thể gán nhãn duyên dáng bằng các nhãn trong hoặc nhúng thành cây cầu vồng trong — nhưng việc triệt tiêu độ dư trong miền nhãn vẫn vượt ngoài khả năng của các kỹ thuật hiện nay.
Kết quả tốt nhất đã biết
- Mọi cây có đỉnh đều duyên dáng, được xác nhận bằng tìm kiếm máy tính vét cạn (Aldred–McKay 1998 cho ; Fang 2010 cho ).
- Các đường đi, cây sâu róm, cây có tối đa lá, cây có đường kính tối đa , cây ô liu và cây đối xứng đã được chứng minh là duyên dáng với mọi kích thước.
- Giả thuyết phân rã Ringel đúng cho mọi cây đủ lớn có cạnh (Montgomery, Pokrovskiy và Sudakov, 2020/2021), và các cây bậc bị chặn có phép gán nhãn duyên dáng tiệm cận vào tập .
Công cụ và chỗ dừng
| Công cụ | Đạt được | Chỗ dừng |
|---|---|---|
| Phép -định giá quy nạp và ghép nối cây | Xây dựng tường minh các phép gán nhãn duyên dáng cho cây sâu róm, cây tôm hùm dạng hạn chế, cây ô liu và cây có đường kính không quá bằng cách dịch chuyển và dán các miền nhãn hai phía. | Không phải mọi cây đều có -định giá (chẳng hạn một số cây có đỉnh bậc ), và sự phân nhánh bất quy tắc phá vỡ cấu trúc khoảng liên tiếp cần thiết để dán quy nạp. |
| Đồ thị con cầu vồng và kỹ thuật hấp thụ phân phối (Montgomery–Pokrovskiy–Sudakov) | Nhúng mọi cây cạnh đủ lớn thành một đồ thị con cầu vồng của dưới phép tô màu theo khoảng cách vòng quanh, giải quyết hoàn toàn giả thuyết Ringel cho lớn. | Khoảng cách vòng quanh trong cuộn lại theo modulo , trong khi phép gán nhãn duyên dáng đòi hỏi hiệu tuyệt đối chính xác trên không được cuộn modulo. |
Câu hỏi còn mở
- Mọi cây tôm hùm (cây mà sau khi xóa các lá và các đỉnh kề lá thì còn lại một đường đi, được Bermond phỏng đoán là duyên dáng năm 1979) có đều duyên dáng hay không?
- Liệu mọi cây bậc bị chặn đủ lớn có cạnh có luôn tồn tại một phép gán nhãn duyên dáng chính xác vào hay không?
Tài liệu tham khảo
- Alexander Rosa (1967). On certain valuations of the vertices of a graph
- Joseph A. Gallian (2022). A dynamic survey of graph labeling
- Richard Montgomery, Alexey Pokrovskiy, Benny Sudakov (2021). A proof of Ringel's conjecture · DOI:10.1007/s00039-021-00576-2 · arXiv:2001.02665