C. Vladik and Memorable Trip 解析(思維、DP)

Codeforce 811 C. Vladik and Memorable Trip 解析(思維、DP)

今天我們來看看CF811C
題目連結

題目
給你一個數列，一個區段的數列的值是區段內所有相異數的(XOR)總和。你可以選任意多的區段，求最大的所有區段的值的總和。然而所有同樣的數字不是完全沒有被包含在區段裡，不然就是要全部在同個區段裡。

前言

這題我一直到看了解答才知道為什麼不是(O(n))，題目一直沒搞清楚

@copyright petjelinux 版權所有
觀看更多正版原始文章請至petjelinux的blog

想法

這題的難點在，很難用(O(n^2))以下找到一個真正的可行的區段。
此題的做法是線性DP，(dp[i])為考慮到數列的第(i)個時的解答，而要計算(i+1)，我們只需要多考慮是否有個區段是在(i+1)結尾。
首先可以(O(n))得到每個數字最左和最右邊在哪裡，每當要計算(dp[i+1])時，先看看(i+1)這個位置是否是某個數字的最右的位置，接著從(i+1)位置開始往回看，如果目前看的元素的最右位置超出(i+1)，代表目前(i+1)不可能是某個區段的結尾，那麼(dp[i+1]=dp[i])；如果一切正常，直到目前位置已經到了目前看過的所有元素的最左位置，就代表我們已經找到一個結尾在(i+1)的區段了，此時(dp[i+1]=max{dp[i],區段的)XOR(+)dp[區段的最左-1](})

官方解答有個Challenge，利用(aoplus ble a+b)，可以應付(n,a[i]le1e5)的情況，待之後想到再補吧!

程式碼:

const int _n=5010;
int t,n,a[_n],dp[_n];
bool vis[_n],has[_n];
PII alr[_n];
main(void) {ios_base::sync_with_stdio(0);cin.tie(0);cout.tie(0);
  cin>>n;rep(i,1,n+1){
    cin>>a[i];if(!alr[a[i]].fi)alr[a[i]].fi=i;
    alr[a[i]].se=i;
  }rep(i,1,n+1)if(alr[a[i]].se==i)has[i]=1;
  dp[0]=0,dp[1]=(has[1]?a[1]:0);rep(i,2,n+1){
    dp[i]=dp[i-1];
    if(has[i]){
      int val=0,L=alr[a[i]].fi;memset(vis,0,sizeof vis);
      int j=i;while(j>=L){
        if(alr[a[j]].se>i)goto A;
        L=min(L,alr[a[j]].fi);
        if(!vis[a[j]])val^=a[j],vis[a[j]]=1;j--;
      }
      dp[i]=max(dp[i],val+dp[L-1]);
    }
    A:;
  }cout<<dp[n]<<'
';
  return 0;
}

標頭、模板請點Submission看
Submission