Re: [問題] 數牆Nurikabe題目產生器的唯一性檢查

[buffalobill (水牛比爾)]

問AI最後也是給出使用 google ortools cp-sat 去硬算有沒有重複解
也就是將 nurikabe 轉化成SAT問題
啊SAT就是 NP-Complete 一定敵不過數量增長的
想不出比較「數學」的解法哭哭

而且 ortools 本身是C++專案
能用 python 跑，但瀏覽器純js是不支援的

最後給大家一個24x24，用cp-sat確認過僅唯有一解的題目
大家玩玩看吧

┌────────────────────────┐
│　２　　１　　１　　　　１　１　　　　　　　　　│
│　　１　　　11　４　　　　　　　　　　　10　　　│
│１　　　１　　　　　　　　　　　７　　　　　　　│
│　　１　　　　　１　１　　　　４　　　　　　　　│
│２　　　　　　　　　　４　　　　１　　　　　　　│
│　　１　　　　　１　１　　　　　　　　　　　　　│
│１　　　　　　　　　　　１　１　　　　　　　　　│
│　　　　　　１　　　　２　　　　　　　　　　　７│
│１　　　１　　５　　　　１　１　　　　　　　１　│
│　　　４　　１　　　　　　　　32　　　　　　　　│
│１　　　１　　　　　　　１　１　　　　　　２　　│
│　　１　　　　　　　　４　　　　　　２　１　　　│
│　　　５　　　　　４　　３　１　　　　　　　１　│
│　　１　　　１　　　１　　　　10　　　　　　　　│
│　４　　１　　１　　　　　　１　　　　　　　１　│
│　　３　　２　　１　１　　　　　　　１　１　　　│
│１　　　１　　　　８　　１　　　　　　　　２　　│
│　　　　　　　　　　　　　10　　　　　　３　　　│
│１　　　１　　　　　　　５　　　　　　　　２　　│
│　　１　　　　　１　　　　　　　　　　　１　　１│
│２　　　　　　　　　　　　　　　　　　　　　１　│
│　　１　　　　　１　１　　　　　　　　　　　　　│
│２　　　　　　　　　　９　　　　９　　　　　４　│
│　　１　11　１　１　　　　　　　　２　　３　　　│
└────────────────────────┘

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 60.251.148.94 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/puzzle/M.1789114685.A.73F.html
※ buffalobill:轉錄至看板 Math                                     09/11 16:18