Tablebase: khi tàn cuộc cờ vua đã được giải hết từ trước

Có những câu hỏi trong cờ vua không còn cần ai ngồi nghĩ nữa. Không phải vì đã xuất hiện một kỳ thủ giỏi hơn, mà vì đáp án đã được tính sẵn từ trước và cất vào một cơ sở dữ liệu: thế cờ này thắng, hòa hay thua — chính xác tuyệt đối. Cơ sở dữ liệu đó tên là tablebase, và nó đã thay đổi tận gốc cách chúng ta hiểu về tàn cuộc.

Tablebase là gì?

Tablebase là cơ sở dữ liệu chứa phân tích đầy đủ mọi thế cờ còn ít quân trên bàn. Với mỗi thế cờ, tablebase ghi rõ: bên đi sẽ thắng, hòa hay thua nếu cả hai cùng chơi đúng nhất, và cần bao nhiêu nước để đi tới kết quả đó.

Điểm đặc biệt nằm ở cách người ta xây dựng nó: phân tích ngược (retrograde analysis). Thay vì tính từ thế cờ hiện tại về phía trước — việc bất khả thi vì số khả năng bùng nổ — máy tính bắt đầu từ mọi thế chiếu hết, rồi lùi dần từng nước một, lan ngược ra khắp không gian thế cờ. Thế nào mọi nước đi đều dẫn tới thế thua cho đối thủ thì là thế thắng, và cứ thế lan tiếp. Khi quá trình này khép lại, không còn thế cờ nào "chưa biết": tất cả đều đã có đáp án.

Có hai cách đo "khoảng cách tới đích" mà người chơi nên phân biệt:

• DTM (depth to mate): số nước tới chiếu hết, khi chiếu hết là mục tiêu duy nhất được tính.
• DTZ (depth to zeroing): số nước tới một nước "đặt lại đồng hồ" — ăn quân hoặc đi tốt — vì luật 50 nước quy định nếu suốt 50 nước không có ăn quân hay nước đi tốt nào thì ván cờ hòa.

Sự khác biệt này không hề hàn lâm: tablebase tính theo kiểu bỏ qua luật 50 nước, nên có thế nó ghi là thắng lý thuyết nhưng trên bàn đấu thật sẽ bị tuyên hòa trước khi chiếu hết kịp xảy ra, nếu bên thắng không tạo được nước đặt lại đồng hồ đúng lúc. Tablebase trả lời câu hỏi "thế cờ này thực chất thế nào" — còn luật thi đấu là một lớp chuyện khác phủ lên trên.

Quy mô: 424 nghìn tỷ thế cờ

Tính đến nay, mọi thế cờ có từ 7 quân trở xuống (tính cả hai vua) đều đã được giải hết: tổng cộng 423.836.835.667.331 thế — khoảng 424 nghìn tỷ. Không một thế 7 quân nào trên đời còn là ẩn số.

Bộ tablebase 7 quân hoàn chỉnh đầu tiên ra đời năm 2012, được tính trên siêu máy tính Lomonosov của Đại học Quốc gia Moskva, và chiếm khoảng 140 TB. Định dạng Syzygy của Ronald de Man sau đó nén cùng kết quả ấy xuống còn 18,4 TB — đủ nhỏ để engine trên máy cá nhân tra cứu trực tiếp trong lúc thi đấu.

Kỷ lục nổi tiếng nhất mà tablebase khai quật được là một thế chiếu hết trong 549 nước: Trắng gồm Vua, Xe, Tượng, Mã đấu với Đen gồm Vua và hai Mã. Thế cờ này — do Guy Haworth phát hiện trong dữ liệu Lomonosov — chỉ có đúng một nước đầu tiên thắng; đi sai một nước là tuột mất chiến thắng. Không con người nào, và không engine nào thiếu tablebase, chơi đúng thế cờ ấy từ đầu tới cuối. 549 nước đi hoàn hảo liên tiếp vượt xa mọi khả năng tính toán trực tiếp — nó chỉ được biết tới nhờ tính ngược từ đích về.

Engine và tablebase: phán đoán và chắc chắn

Trong bài giải phẫu các engine, chúng tôi đã phân tích cách Stockfish và họ hàng của nó chơi cờ: tìm kiếm về phía trước hàng triệu thế mỗi giây, rồi đánh giá xem thế nào tốt hơn. Engine mạnh đến mức gần như không bao giờ sai ở trình độ con người cảm nhận được — nhưng về bản chất, kết luận của engine vẫn là một phán đoán: "thế này có vẻ thắng". Cho engine thêm thời gian, kết luận ấy đôi khi vẫn thay đổi.

