最后，问题转化为每个节点上有一个权值（或者没有）。我们要选一个点集的 subset，使得这个点集没有祖先后代关系。并且这个点集内所有点都有权值，且权值异或和为目标值

感觉可能可以用线性基做到值域无关（或者说其实是 $\log V$），比较好奇这个问题是否是可做的