Bốn màu là đủ, nhưng chưa ai giải nổi bằng giấy bút

Trước khi đọc tiếp, bạn thử việc này đã. Lấy một tấm bản đồ bất kỳ, bản đồ tỉnh thành Việt Nam hay bản đồ các nước châu Âu cũng được, rồi tô màu từng vùng. Luật chỉ có một: hai vùng chung nhau một đoạn đường biên thì không được trùng màu. Hai vùng chỉ chạm nhau ở đúng một điểm, như hai ô chéo nhau trên bàn cờ, thì vẫn được trùng. Bạn hãy dùng càng ít màu càng tốt, rồi đếm xem mình cần mấy màu.

Gần như chắc chắn bạn sẽ dừng ở bốn. Và đây là chỗ lạ: cái câu hỏi mà bạn vừa tự làm trong năm phút ấy đã đánh bại các nhà toán học gần 200 năm.

Câu hỏi là gì

Nói bằng lời thường: có phải bốn màu luôn luôn đủ cho mọi bản đồ, dù bản đồ đó rối tới đâu? Đó là định lý bốn màu.

Câu hỏi bắt đầu năm 1852, khi nhà toán học Francis Guthrie ngồi tô một bản đồ các hạt của nước Anh và nhận ra mình chỉ cần bốn màu. Ông tự hỏi điều đó có luôn đúng không, rồi mang hỏi Frederick Guthrie, cũng là nhà toán học trong nhà. Cố vấn của Frederick, ông Augustus De Morgan, thấy câu hỏi hay nên đưa nó ra cho nhiều người biết.

Người vẽ bản đồ thật thì chẳng quan tâm. Họ có sẵn hàng chục màu mực và không có lý do gì phải tự bó mình trong bốn màu. Nhưng với các nhà toán học, cả nghiệp dư lẫn chuyên nghiệp, nó thành một cơn mê.

Bạn cần nắm rõ hôm nay câu hỏi đứng ở đâu, vì chỗ này dễ hiểu nhầm. Phần "bốn màu là đủ" thì đã được chứng minh rồi. Thứ còn treo là câu hỏi đi sau nó: có một lý do đơn giản nào cho chuyện đó không, một lời giải mà một con người đọc hết được từ đầu tới cuối mà không cần nhờ máy tính duyệt hộ?

Vì sao nó khó đến thế

Cách làm hiển nhiên nhất là thử hết. Cách ấy chết ngay từ đầu: số bản đồ vẽ ra được là vô hạn, nên không có danh sách nào để duyệt cho xong.

Nên người ta phải lập luận ngược. Alfred Bray Kempe làm thế năm 1879. Ông giả sử điều trái lại: giả sử có một bản đồ nào đó không tô nổi bằng bốn màu. Trong số những bản đồ xấu tính như vậy, hãy chọn bản nhỏ nhất, nghĩa là bỏ bất kỳ một vùng nào ra thì phần còn lại tô được bằng bốn màu. Rồi ném hết núi sông đi, vẽ lại bản đồ thành một đồ thị phẳng (planar graph): mỗi vùng là một chấm, hai vùng chung biên thì nối một nét.

Từ thế kỷ 18, nhà toán học Thụy Sĩ Leonhard Euler đã biết một điều rất hữu ích về những hình vẽ kiểu này: trong bất kỳ đồ thị phẳng nào cũng luôn có ít nhất một chấm có nhiều nhất năm chấm láng giềng. Nghĩa là cái đồ thị nhỏ nhất kia buộc phải chứa một trong sáu hình mẫu, thứ Kempe gọi là tập không tránh được (unavoidable set). Kempe chỉ còn phải chỉ ra: với mỗi hình mẫu, bạn bỏ nó ra, tô bốn màu phần còn lại, rồi hoán màu quanh đó sao cho nhét cái chấm vừa bỏ trở vào mà vẫn không cần màu thứ năm. Thế là giả sử ban đầu tự mâu thuẫn, và định lý đúng. Tạp chí Nature đưa tin như một thành tựu.

Lời giải đó đứng vững 11 năm. Rồi Percy John Heawood tìm ra một lỗ hổng rất nhỏ: đúng ở ca cái chấm bị bỏ có năm láng giềng, phép hoán màu của Kempe có thể đẩy hai màu giống nhau về nằm cạnh nhau. Heawood ban đầu còn ngần ngại không muốn báo, một phần vì cách làm của Kempe quá đẹp. Mà quả thật nó đẹp: phép hoán màu ấy, nay gọi là chuỗi Kempe (Kempe chain), vẫn nằm ở cốt lõi mọi lời giải về sau.

Chỗ khó thật nằm ở đây. Sáu hình mẫu gọn gàng của Kempe là không đủ. Danh sách đúng dài hơn rất nhiều, nhiều tới mức không ai kiểm hết bằng tay trong một đời người. Cộng thêm một cái bẫy nữa: vì câu hỏi dễ hiểu quá nên ai cũng thử, và lời giải sai đổ về từ luật sư, bác sĩ, và cả những nhà lý thuyết đồ thị nổi tiếng. Carsten Thomassen, nhà lý thuyết đồ thị ở Technical University of Denmark, nói: "Ở đây ta có một bài toán mà cả một đứa trẻ cũng hiểu được." Ông cho rằng chính điều đó làm nó thành một thách thức lớn.

