【DP】单词的划分

题目描述

有一个很长的由小写字母组成字符串。为了便于对这个字符串进行分析，需要将它划分成若干个部分，每个部分称为一个单词。出于减少分析量的目的，我们希望划分出的单词数越少越好。你就是来完成这一划分工作的。

输入

第一行，一个字符串。（字符串的长度不超过300）
第二行一个整数n，表示单词的个数。（n≤100）
第3~n+2行，每行列出一个单词。

输出

一个整数，表示字符串可以被划分成的最少的单词数

样例输入 Copy

realityour
5
real
reality
it
your
our

样例输出 Copy

2

解题思路：用一个数组DP[i]来记录前 i 长度的母串可以由最少的单词构成，状态转移方程就是：
dp[i]=min(dp[i],dp[i - a[j].size()]+1);具体见代码，代码中也做了解释；

AC代码：

#include<iostream>
#include<algorithm>
#include<iomanip>
#include<string>
#include<cstring>
#include<cstdio>
using namespace std;
typedef long long ll;
const int N = 1010011;
const int INF = 0x3f3f3f3f;
string a[N],str;
int dp[N];
//bool check(int m, int j,int n)
//{
//    for (int i = m, k = n;k >= 0;k--, i--)
//    {
//        if (a[j][k] != str[i])
//            return false;
//    }
//    return true;
//}
int main()
{
    cin >> str;
    int len, i, n;
    len = str.size();
    cin >> n;
    for (i = 0;i < n;i++)
    {
        cin >> a[i];
    }
    memset(dp, INF, sizeof(dp));
    dp[0] = 0;
    for (i = 0;i < len;i++)
    {
        int k = i + 1;
        for (int j = 0;j < n;j++)
        {
            int len1 = a[j].size();
            if (len1 > k) continue;
            else {
                if (str.substr(k - len1, len1) == a[j]) {
                    //if (check(i, j, len1 - 1))  //这个自己写的判断函数也是可以的，鉴于substr函数更简便，就用了它
                    dp[k] = min(dp[k], dp[k - a[j].size()] + 1);//dp[i]表示前i单位长度的母串最少有多少个单词构成
                    /*
                    realityour
                    6
                        real
                        reality
                        it
                        your
                        our
                        ality   //我自己又加的，不管是不是单词，这里就认为它是单词啦
                    这样就有可能会出现一种情况，例如：当i=6,即k=7的时候，此时有两个单词都是可以被那个判断函数通过的，
                    （  就是可以满足这个等式str.substr(k - len1, len1) == a[j]  ）
                    当遍历到reality，无疑，此时最少单词数就是 1 
                    当遍历到ality的时候是符合构成母串的单词的
                    但是ality之前还有两个字母并不是单词，所以这种情况一定是不可取的，巧妙的一点就是，正好dp[7]=1;dp[7-5]+1是无穷大，然后两者取min,还是 1
                    这样的话，dp[7]取得的还是reality的这种情况，由此也验证了动态转移方程的正确性
                     */
                }
            }
        }
    }
    /*for (i = 1;i <= len;i++)
    {
        cout << dp[i] << endl;
    }*/
    cout << dp[len] << endl;
    return 0;
}