作者buffalobill (水牛比尔)
看板puzzle
标题Re: [问题] 数墙Nurikabe题目产生器的唯一性检查
时间Fri Sep 11 16:18:03 2026
问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://webptt.com/cn.aspx?n=bbs/puzzle/M.1789114685.A.73F.html
※ buffalobill:转录至看板 Math 09/11 16:18