【发布时间】：2012-07-25 08:24:41
【问题描述】：
为了学习使用递归，我正在尝试制作数独求解器。我似乎已经让大部分代码可以很好地协同工作，但是当我运行程序时，我收到一个 Windows 错误，告诉我程序已停止工作。调试表明存在分段错误，我在其他地方看到这可能是由太多递归引起的。我知道这是一种蛮力方法，但同样，我更担心让它发挥作用而不是速度。我可以做些什么来解决这个问题？
struct Playing_grid {
//Value of cell
int number;
//wether the number was a clue or not
bool fixed;
}
grid[9][9];
void recursiveTest(int row, int column, int testing)
{
//first, check to make sure it's not fixed
if(grid[row][column].fixed == false)
{
if((checkRow(testing, row) | checkColumn(testing, column) | checkBox(testing,boxNumber(row,column)) | (testing > 9)) == 0)
{
grid[row][column].number = testing;
moveForward(row,column,testing);
recursiveTest(row, column, testing);
}
else if(testing < 9)
{
testing ++;
recursiveTest(row, column, testing);
}
else if(testing == 9)
{
while(testing == 9)
{
moveBack(row,column,testing);
while(grid[row][column].fixed == true)
{
{
moveBack(row,column,test);
}
}
testing = grid[row][column].number;
recursiveTest(row,column,testing);
}
}
}
else
{
moveForward(row,column,testing);
recursiveTest(row,column,testing);
}
}
void moveForward(int& row, int& column, int& test)
{
if(column < 8)
{
column ++;
}
else if((column == 8) & (row != 8))
{
column = 0;
row ++;
}
else if((column == 8) & (row == 8))
{
finishProgram();
}
test = 1;
}
void moveBack(int& row, int& column, int& test)
{
grid[row][column].number = 0;
if(column > 0)
{
column --;
}
else if((column == 0) & (row > -1))
{
column = 8;
row --;
}
else
{
cout << "This puzzle is unsolveable!" << endl;
}
test++;
}
我试图包含所有相关的部分。我基本上创建了一个 9x9 矩阵，此时它填充了 81 个值，其中空槽写为 0。确认测试值在行、列和框中有效后，它填充该值并移动到下一个空间。每当它运行到 9 并且没有可能的值时，它就会返回到前一个值并遍历那个值。
为了不覆盖已知值，递归函数每次都会检查 grid[row][column].fixed 的值是否为 false。
对于清理、浓缩等方面的任何见解，我将不胜感激。提前致谢！
编辑：要退出递归循环，当调用函数向前移动时，如果它已到达最后一个单元格，则完成（保存+输出）解决方案。已对代码进行了调整以反映这一点。
【问题讨论】：
-
你的调试器告诉你你的分段错误是什么？
-
我不熟悉 C（我假设是这样），但作为伪代码快速浏览一下，您的算法似乎有缺陷。我看不到通过 recursiveTest 本身不调用 recursiveTest 的方法，这意味着它将无限递归。您需要让一些调用完成，以便它们可以脱离堆栈。作为一般规则，我希望 moveBack 只在一个单元格之后直接调用到 recursiveTest ；在 while 循环中不重复。
-
我得到的关于分段错误的所有信息都是“程序收到信号 SIGSEGV，分段错误”消息。我不知道如何获取有关该消息的更多信息。我忘记在 moveForward 循环中实现一个部分 - 当它到达网格中的最后一个空间 (8,8) 并且它是有效的时，我让它保存并输出完成的拼图。此外，while 循环会检查前一个单元格的固定值，并继续检查直到达到未知值。
标签： recursion segmentation-fault sudoku