剑指Offer：[第14天 搜索与回溯算法(中等)]---＞矩阵中的路径

---

一、题目描述

给定一个 m x n 二维字符网格 board 和一个字符串单词 word 。如果 word 存在于网格中，返回 true ；否则，返回 false 。单词必须按照字母顺序，通过相邻的单元格内的字母构成，其中“相邻”单元格是那些水平相邻或垂直相邻的单元格。同一个单元格内的字母不允许被重复使用。例如，在下面的 3×4 的矩阵中包含单词 “ABCCED”（单词中的字母已标出）。

示例1：

输入：board = [["A","B","C","E"],["S","F","C","S"],["A","D","E","E"]], word = "ABCCED"
输出：true

示例2：

输入：board = [["a","b"],["c","d"]], word = "abcd"
输出：false

提示：

1 <= board.length <= 200
1 <= board[i].length <= 200
board 和 word 仅由大小写英文字母组成

二、思路分析

注：思路分析中的一些内容和图片参考自力扣各位前辈的题解，感谢他们的无私奉献

思路

本问题是典型的矩阵搜索问题，可使用深度优先搜索(DFS)+剪枝解决。
深度优先搜索：可以理解为暴力法遍历矩阵中所有字符串可能性。DFS通过递归，先朝一个方向搜到底，再回溯至上个节点，沿另一个方向搜索，以此类推。
剪枝：在搜索中，遇到这条路不可能和目标字符串匹配成功的情况(例如：此矩阵元素和目标字符不同、此元素已被访问)，则应立即返回，称之为可行性剪枝 。

算法流程：
①写两个循环，遍历二维数组中的每一个元素，对每个元素进行DFS
②在DFS中，执行以下操作：
----首先判断当位置行、列是否越界，数组中的值是否等于字符串中对应的字母。如果有一个不满足，则返回false
----若上面条件都满足，则说明当前位置的字母匹配上了。于是判断当前字母是否是字符串的最后一个字母，如果是则返回true
----若当前字母不是字符串的最后一个字母，则将当前字母设置为已访问，然后对周围四个字母进行DFS，将返回值赋给res
----周围四个字母DFS结束后，将当前字母设置为未访问，然后移动到下一个位置，继续循环执行上述操作
----返回res
案例分析：

















复杂度分析：
时间复杂度$\mathrm{O}(3^{\mathrm{K}}\mathrm{M}\mathrm{N})$：最差情况下，需要遍历矩阵中长度为K字符串的所有方案。设字符串长度为K，搜索中每个字符有上、下、左、右四个方向可以选择，舍弃回头(上个字符)的方向，剩下3种选择，因此方案数的时间复杂度为$\mathrm{O}(3^{\mathrm{K}})$。矩阵中共有MN个起点，时间复杂度为$\mathrm{O}(\mathrm{M}\mathrm{N})$。
空间复杂度$\mathrm{O}(\mathrm{K})$：搜索过程中的递归深度不超过K，因此系统因函数调用累计使用的栈空间占用$\mathrm{O}(\mathrm{K})$(因为函数返回后，系统调用的栈空间会释放)。最坏情况下K=MN，递归深度为MN，此时系统栈使用O(MN)的额外空间。

三、整体代码

整体代码如下

/*
参数：
board：       二维的网格
i：           当前位置的行坐标
boardSize：   总行数
j：           当前位置的列坐标
boardColSize：列总数
word:         需要寻找的单词
k：           当前寻找word中的第k个字符
*/

bool dfs(char** board, int i, int boardSize, int j, int boardColSize, char* word, int k){
    //如果行列坐标越界、word的字母和网格的字母不对应，返回false
    if(i < 0 || i >= boardSize || j < 0 || j >= boardColSize || board[i][j] != word[k]) return false;
    //能够运行到这里，说明word的字母和网格的字母对应，同时也没有越界。如果已经处理到word最后一个字母，则返回true
    if(k == strlen(word)-1) return true;
    /*
    如果还不是最后一个字母，则对周围四个字母进行DFS
    同时，需要将这个字母置为'\0'，代表已经访问过，让周围4个字母进行DFS时不考虑这个字母
    */
    board[i][j] = '\0';
    bool res = dfs(board, i+1, boardSize, j, boardColSize, word, k+1) || 
               dfs(board, i-1, boardSize, j, boardColSize, word, k+1) ||
               dfs(board, i, boardSize, j-1, boardColSize, word, k+1) ||
               dfs(board, i, boardSize, j+1, boardColSize, word, k+1);
    //周围四个字母DFS完成后，将这个字母重新置为未访问，因为其他字母进行DFS还需要去搜索它
    board[i][j] = word[k];              

    return res;
}

bool exist(char** board, int boardSize, int* boardColSize, char* word){
    //对每一个节点进行DFS，如果成功找到则返回true
    for(int i = 0; i < boardSize; i++){
        for(int j = 0; j < *boardColSize; j++){
            if(dfs(board, i, boardSize, j, *boardColSize, word, 0)) return true;
        }
    }
    //否则返回false
    return false;
}

运行，测试通过