cf 811c Vladik and Memorable Trip

原题链接：http://codeforces.com/contest/811/problem/C

题意：将数组中的连续数字连成若干个“线段”（或者不连），其实就是区间。区间必须满足对于其中的任意数字，能够覆盖数组中的所有相等数字，比如对数组：1, 2, 5, 2 ,5,    [2, 5 ,2 ,5]是满足条件的区间，而[2, 5, 2]不是，因为它并没有包含所有的5.

题目求不相交的满足条件的区间内不同数字的异或和的最大值。

思路：这是一道普通的DP题，类似最长上升子序列，先求出每个数字的最长区间（左右端点），再定义dp[i]为左端点为1， 长度为i的区间所能得到的最大异或和。则dp[i]= dp[j-1]+res, j是被包含在[1, i]的满足条件的区间的左端点，res是对应的异或和。这么dp下去就好了。

看别人的题解时自己尝试了一下，dp部分是枚举所有满足条件的区间，WA了。思考后发现，这么做有个错误，事实上第一步求出来的区间不一定是对的，没有保证在区间内和区间外同时出现同一个数字（也就是不满足条件的）。而枚举数字的位置可以在上述情况发生（或者说，对应区间不在[1, i]内）时停止枚举。具体实现见代码。

AC代码：

#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
const int MAXN = ;
int num[MAXN],dp[MAXN];
struct Edge{
    int l,r;
}edge[MAXN];
bool vis[MAXN];
int main()
{
    int n,m;
    scanf("%d",&n);
    dp[]=;
    for(int i=;i<MAXN;i++) edge[i].l=edge[i].r=;
    for(int i =  ; i <= n ; ++i)
    {
        scanf("%d",&num[i]);
        m=num[i];
        if(!edge[m].l)edge[m].l = i;
        edge[m].r = i;
    }
    for(int i =  ; i <= n ; ++i)
    {
        dp[i] = dp[i-];
        memset(vis,,sizeof(vis));
        int st = edge[num[i]].l;
        int res = ;
        for(int j = i ; j >=  ; --j)
        {
            if(!vis[num[j]])
            {
                if(edge[num[j]].r>i)break;  //对应区间不在[1, i]内，停止枚举
                st = min(st,edge[num[j]].l);
                res^=num[j];
                vis[num[j]] = ;
            }
            if(j<=st)dp[i] = max(dp[i] , dp[j-]+res);//维护区间最值
        }
    }
    printf("%d\n",dp[n]);
}