什麼是數織解題器?
數織解題器會接收圖像邏輯謎題的數字提示,計算哪些格子必須填滿、哪些格子必須留空。Picross、Griddlers、Hanjie 與日式填圖常使用相同規則,因此同一個工具可以協助這些不同名稱的謎題。
提示描述連續填滿格的區塊。提示 4 2 表示先有 4 格填滿,至少 1 格空白,再有 2 格填滿。解題器會比較每一列與每一行的可能模式,直到找到同時符合兩個方向提示的圖像盤面。
- 輸入數織、Picross、Griddlers 或 Hanjie 的列與行提示。
- 檢查提示是否存在有效答案。
- 在限制條件相符時顯示完成盤面。
- 找出不可能、過於開放或不唯一的提示組。
如何使用這個數織解題器
先選擇寬度與高度。寬度是列數,高度是行數。提示格控制每一列與每一行顯示多少提示輸入格;請選擇足以容納最長提示線的數量。
建立盤面後,在上方輸入列提示,在左側輸入行提示。未使用的格子可留空。如果整列或整行沒有填滿格,可以留空或輸入 0,然後按求解。
- 選擇寬度、高度與提示格。
- 按建立盤面。
- 由上到下輸入列提示。
- 由左到右輸入行提示。
- 按求解以填出答案盤面。
數織提示如何運作
每個數字代表一段填滿區塊的長度。同一條線有多個數字時,它們必須依照列出的順序出現,區塊之間至少要有一格空白。第一個區塊前方與最後一個區塊後方的空白可以是任意長度,也可以是 0。
這條簡單規則就是數織的邏輯核心。當某段區塊夠長,所有可能位置都會重疊時,重疊的格子一定要填滿。區塊固定後,周圍的格子也常常會變成空白分隔。
- 5 表示一段 5 格填滿區塊。
- 1 1 表示兩個單格區塊,中間至少有一格空白。
- 0 或空白線表示該線沒有填滿格。
- 列與行必須對應到同一組填滿格。
沒有解答或有多個解答
有效的數織需要列提示與行提示描述相同的填滿格總數。如果列提示合計 32 格填滿,但行提示合計只有 30 格,就不可能有解。
有些提示組雖然總數一致,但仍可能不唯一。這表示多個盤面都符合所有規則。好的公開數織通常只有一個解,因為唯一性讓玩家可以靠邏輯前進,而不是靠猜測。
解題器如何運作
解題器會先產生每一列與每一行的所有合法模式,再移除與已確認格子矛盾的模式。當某條線剩下的所有模式都同意某一格的狀態時,那一格就會被強制確定。
如果強制邏輯無法完成盤面,它會進行受控搜尋。它會選擇剩餘可能性最少的線,測試其中一種模式,並只保留仍然符合所有交叉提示的分支。