Kết quả 1 đến 10 của 20
Threaded View
-
11-07-2018, 09:42 PM #16
4. Lomonosov
Sau sự ra đời của CSDLTC Nalimov 6 quân, cộng đồng cờ máy đã ngay lập tức bắt tay vào xây dựng CSDLTC cho 7 quân từ giữa những năm 2000. Chỉ một quân thêm vào thôi đã làm dữ liệu tăng trên 100 lần và đòi hỏi máy tính phải có bộ nhớ khổng lồ để xây dựng nên chúng rất đắt đỏ, tốn hàng chục nghìn đô (kể cả đến năm nay 2017). Người ta cũng tính rằng phải mất nhiều năm nữa mới làm xong.
Ronald de Man tác giả của syzygy, người đã viết phần tạo CSDLTC nhanh nhất hiện nay đã ước chừng để bộ tạo CSDLTC của ông làm việc với 7 quân thì cần có máy tính có 1 TB bộ nhớ và chạy máy 5, 6 năm. Hiện thị trường máy tính đang phổ biến các thanh RAM 16 GB. Như vậy cần trên 60 thanh, riêng số RAM này tốn cỡ 15 nghìn đô.
Thỉnh thoảng có nhà nghiên cứu tuyên bố làm xong một vài tàn cuộc đơn lẻ. Ví dụ ông đã tuyên bố tìm ra ván cờ tàn dài đến trên 500 nước.
Cuối cùng điều bất ngờ đã xẩy ra. Năm 2013 CSDLTC 7 quân được tuyên bố đã tạo xong. Hai tiến sĩ Zakharov và Makhnichev ở trường Đại học Tổng hợp Quốc gia Lomonosov (Nga) dùng siêu máy tính của trường (có trên 50 nghìn bộ vi xử lý, tổng bộ nhớ RAM trên 90 TB), chạy ròng rã 6 tháng để xây dựng nên CSDLTC này. Do đó hai ông đã lấy tên của trường làm tên cho CSDLTC. Nó có kích thước lên tới 140 TB - máy tính để bàn của tôi có đĩa cứng 1 TB - phải cần 140 máy tính như vậy. Vì kích thước lớn người ta không phát hành được - giống như tình trạng của Thompson lúc ban đầu. Tuy vậy người ta cho phép người dùng truy cập nó qua Internet. Nhưng do tốc độ Internet chậm, không ai dùng nó cho engine mà chủ yếu chỉ để tra cứu hay nghiên cứu. Trang web này lại chỉ cho dùng miễn phí với rất nhiều hạn chế, người dùng thật sự phải trả phí nên cũng là một hạn chế lớn.
Ví dụ thế cờ dưới đây là cờ tàn giữa hai danh thủ Steinitz và Gunsberg trong giải Vô địch Thế giới (New York, 1890-1891). Ván cờ có kết quả hoà nhưng người ta cho rằng Gunsberg có thể thắng. Sau nước 73. Ra4+ ông đã đi 73…Kf3. Nhưng theo Lomonosov CSDLTC ông sẽ thắng ván cờ nếu đi 73…Kd5, lời giải sau 122 năm.
(Còn tiếp)
Nghiên cứu cờ tàn bằng máy tính - cập nhật những nghiên cứu mới
Đánh dấu