5. Syzygy

Syzygy (tên của hiện tượng thiên văn có ba hành tinh sắp thẳng hàng) do Ronald de Man thiết kế và viết chương trình. Ông là một nhà Toán - Tin học đồng thời là một luật sư người Hà Lan. Về cơ bản, nó dùng cách mã hoá tương tự như Edwards / Nalimov. Nó hơi khác Nalimov ở chỗ ông dùng dữ liệu dạng DTZ50 thay cho DTM (cũng một kiểu tìm đường chiếu hết). Điểm đặc biệt là Ronald tập trung vào nén dữ liệu, sử dụng cách thức rất thông minh và cắt bớt dữ liệu của một bên cờ. Tất cả đã làm Syzygy đạt được mức siêu nén, nhỏ hơn tất cả các CSDLTC khác. Tổng kích thước của loại 5 quân cờ giờ chỉ còn dưới 1 GB, nhỏ cỡ 1/7 GB của Nalimov (thực ra nếu có đủ dữ liệu cho cả hai bên thì phải trên 2 GB, tức là nhỏ bằng cỡ 1/3). Còn loại 6 quân chỉ đến 150 GB, nhỏ hơn 3 lần.

Có một điều thú vị: Do có kích thước nhỏ đến bất ngờ, tác giả lại công bố vào ngày 1/4 (năm 2013), nhiều người cứ bán tín bán nghi mãi rằng đó chỉ là một cú lừa (chơi khăm), một trò đùa Cá tháng Tư!

Khi công bố, Ronald chỉ cung cấp các chương trình (dạng mã nguồn), không có phần dữ liệu. Nhưng chỉ sau một thời gian ngắn, một vài người dùng dùng các công cụ do Ronald cung cấp đã tạo ra các CSDLTC Syzygy 5 và 6 quân cờ.

Do có kích thước nhỏ ấn tượng này, người dùng đã có thể dễ dàng download và lưu trữ. Ngay lập tức Syzygy trở nên phổ biến khi có hàng loạt người viết cờ và người dùng quay ra sử dụng nó. Nhiều người ví von rằng CSDLTC Nalimov đã trở thành đồ cổ. Vẫn có người dùng nhưng sẽ ngày càng ít đi.

Ở giải cờ máy vô địch thế giới năm 2017, trong 4 chương trình đỉnh cao tham gia, chỉ có một dùng Nalimov. Ba cái kia dùng Syzygy. Còn năm nay 2018 toàn bộ chương trình thi đấu đều dùng Syzygy.

Khi tôi đang chuẩn bị đăng phần viết trước thì nhận được tin sốc cả làng cờ: Bojun Guo một lập trình viên Trung Quốc đã hoàn thành CSDL Syzygy 7 quân cờ. Anh ta đã chạy chương trình này trên một máy vi tính có 8 bộ vi xử lý Intel Premier với tổng luồng lên tới 384. Riêng số CPU này có trị giá hơn 50 nghìn đô. Cùng với bộ nhớ rất khủng nữa 1.5 TB và loạt đĩa cứng đắt tiền khiến cả cỗ máy có giá trên 90 nghìn đô. Anh ta đã chạy chương trình ròng rã trong 5 tháng để tạo ra CSDL 7 quân. Đó là khối lượng công việc mà cỗ siêu máy tính trị giá 63 triệu tại Đại học Lomonosov phải chạy trong 6 tháng.

(còn nữa: phần tiếp theo sẽ viết về CSDLTC của cờ Tướng )