Tablebase thì không phán đoán. Nó tra cứu. Khi một thế cờ còn 7 quân trở xuống, đáp án là một sự thật toán học đã được chứng minh bằng cách liệt kê toàn bộ, chứ không phải ý kiến của bất kỳ chương trình hay kỳ thủ nào. Đó là lý do trong thực hành kiểm chứng thế cờ, thứ tự tin cậy luôn là: tablebase phán quyết thế gốc trước, engine chỉ dẫn đường ở những thế còn nhiều quân hơn, và một tuyến giải chỉ được coi là chứng minh xong khi nó chạm tới một thế mà tablebase kết luận được dứt khoát.

Tablebase đã sửa sai cho chính chúng tôi hai lần trong một ngày

Lý thuyết là vậy; còn đây là hai ca thật xảy ra ngay trong quá trình xây Từ điển Thế Cờ Vua của SynerWorlds. Từ điển hiện có hơn 1.300 thế cờ, và mỗi thế chỉ nhận nhãn "đã kiểm chứng" khi có bằng chứng: hoặc chiếu hết bắt buộc với toàn bộ tuyến giải được chạy lại kiểm tra từng nước, hoặc tuyến giải dẫn tới một thế từ 7 quân trở xuống mà tablebase kết luận được.

Ca thứ nhất là Saavedra — thế cờ tàn nổi tiếng bậc nhất thế giới, ra đời năm 1895, kể về một con tốt tưởng như chỉ hòa, lại thắng nhờ phong cấp thành Xe thay vì Hậu. Khi đối chiếu lại, chúng tôi phát hiện mục Saavedra của chính mình bị chép sai một ô: con Xe đen nằm ở d4 thay vì d5. Chỉ lệch một ô mà kết luận đảo ngược hoàn toàn: Xe ở d4 thì thế cờ hòa, Xe ở d5 mới là thế thắng kinh điển. Tablebase phán quyết thế gốc trong tích tắc, và ngày 5/11/2026 chúng tôi đã sửa lại mục này, kèm ghi chú đính chính công khai ngay trên trang của thế cờ.

Thế Saavedra bản đúng: Xe đen ở d5 — tablebase kết luận Trắng thắng.

Cùng thế cờ nhưng Xe đen lùi xuống d4: chỉ lệch một ô, tablebase kết luận hòa.

Ca thứ hai ngược chiều: một thế cờ của Henri Rinck, công bố năm 1927 với kết luận hòa. Thế gốc còn đúng 7 quân, và tablebase nói rõ: đó là thế thắng cho Đen. Tuyến giải in trong sách chỉ hòa được vì ở nước thứ ba, Đen đã đi một nước làm tuột mất chiến thắng. Thế cờ này trở thành mục "tranh cãi" (disputed) đầu tiên của từ điển: sách nói một đằng, bằng chứng nói một nẻo, và chúng tôi ghi cả hai để người đọc tự thấy.

Thế của Henri Rinck (1927): sách chép hòa, tablebase chứng minh Đen thắng — mục “tranh cãi” đầu tiên của từ điển.

Bài học rút ra — và nay là nguyên tắc cứng của từ điển: luôn phán quyết thế gốc bằng tablebase trước khi chạy lại bất kỳ tuyến giải in sẵn nào. Một sơ đồ chép sai một ô có thể khiến cả một tuyến giải "đúng" được xây trên một thế cờ sai.

Giới hạn: cờ vua chưa được giải

Cần nói rõ để tránh hiểu lầm: tablebase chưa "giải hết cờ vua". Nó chỉ giải hết tàn cuộc từ 7 quân trở xuống. Tablebase 8 quân vẫn đang được xây dựng dở dang — năm 2022, Marc Bourzutschky đã tìm thấy trong phần dữ liệu tính được một thế thắng trong 584 nước — nhưng bộ đầy đủ chưa tồn tại, và mỗi quân thêm vào khiến khối lượng công việc tăng vọt theo cấp số nhân. Khai cuộc và trung cuộc, cờ vua vẫn là lãnh địa của phán đoán — của engine và của con người.

Nhưng trong địa hạt của nó, tablebase là lời cuối cùng. Nếu ván cờ của bạn rút xuống còn 7 quân, đáp án đã nằm sẵn trong 18,4 TB dữ liệu kia, chỉ chờ được tra cứu.

Mời bạn thử tra cứu

Hãy ghé Từ điển Thế Cờ Vua: chọn một thế cờ tàn, xem nhãn kiểm chứng của nó, tự đi thử tuyến giải, hoặc mở thế cờ trong bàn Sắp Xếp và đối chiếu với những gì tablebase khẳng định. Biết đâu thế cờ bạn vẫn tin là thắng từ lâu — cũng đáng tra lại một lần.