网格中的连续单元格组

Question

我正在开发一个解谜器（nonograms、griddler、picross...），只是为了好玩并学习更多 ASP。（您可以在维基百科中阅读更多关于这些谜题的信息 https://en.wikipedia.org/wiki/Nonogram）

我想检查是否有一组水平连续的黑色单元格 (cell(I,J,o)) 被两个白色单元格 (cell(I,J,x)) 包围，一个在左边，一个在右边组.

#const rows = 3.
#const cols = 3.

symbol(x;o).

row(0..rows+1).
col(0..cols+1).

% Padding surrounding the puzzle so we can check every group's surroundings
cell(I,0,x) :- row(I).
cell(I,cols+1,x) :- row(I).  
cell(0,J,x) :- col(J).
cell(cols+1,J,x) :- col(J).

% Assign symbols to every cell available
1 { cell(I, J, S) : symbol(S) } 1 :- row(I), col(J).

% Horizontal block (row,starting col,length)
hblock(I,J1,L) :- row(I), col(J1), col(J2), J1 <= J2, L = J2-J1+1, 
                    col(J1-1), col(J2+1), cell(I,J1..J2,o),
                    cell(I,J1-1,x), cell(I,J2+1,x).

% Output only cells that are not padding
out_cell(I,J,S) :- cell(I,J,S), I > 0, J > 0, I <= rows, J <= cols.

#hide.
#show hblock/3.
#show out_cell/3.

如您所见，我在 hblock/3 定义中使用 cell(I,J1..J2,o) 来检查 col(J1) 和 col(J2) 之间的每个单元格是否为黑色（标有 o符号），但是当给出以下输入时：

cell(1,1,x). cell(1,2,x). cell(1,3,x).
cell(2,1,o). cell(2,2,x). cell(2,3,o).
cell(3,1,x). cell(3,2,x). cell(3,3,x).

它输出 hblock(2,3,1) hblock(2,1,3) hblock(2,1,1)，这意味着它正在检测单个黑色单元格的两个块（In (2,1) 和 (2,3)）和更大的三个黑色单元格块（2 ,1) 和 (2,3)，但不应检测到它，因为它在中间有一个标有 x 的单元格...

我做错了什么？

Answer 1

如果我没记错的话，cell(I,J1..J2,o) 将为 J1 和 J2 之间的每个数字生成单独的规则。它不会在同一行上扩展它们，即在一个规则中。所以

hblock(I,J1,L) :- row(I), col(J1), col(J2), J1 <= J2, L = J2-J1+1, 
                col(J1-1), col(J2+1), cell(I,J1..J2,o),
                cell(I,J1-1,x), cell(I,J2+1,x).

扩展到

...
hblock(1,1,1) :- cell(1,1,o).
hblock(1,2,1) :- cell(1,2,o).
hblock(1,3,1) :- cell(1,3,o).
hblock(1,1,2) :- cell(1,1,o).
hblock(1,1,2) :- cell(1,2,o).
hblock(1,2,2) :- cell(1,2,o).
hblock(1,2,2) :- cell(1,3,o).
hblock(1,1,3) :- cell(1,1,o).
hblock(1,1,3) :- cell(1,2,o).
hblock(1,1,3) :- cell(1,3,o).
...

我还没搞清楚为什么 hblock(2,1,2) 和 hblock(2,2,2) 不见了，但这可能不是很相关。

网格中的连续单元格组

Contiguous group of cells in grid

answer-set-programming