论文标题
用固定数量的行枚举基于网格的难题的解决方案
Enumerating solutions to grid based puzzles with a fixed number of rows
论文作者
论文摘要
在本文中，我们演示了一种计算各种逻辑难题解决方案数量的方法。具体来说，我们从拼图中删除了所有“线索”，这些线索有助于求解器进入唯一的解决方案，而是从空网格开始。然后，我们计算填充此空网格的方法数量到有效的解决方案。我们修复了行$ r $的数量，更改列$ k $的数量，然后计算序列$ a_r（k）$，该序列$ a_r（k）$在空的大小$ r \ times k $的空网格上提供了解决方案的数量。
In this paper we demonstrate a method for counting the number of solutions to various logic puzzles. Specifically, we remove all of the "clues" from the puzzle which help the solver to a unique solution, and instead start from an empty grid. We then count the number of ways to fill in this empty grid to a valid solution. We fix the number of rows $r$, vary the number of columns $k$, and then compute the sequence $A_r(k)$, which gives the number of solutions on an empty grid of size $r \times k$.
