LeetCode 单词拆分题小结

139. 单词拆分

给定一个非空字符串 s 和一个包含非空单词列表的字典 wordDict，判定 s 是否可以被空格拆分为一个或多个在字典中出现的单词。

原题链接

解题思路： 此题应该是典型的动态规划解题，定义dp[len]表示前len个字符组成的字符串能否被拆分，然后状态转移即为长度为len的后L个字符组成的字符串是否在字典中，若在则dp[len]取决于长度为len-L是否能拆分，即dp[len-L]的值，OK，状态转移方程为$$dp[len]=dp[len-L]\&\&substr(L)\in wordDict$$，L的长度不用取遍len，只用取遍len与wordDict中最大字符串长度即可。

class Solution {
public:
    bool wordBreak(string s, vector<string>& wordDict) {
        int len = s.size();
        vector<bool> dp(len + 1, false);
        int maxLen = INT_MIN;
        unordered_set<string> st(wordDict.begin(), wordDict.end());
        for (auto a : wordDict) {
            maxLen = max(maxLen, (int)a.size());
            if (st.count(s.substr(0, a.size()))) dp[a.size()] = true;
        }
        for (int i = 1; i <= len; ++i) {
            for (int j = 1; j <= maxLen && j < i; ++j) {
                string sub = s.substr(i - j, j);
                if (st.count(sub) && dp[i - j]) {
                    dp[i] = true;
                    break;
                }
            }
        }
        return dp[len];
    }
};

140. 单词拆分 II

给定一个非空字符串 s 和一个包含非空单词列表的字典 wordDict，在字符串中增加空格来构建一个句子，使得句子中所有的单词都在词典中。返回所有这些可能的句子。

原题链接

解题思路： 本题是题139的进阶，题139只需要判断给定的单次能否拆分，而本题要求如果能拆分，则返回所有拆分的可能结果，在题139中给出的解法是动态规划解题，因为值需要返回一个值性质的结果，因此动态规划是最方便的。本题由于要求出所有可能的拆分，因此需要探索此题最原始的做法，如果让我们手动解题，我们会尝试从前往后依次找落在字典wordDict中子串处加空格，若最后发现无法拆分时，则回退再尝试在其他地方加空格，而这是典型的图的遍历解法，确切的说是深度优先遍历，由于拆分过程中会出现相同的字符串，易造成重复计算，因此加一个记忆数组保存已计算的结果。

类似这种求所有组合的题，特征是转入子状态(i.e.,往下一步遍历)后，生成的结果，与当前以解决的状态进行组合的结果，作为当前这个状态要求的结果，我们往往需要设计一个巧妙的递归函数形式(i.e.,返回值为当前状态结果集，形参为当前初始状态)。

注，题主在解此题时遇到的几个bug(题主的错误)，当判断到截取的子串在字典内，并且剩下的子串长度为0，i.e.,当前状态字符串在字典中，我们应该直接将当前状态字符串添加到res并break。

解题条件判断的完备和缜密在编程时非常重要。

class Solution {
public:
    vector<string> helper(string s, unordered_set<string> &st, unordered_map<string, vector<string>> &m, int maxLen) {
        if (s.empty()) return {};
        if (m.count(s)) return m[s];
        vector<string> res;
        for (int i = 0; i <= maxLen && i <= s.size(); ++i) {
            string sub = s.substr(0, i);
            if (st.count(sub)) {
                if (sub == s) {
                    res.push_back(s);
                    break;
                }
                vector<string> t = helper(s.substr(i), st, m, maxLen);
                for (auto &a : t) {
                    res.push_back(sub + " " + a);
                }
            }
        }
        return m[s] = res;
    }
    vector<string> wordBreak(string s, vector<string>& wordDict) {
        unordered_set<string> st(wordDict.begin(), wordDict.end());
        int maxLen = INT_MIN;
        for (auto &w : wordDict) maxLen = max(maxLen, (int)w.size());
        unordered_map<string, vector<string>> m;
        return helper(s, st, m, maxLen);
    }
};

————————————

写在后面：

1. 本题的本质解法，或者说通解是暴力遍历，i.e., 暴力枚举，深度优先搜索，然后降低计算量会选择采取记忆数组，深度优先遍历+记忆数组是常考的组合；
2. 若只问拆分的布尔值结果，采取动态规划，若问拆分的字符串结果，采取DFS+memo；
3. DFS+memo一般都可以做成DP的题，不过什么题适合DP什么题适合DFS，一下子也说不清楚，不过感觉是，求详细结果，比如所有组合序列的题适合DFS暴力枚举，求判断结果的，包含明显的状态转移的题适合DP，实在不好判断，可以朝DFS和DP两个方向都试试。