题面：
给定一个长度为\(n\)的序列\(a_1\) \(a_2\)...\(a_n\)请将它划分为\(m\)段，设第\(i\)段的费用\(c_i\)为该段内所有数字的异或和，则总费用为\(c_1orc_2or...c_m\).请求出总费用的最小值
1.首先证明贪心的正确性
总费用为所有段费用或的和，根据或运算有1就为1的特性，我们必须确保\(c_1\) \(c_2\) ... \(c_m\)之中在某一位全部是0才能保证答案的这一位也是0。那么我们就可以贪心去判断每一位，从高到低，判断其是否可为0。高位为0一定比1更加优。那么我们很容易就写出来一个主函数的框架——
for(int i=60; i>=0; --i) {ll bit=(1LL<<i);ll try_0=(ans|(bit-1));if(check(try_0)) {continue;} else {ans|=bit;}
}
在当前答案ans的基础上，尝试让答案的第\(i\)位变成0，如果可行那么答案第\(i\)位保留为0，否则变成1。那么最苦难的部分来了————如何设置\(check\)函数呢？
2.Check函数的构造。
假设我们已经得到一个答案，现在要来检验它是否合法，能不能符合题意————分成\(m\)段。而且所有段必须连续，这让我们的算法更加容易实现，从前往后遍历，用一个\(axor\)变量来存储当前这一段的异或和。
要怎样才能终止这一段呢？当我们发现当前的异或和中的每一个1都已经和目标答案中1的位置相同了，那么这个异或和在最终贡献答案的时候一定符合，就可终止。怎么判断呢？假设目标答案按是\(x\)那么if((axor&x)==axor)就可以。\(&\)运算的特性==只有两个数同样为1的时候结果才是1.如果每一位只要目标答案有1而且结果也有1，那么这个异或和一定和目标答案的1是对齐的。
由此
bool check(ll x) {ll axor=0;int cnt=0;for(int k=1; k<=n; ++k) {axor^=a[k];if((axor&x)==axor) {++cnt;axor=0;}}return cnt>=m&&axor==0;
}