Bài toán Graham: câu hỏi tưởng đơn giản nhưng thách thức nửa thế kỷ
Bài toán Graham là một câu hỏi trong lý thuyết số về việc sắp xếp một tập hợp số nguyên khác nhau, không chứa số 0, sao cho các tổng riêng phần liên tiếp – tổng hai số đầu, ba số đầu, bốn số đầu, và tiếp tục như vậy – luôn cho những giá trị khác nhau trong một thế giới hữu hạn tuần hoàn như mặt đồng hồ. Bài toán Graham do nhà toán học Ronald Graham đề xuất năm 1971, nghe qua rất “nhẹ nhàng” nhưng lại khiến cộng đồng toán học quốc tế loay hoay suốt hơn 55 năm. Điều ông nghi ngờ – rằng luôn tồn tại một cách sắp xếp thỏa điều kiện – đã được nhiều thế hệ nhà toán học cố gắng chứng minh, từ các tập hợp rất nhỏ đến cực lớn, nhưng phần kích thước trung bình vẫn là nút thắt chưa ai chạm tới một cách dứt khoát.
Nhà toán học Việt Nam bước vào khoảng trống cuối cùng
Điểm ngoặt đến từ giáo sư toán học Việt Nam Phạm Tuấn Huy, sinh năm 1996, người từng hai lần giành Huy chương vàng Olympic Toán quốc tế trước khi tiếp tục sự nghiệp nghiên cứu tại Mỹ. Cùng nhà toán học Đức Lisa Sauermann, anh không chọn “làm lại từ đầu”, mà chủ động nhắm vào đúng khoảng trống còn dang dở: các tập hợp có kích thước trung bình – nơi những nỗ lực trước đó của nhóm Alp Müyesser, Noah Kravitz và Benjamin Bedert đã dừng lại. Tháng 9, cả hai nghe hai báo cáo về bài toán Graham tại một hội nghị ở Đức; Huy quyết định ở lại Bonn thêm ba ngày, biến một cuộc trò chuyện hành lang thành khởi đầu của lời giải trọn vẹn. Quan trọng hơn, đây không chỉ là một “phát hiện toán học” mới, mà là lời khẳng định rằng một nhà toán học Việt Nam có thể góp phần khép lại một chương dài của toán học thế giới.
Từ xiếc tung hứng đến chứng minh bằng xác suất và Fourier
Bài toán Graham luôn gắn với hình ảnh xiếc tung hứng vì chính Ronald Graham là một nghệ sĩ tung hứng điêu luyện; ông hình dung bài toán như việc xếp lịch rơi của các quả bóng sao cho không có hai quả chạm đất cùng lúc. Huy và Sauermann không chỉ giữ phép ẩn dụ này để kể chuyện mà biến nó thành trực giác cho cách tiếp cận: xáo trộn ngẫu nhiên các “quả bóng” – tức các số nguyên – rồi thiết kế quy trình sửa lỗi mỗi khi xuất hiện đoạn có tổng bằng 0. Cốt lõi của công trình là kỹ thuật chống tập trung kết hợp với phân tích Fourier, cho phép họ chứng minh rằng không có tổng cụ thể nào có xác suất xuất hiện vượt trội, nên ba dạng sự cố tiềm ẩn không thể cùng xảy ra với xác suất từ 1 trở lên. Nói thẳng, họ dùng tư duy của người tổ chức một màn tung hứng lý tưởng để giải quyết toán học trong một không gian hữu hạn khổng lồ có thể hình dung tới khoảng 10^100.
Một lời giải 27 trang và cú nhảy vị thế của toán học Việt Nam
Bản chứng minh “On Graham’s rearrangement conjecture” dài 27 trang, được hai tác giả công bố trên kho lưu trữ trực tuyến arXiv vào tháng 2, như mắt xích cuối cùng trong chuỗi bốn bài báo về bài toán này. Nó hoàn thiện giả thuyết sắp xếp lại của Graham cho mọi kích thước tập hợp – dẫu hiện mới áp dụng cho các số nguyên tố đủ lớn – và đóng lại một câu hỏi chỉ mất vài dòng để phát biểu nhưng cần hơn nửa thế kỷ để giải quyết. Điều đáng chú ý là nhiều người đi trước thừa nhận “chưa đủ can đảm” để thử phương pháp chống tập trung mà Huy và Sauermann đã triển khai đến nơi đến chốn; chính sự táo bạo này tạo nên sức nặng của lời giải. Ở tuổi 30, việc trở thành giáo sư biên chế và chuẩn bị tới Viện Nghiên cứu Cao cấp Princeton để tiếp tục nghiên cứu cho thấy vị thế không còn là cá nhân lẻ loi, mà là đại diện xứng đáng của thế hệ nhà toán học Việt Nam mới.
Phương pháp sáng tạo mở ra hướng nghiên cứu mới
Điều khiến cộng đồng toán học quốc tế ấn tượng không chỉ là việc bài toán Graham đã được giải mà là cách nó được giải: nhanh, sáng tạo và khác biệt rõ rệt so với các phương pháp trước. Theo đánh giá của Alp Müyesser, “họ có cách tiếp cận hoàn toàn khác biệt”, còn Noah Kravitz thú nhận nhóm mình từng biết đến ý tưởng nhưng không đủ tự tin để theo đuổi. Sự kết hợp giữa tư duy xác suất, chống tập trung, phân tích Fourier với trực giác từ bộ môn tung hứng cho thấy giải quyết toán học hiện đại không còn bó buộc vào một “cẩm nang kỹ thuật” cố định, mà sẵn sàng vay mượn hình ảnh từ nghệ thuật, trò chơi, cuộc sống thường ngày. Chính phong cách này mở ra hướng nghiên cứu mới: khai thác các cấu trúc hữu hạn bằng các công cụ xác suất sâu hơn, mở rộng phạm vi áp dụng của kết quả, và tiếp tục đặt ra những bài toán tưởng như đơn giản nhưng có chiều sâu dài hơi như Graham.
