Tại sao lại xác định xem có giải pháp nào cho trò chơi Battleship NP-Complete không?

Bài viết này http: //www.m chèvistasoft.com/docs/BattleshipsAsDecidabilityPro Hiệu.pdf nói rằng vấn đề quyết định, "Đưa ra một câu đố cụ thể, có giải pháp nào không?" là NP-Hoàn thành. Tôi không hiểu tại sao điều này không thể được thực hiện trong thời gian đa thức. Đưa ra các ràng buộc rằng không có hai tàu nào có thể liền kề trực tiếp hoặc theo đường chéo, tại sao không tạo lưới trong đó có số cột gấp 2 lần số "thùng" với đủ hàng để đặt "dải phân cách" chạy giữa mỗi tàu. Tôi đã thấy sự giảm đã chứng minh theo cách này và có vẻ như nó có thể được thực hiện trong thời gian đa thức.

Như Andreas T đề cập, điều bạn thiếu là lưới là một phần của thể hiện.
Ví dụ chỉ định cả lưới và tàu.

Tại sao câu đố Chiến hạm không thể được giải trong thời gian đa thức? Đây là câu hỏi một triệu đô la (theo nghĩa đen). Nhưng vì bài báo mà bạn đề cập chứng minh rằng Battleship là NP hoàn chỉnh, nên phỏng đoán được tin tưởng rộng rãi P ≠ NP ngụ ý rằng Battleship không thể được giải quyết trong thời gian đa thức.

Bài báo tiếp tục chứng minh rằng Battleship không thể được giải trong thời gian đa thức ngay cả khi giải pháp là duy nhất, trừ khi NP = RP, điều này cũng được coi là không thể. Đây là một phiên bản thực tế hơn của vấn đề, vì trong thực tế, các vấn đề Battleship có một giải pháp duy nhất.