Nguồn tham khảo và cách kiểm chứng
Nguồn chuẩn: ứng dụng
Các luật chơi được mô tả trên trang web này là luật của ứng dụng Démineur, được đọc từ mã nguồn: cách đặt mìn, các con số, mở lan, cờ, mở đồng loạt, các cấp độ và các mốc mở khóa. Khi phần trợ giúp tích hợp trong ứng dụng khác với mã nguồn, trang web tuân theo mã nguồn.
Các nguồn đã tham khảo
- Démineur (thể loại trò chơi điện tử) (tab mới) (Wikipedia): nguyên tắc chơi, các con số, cờ và mở lan.
- Dò mìn (trò chơi điện tử) (tab mới) (Wikipedia tiếng Anh): lịch sử trò chơi, các kích thước bảng ô phổ biến và nước đi đầu tiên được bảo vệ.
- Richard Kaye, “Minesweeper is NP-complete”, The Mathematical Intelligencer, tập 22, 2000 (tab mới) (Springer): vì sao không có phương pháp đơn giản nào giải được mọi bảng ô và vì sao đôi khi phải đoán (trang Chiến thuật).
- Bài toán NP-đầy đủ (tab mới) (Wikipedia): khái niệm bài toán khó được nhắc đến trên trang Chiến thuật.
Các liên kết được kiểm tra ngày 30 tháng 10 năm 2026.
Cách kiểm chứng các ví dụ
Trước mỗi lần xuất bản, hai chương trình độc lập thực hiện lại tất cả các phép tính trên trang web:
- một công cụ kết nối với bộ máy xử lý của ứng dụng mà không sửa đổi nó, tạo từng bảng ví dụ bằng bộ tạo bảng của ứng dụng, thực hiện lần chạm đầu tiên rồi từng bước suy luận: các ô an toàn được mở và cờ được cắm bằng các hàm của ứng dụng;
- công cụ này đọc kích thước của 6 cấp độ, từ Người mới đến Marathon, và kiểm tra trên 2 000 bảng ở mỗi cấp độ để đảm bảo không có mìn nào nằm gần vị trí chạm đầu tiên;
- một chương trình thứ hai, được viết riêng, thực hiện lại việc đặt mìn, tính các con số và từng bước suy luận, so sánh từng ô của mỗi bảng và từ chối xuất bản nếu có bất kỳ sai lệch nào, dù nhỏ nhất;
- với bảng ô cần phải đoán, chương trình thử mọi cách bố trí có thể của những quả mìn cuối cùng.
Bạn phát hiện lỗi? Hãy viết cho chúng tôi qua trang liên hệ.