AT_abc425_g [ABC425G] Sum of Min of XOR

开始犯唐了。

首先建 trie，然后发现单一的 \(x\) 是好算的，我们只需要求出 trie 上每个结点的贡献即可。

首先发现每往下一位，如果 0/1 都有显然会分开，否则一定都朝一个方向走，我们只需要计算后面的贡献，因为前面显然都是 0。

比较麻烦的限制是不能超过 \(M\) 这就给了我们向下拆位的过程中一个限制，用数位 DP 的方法解决即可。