CodeForces 1005D Polycarp and Div 3

题意

给出一个长度为n的字符串 s，
将其分割成若干连续子段，不可有前导0，使得
	其构成的数中，为3的倍数的数量尽可能多。
	求数量的最大值。

题解

[线性DP--LIS模型]
贪心优化DP
题解：
状态表示：
	dp[i]: 前 i 个数的最优方案
状态转移：
    dp[i] = dp[i-1]  // 不包括 i
    dp[i] = max(dp[i], dp[j] + sum(j+1, i)%3 == 0) i > j >= 0
    ===> O(n^2)

优化：
    显然 dp[i] >= dp[i-1], 1<=i<=n, 故而 dp[i] 是一个 单调不减的序列
    即所有的 j: dp[j] + 1 < dp[i] 都是不用在继续考虑的(并不能使dp[i]在变大)
    在 考虑剩下集合里能使 dp[i] 变大的即是 sum(j+1,i)%3==0，结合dp[j] 是单调不减的序列
    只用找到最大的 J 即可
所以：
    倒序枚举 J， 满足以上两个条件中的任意一个就可以视作dp[i] 以被更新完成。
时间复杂度：
	理想最坏时间复杂度： O（n^2），因为随着 i 的增大 j 的枚举次数也不会太大
	[ 这是因为（在不考虑连续多个0的情况下）每连续的 （最多不超过6个）数的和就可以整除3）， 若有连续多个0，将其单独划分为一个数，不会使答案变小] 
	故时间复杂度接近 O（N）

Code

#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
#define read(a) scanf("%d", &a)
#define readl(a) scanf("%lld", &a)
#define Buff ios::sync_with_stdio(false)
#define mem(a) memset(a, 0, sizeof a)
#define pb push_back
const int INF = 1e9 + 7;
const int N = 2e5 + 7;
const int M = 1e6 + 7;
ll mod = 1e9 + 7;

char a[N];
int dp[N], sum[N];
int judge(int x)
{
    return x % 3 == 0;
}
signed main()
{
    Buff;
    cin >> (a + 1);
    int n = strlen(a + 1);

    for(int i = 1; i <= n; i++)
    {
        sum[i] = sum[i-1] + a[i] - '0';
        dp[i] = dp[i-1];
        for(int j = i-1; j >= 0; j--)
            if(judge(sum[i] - sum[j]) || dp[j] + 1 < dp[i])
            {
                dp[i] = max(dp[i], dp[j] + 1);
                break;
            }
    }
    cout << dp[n];
    return 0;
}