Codeforces D2. Xor-Subsequence (hard version)

Codeforces Round #815 (Div. 2) D1 D2(字典树 + dp) - 知乎 (zhihu.com)

题意： 给定一个a数组，定义b为a的递增下标，要求满足 abp⊕bp+1<abp+1⊕bp 的b数组的最长长度

思路： 分析b数组的条件，abp^bp+1<abp+1^abp，因为是异或，很简单的联想到trie树与线性基，很明显的判断trie树是该题的解决方法，对于比较大小的异或，实际上是比较二进制第一个不同的值，前k高位abp^bp+1与abp+1^abp都是相同的，即abp^bp+1==abp+1^abp，转换一下，即abp^bp==abp+1^bp+1，第k+1位时，由于abp^bp+1<abp+1^abp，abp^bp+1的第k+1位为0，而abp+1^abp为1，这说明abp,bp+1的第k+1位相同，abp+1,bp的第k+1位不同。

 有以上结论后我们对ai^i建立trie树，对于1-n枚举先查询当前的最长美丽数组的长度，再记录