CodeForces 811C Vladik and Memorable Trip

题意

给定N个数，将它们划分成任意多个区间
要求：
 1. 相同的数要么在同一个区间内，要么不在任何区间内;
 2. 这段区间的价值 = 不同数（即每一个数若出现多次就只算一次）的异或和
问: 
	最大价值是多少？

题解

[上升子序列模型]

状态表示：
    dp[i]: 前 i 个 方案集合
属性：
    Max
集合划分：
划分依据：以当前区间[j, i]的j不同
    dp[i] = max{dp[j - 1] + val}
    [j, i]: 保证所有的数都满足条件,
    val: [j, i]这段区间的价值
如何证[j, i]所有数都是满足条件？
令：
    l[a[i]]: a[i] 出现的最靠左的位置(即最先出现的位置)
    r[a[i]]: a[i] 出现的最靠右的位置(即最后出现的位置)
则：对于任意j, [i>=j>=1] j--
    1. 都有 r[a[j]] <= i
        保证 [i + 1, n] 没有 a[j] 出现
    2. 都有 j <= min{l[a[k]]}  [i>=k>=j]
        保证 [1, j - 1] 没有 a[j]出现

Code

#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
#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 = 1e5 + 7;
const int M = 1e6 + 7;
const ll mod = 1e9 + 7;
int l[N], r[N], dp[N], a[N];
int vis[5001];
signed main()
{
    Buff;
    int n; 
    while(cin >> n)
    {
        mem(l); mem(r);
        for(int i = 1; i <= n; i++)
        {
            cin >> a[i];
            if(!l[a[i]]) l[a[i]] = r[a[i]] = i;
            r[a[i]] = i;
        }
        for(int i = 1; i <= n; i++)
        {
            dp[i] = dp[i-1];
            int sum = 0, st = i;
            mem(vis);
            for(int j = i; j; j--)
            {
                if(r[a[j]] > i) break;
                if(!vis[a[j]])
                {
                    vis[a[j]] = 1;
                    sum ^= a[j];
                    st = min(l[a[j]], st);
                }
                if(j <= st) dp[i] = max(dp[i], dp[j-1] + sum);
            }
        }
        cout << dp[n] << "\n";
    }
    return 0;
}