leetcode 139 单词拆分 动态规划

给你一个字符串 s 和一个字符串列表 wordDict 作为字典。请你判断是否可以利用字典中出现的单词拼接出 s 。注意：不要求字典中出现的单词全部都使用，并且字典中的单词可以重复使用.示例 1：输入: s = "leetcode", wordDict = ["leet", "code"]输出: true解释: 返回 true 因为 "leetcode" 可以由 "leet" 和 "code" 拼接成。

我们定义 dp[i]表示字符串 s前i 个字符组成的字符串 s[0..i−1]是否能被空格拆分成若干个字典中出现的单词。从前往后计算考虑转移方程，每次转移的时候我们需要枚举包含位置i−1 的最后一个单词，看它是否出现在字典中以及除去这部分的字符串是否合法即可。公式化来说，我们需要枚举s[0..i−1] 中的分割点 j，看s[0..j−1] 组成的字符串 s1

 （默认 j=0 s1为空串）和 s[j..i−1]组成的字符串 s2是否都合法，如果两个字符串均合法，那么按照定义 s1和 s2 拼接成的字符串也同样合法。由于计算到 dp[i]时我们已经计算出了 dp[0..i−1]的值，因此字符串 s1是否合法可以直接由 dp[j]dp[j]dp[j] 得知，剩下的我们只需要看 s2  是否合法即可，因此我们可以得出如下转移方程：dp[i]=dp[j] && check(s[j..i−1])其中 check(s[j..i−1])表示子串 s[j..i−1] 是否出现在字典中。

对于检查一个字符串是否出现在给定的字符串列表里一般可以考虑哈希表来快速判断，同时也可以做一些简单的剪枝，枚举分割点的时候倒着枚举，如果分割点 j 到 i的长度已经大于字典列表里最长的单词的长度，那么就结束枚举，但是需要注意的是下面的代码给出的是不带剪枝的写法。对于边界条件，我们定义 dp[0]=true表示空串且合法。

例如：leetcode

lee dict{}拼出来有：l+ee;   le+e;  lee+' ';

tcode dict{}拼出来有：t+code;  tc+ode;  tco+de;  tcod+e;  tcode+'  ';

dp[i] =?能否由dict拼出前i个字符

lee:   dp[3]=for(j in [0,i-1] ){ dp[j] && dict[j-i]};

//计算一串字符串的hash值,字符串hash是指将一个字符串s映射为一个，使得该整数可以尽可能唯一的代表也就是唯一标识。换言之，如果两个字符的hash值相同那么我们可以认为两者相同
unsigned long long Hash(char* s, int l, int r) {
    unsigned long long value = 0;
    for (int i = l; i < r; i++) {
        value = value * 2333ull;
        value += s[i] - 'a' + 1;
    }
    return value;
}

bool query(unsigned long long* rec, int len_rec, unsigned long long x) {
    for (int i = 0; i < len_rec; i++) {
        if (rec[i] == x) return true;
    }
    return false;
}
bool wordBreak(char* s, char** wordDict, int wordDictSize) {
    unsigned long long rec[wordDictSize + 1];
    for (int i = 0; i < wordDictSize; i++) {
        rec[i] = Hash(wordDict[i], 0, strlen(wordDict[i]));
    }
    int len_s = strlen(s);
    bool dp[len_s + 1];
    memset(dp, 0, sizeof(dp));
    dp[0] = true;
    for (int i = 1; i <= len_s; i++) {
        for (int j = 0; j < i; j++) {
            if (dp[j] && query(rec, wordDictSize, Hash(s, j, i))) {
                dp[i] = true;
                break;
            }
        }
    }
    return dp[len_s];
}