CF2165C Binary Wine

给定 $n$ 个整数 $a_1,a_2,\ldots,a_n$，其中 $a_i$ 的范围为 $[0,2^{30})$。 你可以花费 $1$ 个金币将任意 $a_i$ 增加 $1$。你可以进行任意次数的该操作。 现在有 $q$ 个独立的询问，每个询问给出一个整数 $c$，同样满足 $c$ 的范围为 $[0,2^{30})$。你希望存在一个长度为 $n$ 的序列 $b$，满足以下条件： - 对于每个 $1\le i\le n$，$0\le b_i\le a_i$。 - $b_1\oplus b_2\oplus\ldots\oplus b_n=c$，其中 $\oplus$ 表示按位异或运算。 请你计算，为了让存在这样的 $b$，你最少需要花费多少金币（即对 $a$ 进行若干次 $+1$ 操作后有解）。 各个询问相互独立，某一次对 $a$ 所做的操作不会影响其他询问。

第一行输入测试组数 $t$（$1 \le t \le 10^4$）。接下来是 $t$ 组测试数据。 每组测试数据的第一行包含两个整数 $n,q$（$1\le n\le 5\cdot 10^5$，$1\le q\le 5\cdot 10^4$），表示序列长度和询问个数。 第二行包含 $n$ 个整数 $a_1,a_2,\ldots,a_n$（$0\le a_i

对于每个询问，输出一个整数，表示为使存在合适的 $b$，你最少需要花费的金币数。

在第一个测试样例中，我们花费 $1$ 个金币让 $a_2$ 增加 $1$，变成 $[5,8]$。一种合适的 $b$ 是 $[1,8]$。可以证明，最少也需要花费 $1$ 个金币。 在第二个测试样例中，我们可以花费 $7$ 个金币让 $a_1$ 增加 $7$，变成 $[16,9,8]$。一种合适的 $b$ 是 $[16,9,1]$。 由 ChatGPT 5 翻译