bzoj 4245: [ONTAK2015]OR-XOR 递推

来源：互联网发布：php过滤标签中的style 编辑：程序博客网时间：2024/05/18 08:48

显然我们可以贪心从高到低分析，如果高位能不取就不取，这样得到的一定是最优解。

令s[i]=s[i-1]^a[i]，那么对于某一段(x,y)的Xor值结尾s[x-1]^s[y]。考虑第k位能不能取，显然需要s[n]的第k位=0，另外需要有不少于m个“可取”的s[]的值为0，这样可以在这些s[]的位置处划分使得第k位为0。那么如果第k位可以为0，就要把所有s[]中第k位为1的那些都标记为“不可取”。

AC代码如下：

#include<iostream>#include<cstdio>#include<cstring>#define ll long longusing namespace std; int n,m; bool ok[500005]; ll a[500005];ll read(){    ll x=0; char ch=getchar();    while (ch<'0' || ch>'9') ch=getchar();    while (ch>='0' && ch<='9'){ x=x*10+ch-'0'; ch=getchar(); }    return x;}int main(){    scanf("%d%d",&n,&m); int i; ll k=1;    for (i=1; i<=n; i++){        a[i]=a[i-1]^read(); ok[i]=1;        while (k<a[i]) k<<=1;    }    ll ans=0; int tmp;    for (; k; k>>=1){        tmp=0;        for (i=1; i<=n; i++)            if (ok[i] && !(a[i]&k)) tmp++;        if (tmp<m || (a[n]&k)) ans|=k; else            for (i=1; i<=n; i++) if (a[i]&k) ok[i]=0;    }    printf("%lld\n",ans);    return 0;}

by lych

2016.3.18

0 0