bzoj 4245 OR-XOR(ビット別または欲張り)

6564 ワード

タイトル転送ゲート:http://www.lydsy.com/JudgeOnline/problem.php?id=4245 題意:n個の数を求めて連続m段に分けて、各段は異あるいは最後のすべての段あるいは値の最小値の題解を取ります:このいくつかの異或の題目を経て、1つの道を見つけて、異あるいは一般的に言えば、連続の1段と何の異あるいは最大値を探して、異あるいは辞書の木です.前の問題のように2つの区間内で異種を探したり最大値を探したり、この問題が異種を探したりした後で最大値を探したりするのは、ビット異種や貪欲であるべきだ.まず接頭辞の異和を求め、それからビット別に列挙し、もしこのビットにm個以上の接頭辞が0にマークされていないものがあり、n番目のビットは0(最後のセグメント)でなければならない.そして、答えのこのビットは0を取ることができ、このように分割することで、貪欲な譲解が最小になることを示しているので、このときこのビットの接頭辞の異または1をマークしなければならない.そうしないと、このビットは1を取らなければならない.
コード:
#include <map>
#include <set>
#include <stack>
#include <queue>
#include <cmath>
#include <string>
#include <vector>
#include <cstdio>
#include <cctype>
#include <cstring>
#include <sstream>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#pragma comment(linker, "/STACK:102400000,102400000")

using namespace std;
#define MAX 500005
#define MAXN 6005
#define maxnode 15
#define sigma_size 30
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define lrt rt<<1
#define rrt rt<<1|1
#define middle int m=(r+l)>>1
#define LL long long
#define ull unsigned long long
#define mem(x,v) memset(x,v,sizeof(x))
#define lowbit(x) (x&-x)
#define pii pair<int,int>
#define bits(a) __builtin_popcount(a)
#define mk make_pair
#define limit 10000

//const int prime = 999983;
const int    INF   = 0x3f3f3f3f;
const LL     INFF  = 0x3f3f;
const double pi    = acos(-1.0);
//const double inf = 1e18;
const double eps   = 1e-8;
const LL    mod    = 1e9+7;
const ull    mx    = 133333331;

/*****************************************************/
inline void RI(int &x) {
      char c;
      while((c=getchar())<'0' || c>'9');
      x=c-'0';
      while((c=getchar())>='0' && c<='9') x=(x<<3)+(x<<1)+c-'0';
 }
/*****************************************************/

LL sum[MAX];
int vis[MAX];

int main(){
    int n,m;
    cin>>n>>m;
    sum[0]=0;
    for(int i=1;i<=n;i++){
        LL a;
        scanf("%lld",&a);
        sum[i]=sum[i-1]^a;
    }
    LL ans=0;
    mem(vis,0);
    for(int i=62;i>=0;i--){
        int num=0;
        for(int j=1;j<=n;j++){
            if(((sum[j]>>i)&1)==0&&!vis[j]){
                num++;
            }
        }
        if(num>=m&&((sum[n]>>i)&1)==0&&!vis[n]){
            for(int j=1;j<=n;j++){
                if((sum[j]>>i)&1) vis[j]=1;
            }
        }
        else ans+=(1LL<<i);
    }
    cout<<ans<<endl;
    return 0;
}