Làm thế nào để giải quyết câu đố này một cách hợp lý mà không cần dùng thử và lỗi

Question

Tôi đã xem qua câu đố nghiêng trong Ubuntu. tôi muốn giải quyết các câu đố logic và không bằng thử và sai, vv

Các quy tắc rất đơn giản:

1. Chúng ta phải điền vào tất cả các hộp với quyền hoặc nghiêng trái.
2. Số lượng số lần chạm vào một số phải bằng với số đó.
3. Không có vòng lặp nào được phép trong bảng. tức là các slants không được tạo thành vòng lặp.

Puzzle:

Auto giải quyết câu trả lời:

để tôi bắt đầu từ đâu?

Answer 1

Thay vì nghiêng trái và phải, tôi sẽ sử dụng dấu gạch chéo (/) và dấu gạch chéo ngược (\).

Hãy lấy một hình vuông có các góc (x1) (11), trong đó x là bất kỳ thông tin nào, nhưng 1. Có một hình vuông ở góc trên cùng bên trái. Giả sử rằng nghiêng trên hình vuông đó là dấu gạch chéo, kết nối hai của 1. Những người 1 được "sử dụng hết" và tất cả các ô vuông chạm vào chúng phải có các đường không chạm vào các con số. Nhưng điều đó dẫn đến tình huống không thể xảy ra bởi vì chúng tôi sẽ có một dấu gạch chéo cả bên trái và bên dưới hình vuông của chúng tôi có nghĩa là số còn lại 1 đang chạm vào hai slants. Kết luận: nếu bạn có một hình vuông có ba 1 thì đường thẳng trong ô vuông đó phải chạm vào góc không phải là. Quy tắc này có thể không áp dụng ở các cạnh và góc, nhưng nếu bạn có 1 ở góc, bạn phải vẽ đường chạm vào góc đó.

Số 1 và 3 là đối xứng và sử dụng logic tương tự, chúng tôi nhận được một quy tắc khác: nếu bạn có hình vuông có ba 3 thì đường thẳng trong ô đó phải chạm vào hai trong số 32 của ba 3.

Có nhiều quy tắc chung hơn, nhưng chúng không áp dụng ở các góc. Phải có hình vuông xung quanh hình vuông được đề cập. Hãy lấy một hình vuông hai đối số 1 (x1) (1y), trong đó x và y là bất cứ thứ gì, bao gồm cả số không. Có hai ô vuông cách xa góc dưới bên trái.Giả sử rằng nghiêng trên hình vuông đó là dấu gạch chéo, kết nối hai của 1. Những người 1 được "sử dụng hết" và tất cả các ô vuông chạm vào chúng phải có các đường không chạm vào các con số. Nhưng điều đó dẫn đến vòng lặp xung quanh của 1. Kết luận: nếu bạn có một hình vuông với hai đối diện 1 thì đường thẳng trong ô vuông đó không được chạm vào hai số của hai số 1 đó. Quy tắc này có thể không áp dụng trên các cạnh của bảng.

Số 1 và 3 là đối xứng, nhưng quy tắc trước sử dụng quy tắc "không có vòng" và không có quy tắc "không có vòng đường bên" đối xứng và do đó không có quy tắc nào có hai đối số 3.

Bây giờ bạn biết dòng nào chạm vào số 1, bạn có thể kết luận rằng không có dòng nào khác có thể chạm vào nó. Chúng ta có thể khái quát hóa lý do sau khi điền các quy tắc: nếu một số x chạm vào x dòng thì tất cả các ô vuông lân cận khác có các dòng không chạm vào số. Và đối xứng: nếu một số x là góc của ô vuông (4 x) với các dòng không chạm vào số thì tất cả các ô vuông lân cận khác phải có các dòng chạm vào số.

Googling xung quanh cho cụm từ "Gokigen Naname" Tôi tìm thấy nhiều quy tắc hơn. Một là khoảng hai lân cận 1 (11), nhưng Mweerden đã bao phủ nó.

Các quy tắc này không đủ để giải quyết bảng. Có thể có những quy tắc khác. Nhưng cuối cùng thuật toán có thể phải đoán.

Answer 2

"Hợp lý" là một thuật ngữ rất rộng. Như Orbling đã đề cập trong các ý kiến, backtracking có thể được coi là hợp lý. Người ta cũng có thể hiểu "hợp lý" như ý nghĩa làm thế nào để giải quyết nó bằng cách dịch nó thành một công thức logic. Từ những bình luận tôi thu thập, bạn đang cố gắng thực hiện một người giải quyết, tương tự như một người giải Sudoku phổ biến.

Cách đơn giản để triển khai trình giải quyết, tương tự như một giải pháp cho Sudokus, là tìm các mẫu nhất định. Đối với các câu đố được tạo ra bởi chương trình bạn đề cập đến, tôi có thể nói với sự tự tin hợp lý rằng điều này là đủ để giải quyết chúng mà không cần đoán và quay lại.

Một số ví dụ về các mẫu hiển nhiên là <11> và >33<. Đặc biệt 2 có một số thuộc tính "transitive" đẹp. Ví dụ: <12...23 -> <12...23< (với 2 ... 2 số lượng tùy ý là 2 giây). Hãy thử giải quyết của bạn trên các ví dụ khác nhau và khi nó bị mắc kẹt Tôi chắc rằng bạn đã tìm thấy một ví dụ có thể dạy cho bạn một mô hình khác.