BàitoánConĐườngMàuđãđượcgiải
Viết bởi Lim Nguyễn
Chủ nhật, 13 Tháng 4 2008 02:54
Nhà toán học Avraham Trakhtman, 63 tuổi, vừa giải quyết được một trong những bài
toán thú vị nhất của lĩnh vực toán tổ hợp hiện đại mang tên, bàitoánConĐườngMầu
(Road coloring problem). Lời giải chính thức của bàitoán sẽ được đăng trên tạp chí toán
học Israel số tới. BàitoánConđườngmàu lần đầu tiên được đề xuất bởi nhà toán học
người Israel Binyamin Weiss năm 1970. Bàitoán liên quan đến các chỉ dẫn đồng bộ và
được diễn giải ngắn gọn như sau :
"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 thâm niên 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 các thao tác ( rẽ trái, rẽ phải, rẽ phải ). Bàitoán
Con đườngmàu đặt giả thuyết rằng, dù bắt đầu từ đâu trong thị trấn, đông tây bắc nam, sẽ
có một tập hợp các thao tác ( rẽ trái, rẽ phải) dẫn anh chàng đi đến đúng nhà chị bạn cũ."
Một phiên bản khác đó là bàitoán email bị thất lạc, người gửi muốn chắc chắn bức thư
điện tử đó đến được đúng nơi, ngay cả khi thao tác ban đầu bị nhầm lẫn. Hình vẽ dưới
đây là một ví dụ,
http://plus.maths.org/latestnews/jan-apr08/road/road.jpg
Bất kể bạn bắt nguồn từ đâu, bằng việc đi theo chỉ dẫn Xanh-Đỏ-Đỏ Xanh-Đỏ -Đỏ
Xanh-Đỏ-Đỏ, bạn sẽ đến được đỉnh màu Vàng. Bàitoán ban đầu là một giả thuyết, cho
rằng luôn có một 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.
Bài toán này có nhiều điểm giống với Định lý Bốn Màu (Four Colour Theorem) chưa
được chứng minh, ở đó cho rằng bạn chỉ cần duy nhất 4 màu để có thể tô vào mỗi tỉnh
thành một màu sao cho hai tỉnh kề nhau sẽ có hai màu khác nhau. Các bạn có thể tìm hiểu
thêm về bàitoán này qua bài viết bằng tiếng Anh The origins of proof IV: The
philosophy of proof. Bàitoán này lần đầu tiên được sự quan tâm rộng rãi là vào năm
1852; và năm 1879 Alfred Kempe đã công bố " chứng minh" của mình trên tạp chí
Nature và cả tạp chí toán học Mỹ, American Journal of Mathematics. Đáng tiếc, năm
1890, Percy Heawood đã tìm ra một lỗi sai ở chứng minh trên, và phải đợi 86 năm sau,
Kenneth Appel và Wolfgang Haken mới đưa ra được một chứng minh liên quan đến bài
toán này bằng phép tương phản. Chứng minh bắt đầu bằng giả thuyết có nhiều bản đồ địa
lý 5 màu, bạn luôn có thể chọn ra một bản đồ có số tỉnh thành là nhỏ nhất. Sau đó họ chỉ
ra rằng tấm bản đồ đó phải chứa một trong số 1936 cấu hình khả năng, và họ chứng minh
được rằng mỗi câu hình đó có thể rút gọn để tạo thành các mẫu nhỏ hơn, và có thể được
tô bằng 5 nằm khác nhau. Điều này là mâu thuẫn bởi vì chúng ta đã đặt ra giả thuyết rằng
tấm bản đồ năm màu ban đầu là nhỏ nhất.
Vấn đề với chứng minh của họ đó là sử dụng máy tính để phân tích 1936 cấu hình khả
năng của bản đồ. Chứng minh đó nếu in ra sẽ rất dài và không nhà toán học nào có thời
gian và khả năng để đọc hết được bản in này. Nếu một chứng minh mà không được kiếm
chứng, thì đa số các nhà toán học cho rằng nó không phải là một lời giải tường minh.
Ngược lại với chứng minh của Định lý 4 màu, lời giảibàitoánConđườngmàu của
Trakhtman được xem là đơn giản, tao nhã và tinh tế. Trakhtman đãgiảibàitoán bằng
phương pháp truyền thống - không sử dụng đến máy tính - mà bằng bút chi và giấy trắng.
Công trình của Trakhtman còn có ý nghĩa hơn vì nhờ nó mà ông được công nhận là giáo
sư toán học tại trường đại học Bar-Ilan. Là một nhà khoa học Nga, nhập cư vào Israel
năm 1990, Trakhtman đã phải làm việc không mệt mỏi để duy trì vị trí của ông, nhằm
nhận được biên chế chính thức của trường đại học. Lời giải của bàitoán này còn có nhiều
ứng dụng cho lĩnh vực bản đồ cũng như khoa học máy tính. Bạn có thể xem trước lời giải
của Trakhtman trên trang dự bị arXiv.
Nguồn : plus.maths.org
. Bài toán Con Đường Màu đã được giải
Viết bởi Lim Nguyễn
Chủ nhật, 13 Tháng 4 2008 02:54
Nhà toán học Avraham Trakhtman, 63 tuổi, vừa giải quyết được. những bài
toán thú vị nhất của lĩnh vực toán tổ hợp hiện đại mang tên, bài toán Con Đường Mầu
(Road coloring problem). Lời giải chính thức của bài toán