Định lý con đường màu

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm
A directed graph with a synchronizing coloring

Định lý con đường màu là bài toán được nhà toán học người Israel Benjamin Weiss đưa ra giả thiết lần đầu tiên năm 1970 và được Avraham Trahtman giải tháng 9 năm 2007.

Phát biểu[sửa | sửa mã nguồn]

Một anh chàng đi đến một thị trấn mà anh ta chưa từng đặt chân đến bao giờ để tìm nhà người bạn gái của mình. Mặc dù các đoạn đường trong thị trấn đều không có gắn tên, người bạn gái của anh an ủi anh cứ yên tâm đi theo chỉ dẫn của mình thì anh sẽ đến được đúng nơi, sau một tập hợp hữu hạn các thao tác (rẽ trái, rẽ phải, rẽ phải...) và giả thiết là luôn tồn tại phương án hướng dẫn chỉ dẫn tổng quát để đến một vị trí cần đến, trong một hệ đóng mà ở đó không có con đường nào rẽ ra ngoài.

Chứng minh[sửa | sửa mã nguồn]

Ứng dụng[sửa | sửa mã nguồn]

Xem thêm[sửa | sửa mã nguồn]

Tham khảo[sửa | sửa mã nguồn]