Thế nào là bài toán bản đồ có bốn màu?

Từ đầu thế kỉ XX trở lại đây, nhiều nhà toán học đã đi theo con đường của Kenpu để nghiên cứu giải bài toán bốn màu và đã thu được nhiều thành tựu. Người ta chứng minh là để giải bài toán này ta không chỉ nghĩ đến một tấm bản đồ đã vẽ sẵn mà phải nghĩ để vẽ ra vô số tấm bản đồ. Để kiểm nghiệm số lớn bản đồ như vậy quả là một việc có khối lượng lớn quá sức người và khó thực hiện được.

Vào năm 1970 đã có phương án dùng máy tính điện tử để giải bài toán này, và người ta đã phải tính toán 11 năm liên tục mới tìm được kết luận.

Sau năm 1970, nhiều người đã cải tiến phương án giải bài toán bốn màu kết hợp với sự tăng nhanh tốc độ tính của máy điện toán đã mở ra khả năng giải được bài toán bốn màu bằng máy tính.

Vào năm 1976, hai nhà toán học Hoa Kì là Apin (Apeil) và Hakan (Hakan) đã dùng ba máy điện toán khác nhau và đã dùng đến 1200 giờ để hoàn chỉnh việc chứng minh định lí về bài toán bốn màu.

Bài toán bốn màu từ khi đặt ra cho đến khi phát triển thành định lí đã trải qua 120 năm làm việc liên tục của nhiều thế hệ các nhà toán học mới được hoàn thành. Cho đến ngày nay, nhiều nhà khoa học vẫn đang tìm kiếm lời giải bằng tính toán trên mặt giấy.

Từ khoá: Bản đồ bốn màu; Bài toán bốn màu; Định lí bốn màu.