Ai đang thử, và đã tới đâu

Gần một thế kỷ sau Kempe, định lý mới được chứng minh, bằng máy tính. Lúc ấy đó là chuyện gây tai tiếng: máy tính vừa đáng ngại vừa không ai xem được bên trong, nên giới toán học phải quay lại hỏi nhau một câu tưởng đã rõ, rằng thế nào thì mới là một chứng minh. Tranh cãi kéo tới năm 1997, khi máy tính đã thành chuyện thường và một chứng minh nhờ máy tính đơn giản hơn được tìm ra. Từ đó kết quả được chấp nhận.

Nhưng cơn mê không tắt. Mikkel Thorup, nhà khoa học máy tính ở Đại học Copenhagen, gọi nó là "bệnh bốn màu" (four-color disease), và tự nhận mình cũng mắc. Ý nghĩ ở lại là: một phát biểu đơn giản như thế thì phải có một lý do đơn giản, hoặc chí ít một cách chứng minh gọn hơn.

Tháng 3 năm 2026, sau gần mười năm làm việc, Thorup, Thomassen và bốn đồng nghiệp ở Đan Mạch, Canada và Nhật, sáu người tất cả, đăng trực tuyến một chứng minh máy tính nữa cho định lý này. Bài sẽ được trình bày vào tháng 11 tại hội nghị thường niên Foundations of Computer Science, và cộng đồng còn đang đọc nó.

Đọc cho đúng mức: đây không phải cái lời giải gọn mà mọi người mong. Nó vẫn cần máy tính, và ở một số mặt còn phức tạp hơn các bản trước. Georges Gonthier, nhà khoa học máy tính ở Inria tại Paris, nhận xét: "Trông như họ đã dùng điện rất thoải mái khi thực sự tiến hành chứng minh của mình."

Cái được thì nằm ở chỗ khác. Trên đường dựng lập luận, nhóm này tìm ra một cách tô màu bản đồ nhanh hơn nhiều bản cũ, và phát hiện thêm những tính chất cấu trúc mới của đồ thị phẳng. Với một bài toán có lịch sử toàn khởi đầu sai và hy vọng tan vỡ, Gonthier nói, "thật thú vị khi lần này thấy được một kết quả thật".

Nếu tìm được lời giải gọn thì sao

Hai thứ sẽ đổi. Thứ thứ nhất cụ thể: những hiểu biết mới về đồ thị phẳng là công cụ dùng được cho các bài toán khác đang bí trong lý thuyết đồ thị, và một cách tô nhanh hơn thì đáng giá với mọi việc có hình dạng "chia sao cho hai thứ cạnh nhau không trùng nhau".

Thứ thứ hai lớn hơn. Một lời giải người đọc được sẽ trả lời giúp ta câu hỏi mà bài toán này đã buộc giới toán học phải hỏi từ những năm 1970: có phải có những điều đúng mà con người chỉ tin được qua máy móc?

Hôm nay câu hỏi đang đứng ở đâu

Bốn màu là đủ, ta biết vậy. Vì sao bốn màu là đủ, theo một cách kể đủ ngắn để một người đọc hết trong một buổi, thì vẫn chưa ai biết. Sau gần 200 năm, mọi lời giải đang có đều phải nhờ máy tính duyệt hộ một danh sách quá dài để đọc.

Việc bạn thử được ngay: in một bản đồ hành chính Việt Nam, lấy đúng bốn bút màu, và tô. Ghi lại chỗ nào làm bạn phải xoá đi tô lại, vì chính mấy chỗ đó là nơi các nhà toán học bị chặn. Rồi nghĩ tiếp câu này: nếu một máy tính kiểm hàng nghìn trường hợp mà không ai trong chúng ta đọc hết được, bạn có tính đó là một chứng minh không?

---

Hai chỗ tôi lệch khỏi dàn ý, nói rõ để bạn quyết:

• Bỏ con số "63 tỉnh thành". Bản đồ hành chính Việt Nam đã sắp xếp lại năm 2025 và con số 63 không còn đúng; tôi viết "bản đồ hành chính Việt Nam" để không cài một dữ kiện sai vào bài cho trẻ.
• Không nêu tên nhóm chứng minh máy tính lần đầu, nhóm 1997, hay bốn đồng nghiệp của nhóm 2026, và không dùng các con số cấu hình. Phần tư liệu đã kiểm nói rõ nguồn bị cắt và không xác nhận được những chỗ đó. Nếu bạn muốn có tên Appel và Haken cùng số cấu hình cụ thể thì cần một nguồn thứ hai kiểm lại trước.

Lưu ý

Bài viết dựa trên tin khoa học đã công bố, viết lại cho bạn đọc nhỏ tuổi. Có chỗ nào con muốn tìm hiểu thêm thì rủ bố mẹ đọc cùng nhé.