剑指面试题12. 矩阵中的路径 （原地修改和创建额外数组两种解法）

解法1：创建额外数组记录访问与否

bool findRecu(char** board, int rows, int cols, int row, int col, char* word, bool* visited) {
    if (*word == '\0')                     //不可以和下一个if调换顺序
        return true;

    if (row < 0 || row >= rows || col < 0 || col >= cols               //越界检查
        || board[row][col] != *word || visited[row*cols + col] == true)//不匹配检查
        return false;

    visited[row*cols + col] = true;
    word++;
    bool res = findRecu(board, rows, cols, row-1, col, word, visited)
            || findRecu(board, rows, cols, row+1, col, word, visited)
            || findRecu(board, rows, cols, row, col-1, word, visited)
            || findRecu(board, rows, cols, row, col+1, word, visited);

    if (!res) {
        visited[row*cols + col] = false;
        word--;
    }

    return res;
}

bool exist(char** board, int boardSize, int* boardColSize, char* word) {
    if (*board == NULL || board == NULL || boardSize <= 0
        || boardColSize == NULL || *boardColSize <= 0 || word == NULL)
        return false;

    if (*word == '\0')                   //空串自然匹配
        return true;

    bool res = false;
    bool *visited = (bool*)calloc(boardSize*(*boardColSize), sizeof(bool));   //一维数组
    for (int i = 0; i < boardSize; i++)
        for (int j = 0; j < *boardColSize; j++)
            if (findRecu(board, boardSize, *boardColSize, i, j, word, visited)) {
                res = true;
                break;                   //跳出循环释放内存
            }
    
    free(visited);
    return res;
}

有几点想说明一下：

1：findRecu中第一个if和第二个if不能互换位置。如果word中字符和board中所有字符完全匹配，再次进入函数时第二个if只能是false，但此时word已经匹配完成了。

2：word无需额外变量记录长度或者下标。指针变量是值传递，传递的是地址，修改的地址传递下去会生效。

3：findRecu中越界检查和不匹配检查写在一起，代码会变得很简洁易懂，也不容易出错。

4：额外数组的创建可以如解法1一样，简单地创建一个一维数组，注意一维寻址（visited）和二维寻址（board）的一致性。如果想创建一个二维数组，可参考如下操作：

int **arr = (int **)malloc(sizeof(int *) * rows);
for (i = 0; i < rows; i++) {   
    arr[i] = (int *)malloc(sizeof(int) * cols);
    memset(arr[i], 0, sizeof(int) * cols);     //malloc必须初始化
}

      其中如果用的calloc可以省略memset初始化，相关知识点已在作者博文中详细介绍。

5：findRecu的if (!res)，是因为visited和word是全部查找都共用的，若不匹配自然需要把变量修改为原来的样子。

6：在堆中分配空间，自然莫忘了free，不能在exist函数中的双for循环中直接return。

解法2：不分配额外空间

//利用宏
#define NONALPHABET '#'                    //可以是任何作为区分的非字母字符
bool findRecu(char** board, int rows, int cols, int row, int col, char* word) {
    if (*word == '\0')                     //不可以和下一个if调换顺序
        return true;

    if (row < 0 || row >= rows || col < 0 || col >= cols               //越界检查
        || board[row][col] != *word || board[row][col] == NONALPHABET)//不匹配检查
        return false;

    char current_char = board[row][col];   //记录将被修改掉的原字符
    board[row][col] = NONALPHABET;         //将已经匹配的字符做标记
    word++;
    bool res = findRecu(board, rows, cols, row-1, col, word)
            || findRecu(board, rows, cols, row+1, col, word)
            || findRecu(board, rows, cols, row, col-1, word)
            || findRecu(board, rows, cols, row, col+1, word);

    if (!res) {
        board[row][col] = current_char;
        word--;
    }

    return res;
}

bool exist(char** board, int boardSize, int* boardColSize, char* word) {
    if (*board == NULL || board == NULL || boardSize <= 0
        || boardColSize == NULL || *boardColSize <= 0 || word == NULL)
        return false;

    if (*word == '\0')                   //空串自然匹配
        return true;

    for (int i = 0; i < boardSize; i++)
        for (int j = 0; j < *boardColSize; j++)
            if (findRecu(board, boardSize, *boardColSize, i, j, word)) {
                return true;
            }
    
    return false;
}

思路和解法1基本一致，区别在于用原地修改替代创建矩阵来记录已匹配的足迹。