遊び方 · asobikata
Cách chơi
Hashiwokakero (橋をかけろ, “hãy xây cầu!”) là câu đố logic do Nikoli phát hành. Hãy nối tất cả các đảo bằng cầu sao cho số cầu của mỗi đảo đúng bằng con số ghi trên nó.
Đếm cầu
Con số trên đảo cho biết có bao nhiêu cây cầu nối tới đảo đó.
Một hoặc hai
Hai đảo có thể được nối bằng một cầu gỗ đơn hoặc một cầu đôi đỏ son, không hơn.
Thẳng, không cắt nhau
Cầu chạy theo chiều ngang hoặc dọc và không được cắt qua cầu khác hay đảo.
Một quần đảo
Cuối cùng, từ mỗi đảo phải đi được tới mọi đảo khác.
Một câu đố đã giải
Điều khiển 操作
Bấm vào mặt nước giữa hai đảo để xây cầu, bấm lần nữa để thêm cầu thứ hai, lần thứ ba sẽ gỡ bỏ.
Hoặc kéo từ một đảo về phía đảo láng giềng, hoặc bấm lần lượt vào hai đảo.
Chuột phải / Shift + bấm để gỡ một cây cầu.
Ctrl Z Hoàn tác · Ctrl Y Làm lại · H Gợi ý
Đảo hoàn thành chuyển xanh lá, đảo thừa cầu chuyển đỏ. Bí rồi? Hãy nhờ bộ giải SAT gợi ý hoặc kiểm tra các cây cầu của bạn.
Bên trong 仕組み
Mỗi cây cầu khả dĩ e giữa hai đảo láng giềng có hai biến boolean: e₁ (có ít nhất một cầu) và e₂ (có cầu thứ hai), với e₂ → e₁ để mỗi cách xếp cầu ứng với đúng một mô hình.
¬e₂ ∨ e₁Một đảo mang số n cần đúng n biến của nó nhận giá trị đúng, được viết thành các mệnh đề trên mọi tổ hợp. Các cầu cắt nhau loại trừ lẫn nhau:
¬h₁ ∨ ¬v₁Tính liên thông khó biểu diễn trong CNF, nên được thêm vào một cách lười biếng: mỗi khi bộ giải trả về các nhóm đảo tách rời, một mệnh đề yêu cầu có cầu đi ra khỏi nhóm đó được thêm vào và bộ giải chạy lại.
Bộ sinh tạo ra một quần đảo ngẫu nhiên và chứng minh tính duy nhất bằng cách chặn lời giải vừa tìm được rồi yêu cầu bộ giải tìm lời giải khác. Hãy thử các chế độ bộ giải khác nhau trong phòng lab.
よくある質問 · FAQ
Câu hỏi về Hashiwokakero
- Hashiwokakero là gì?
- Hashiwokakero (橋をかけろ, “hãy xây cầu”), còn gọi là Nối cầu, Bridges hay Hashi, là câu đố logic Nhật Bản do Nikoli phát hành. Lưới gồm các hòn đảo đánh số; bạn nối chúng bằng các cây cầu ngang và dọc sao cho số cầu của mỗi đảo đúng bằng con số của nó, không có cầu nào cắt nhau, và tất cả các đảo tạo thành một nhóm liên thông.
- Hai đảo có thể được nối bởi bao nhiêu cây cầu?
- Tối đa hai. Một cầu đơn hoặc cầu đôi có thể nối hai đảo nằm cùng hàng hoặc cùng cột mà không có gì ở giữa.
- Các cây cầu có được cắt nhau không?
- Không. Cầu chạy thẳng theo chiều ngang hoặc dọc, không được cắt qua cầu khác cũng như không được đi qua đảo.
- Tất cả các đảo có phải được nối với nhau không?
- Có. Trong một câu đố đã hoàn thành, bạn có thể đi từ bất kỳ đảo nào tới bất kỳ đảo nào khác qua các cây cầu, các đảo tạo thành một mạng lưới duy nhất.
- Có luôn đúng một lời giải không?
- Trên Hashi thì có: mỗi câu đố được tạo ra đều được bộ giải SAT kiểm tra và chứng minh không tồn tại lời giải thứ hai, nên bạn không bao giờ phải đoán.