codeforces 1592C - Bakry and Partitioning (bitmasks,dp,dfs)

1.如果一个数列中的所有值进行异或后，得到的值为0，则说明将这个数列分为任意两组后，这两组的异或值是相等的。
2.两数异或值为0<==>这两个数相等。
3.若干个相同的值x进行异或，得到的结果为x或者0。奇数个x异或为x，偶数个则为0。
关于本题。m组异或值为x的数，若将其中三个组合并为一个组，则可以得到m-2组异或值为x的数。执行此步，最终得到3组或2组异或值为x的数。
如果最终得到的是2组，则必有且仅有所有数的异或值为0。又因为如果所有数异或值为0，则数列可以被分为任意两组都能使这两组异或值相等。
因此只需要考虑最终得到3组异或值为x的数的情况。也就是在树中删去两条边。只需先把数组的异或值x求出，然后从最深的异或值为x的子树开始找，找到一棵再向上找第二棵。如果找不到第二棵，就换一个浅一些的子树。

题目描述