leetcode——第115题——不同的子序列

题目：
给定一个字符串 s 和一个字符串 t ，计算在 s 的子序列中 t 出现的个数。

字符串的一个 子序列 是指，通过删除一些（也可以不删除）字符且不干扰剩余字符相对位置所组成的新字符串。（例如，“ACE” 是 “ABCDE” 的一个子序列，而 “AEC” 不是）

题目数据保证答案符合 32 位带符号整数范围。

class Solution {
/*
动态规划五部曲：

* 1、确定 dp 数组以及下标的含义
  * dp[i] [j]： 以 i-1 结尾的 s 字符串的子序列 出现在 以 j-1 结尾的 t 字符串中的个数为 dp[i] [j]
  * 也就是 行 是较小的字符串，列 是较大的字符串。
* 2、确定递推公式
  * 情况一：s[i - 1] 与 t[j - 1]相等，dp[i] j] = dp[i - 1] [j - 1] + dp[i - 1] [j]。
    * 此时 dp[i] [j] 由两部分组成
    * 操作一：用 s[i - 1] 来匹配，那么个数为 dp[i - 1] [j - 1]
    * 操作二：不用s[i - 1]来匹配，那么个数为dp[i - 1] [j]。
    * 举个例子：s：bagg 和 t：bag 。
      * 用 s[3] 来匹配，s[0] s[1] s[3]组成的 bag。
      * 不用 s[3] 来匹配，s[0] s[1] s[2]组成的 bag。
  * 情况二：s[i - 1] 与 t[j - 1]不相等，dp[i] [j] = dp[i - 1] [j]
    * 此时只有一种操作，那就是不用 s[i - 1]

* 3、dp 数组初始化
  * 从递推公式看出，dp[i] [0] 和 dp[0] [j] 是一定要初始化的，初始化的时候不要凭空来想象，回想一下 dp 数组的定义。
    * dp[i] [0] ：以i-1为结尾的s可以随便删除元素，出现空字符串的个数，所以把以i-1为结尾的s，删除所有元素，出现空字符串的个数就是1。所以 **dp[i] [0] = 1**;
    * dp[0] [j]：空字符串 s 可以随便删除元素，出现以 j-1 为结尾的字符串t的个数。此时dp[0] [j]一定都是0，s如论如何也变成不了t 。所以 **dp[0] [j] = 0**。
    * dp[0] [0]：这个位置表示 空字符串 s 可以删除 0 个元素，变成空字符串 t。所以 **dp[0] [0] = 0**。

* 4、确定遍历顺序
  * 由递推公式可以看出，dp[i] [j] 都是根据左上方 和 正上方推出来的。所以遍历的顺序一定是从上到下，从左到右。
*/
public:
    int numDistinct(string s, string t) 
    {
        vector<vector<long long>> dp(s.size() + 1, vector<long long>(t.size() + 1, 0));
        for(int i = 0; i <= s.size(); ++i)
        {
            dp[i][0] = 1;
        }
        for(int i = 1; i <= s.size(); ++i)
        {
            for(int j = 1; j <= t.size(); ++j)
            {
                // 因为有数据溢出，所以多了一句判断。
                if(s[i - 1] == t[j - 1] && LLONG_MAX - dp[i - 1][j] >= dp[i - 1][j - 1])
                {
                    dp[i][j] = dp[i - 1][j] + dp[i - 1][j - 1];
                }
                else
                {
                    dp[i][j] = dp[i - 1][j];
                }
            }
        }
        return dp[s.size()][t.size()];
    }
};