1. Mô hình tổng quát:
Có nhìu trò chơi trên máy tính, trong đó một số trò dc xếp vào một lớp riêng: Trò chơi Đối kháng - Hữu hạn - Thông tin đầy đủ (DHT). Các trò chơi có t/c sau:
_Có 2 người chơi, lần lượt mỗi người một bước.
_Cả hai nắm đầy đủ thông tin về tình trạng trân đấu.
_Ko kéo dài vô tận.
Mỗi trò chơi đặc trưng bởi các t/c sau:
_Trạng thái: các thông tin về tình trạng hiện tại để típ tục trò chơi.
_Quy tắc đi
_Trạng thái ban đầu.
_Các trạng thái kết thúc.
2.Chiến thuật thắng: một chiến thuật chơi như thế nào đó mà chỉ cần đi theo một số quy luật nhất định thì sẽ lun lun ko thua(thắng hoặc hòa) ko phụ thuộc vào lối chơi của đối thủ.
3.Tồn tại chiến thuật thắng:
Định lý: Mọi trò chơi thuộc lớp DHT đều có chiến thuật thắng.(Sẽ c/m sau)
Vậy điều này có gì quan trọng hay thú vị? Có gì hay?
Vậy bạn hãy nghĩ xem các trò chơi: cờ tướng, cờ vua, cờ vây, ca-rô(Gomoku) có tồn tại chiến thuật thắng ko, câu trả lời cảm tính là ko, nhưng thực tế câu trả lời chính xác là có bởi chúng thuộc lớp DHT. Nhưng thật may mắn là chưa có một ai tìm ra chiến thuật thắng cho các trò chơi này.
(Tóm tắt dựa vào sách Tin học 11(Trần Thị Lệ-Hoàng Kiếm), bài này tui tự gõ, cấm sao chép).