很显然的按位考虑,按位考虑之后,求式就变成了\(a\)和\(b\)的每一位与\(x\)异或后相加减
对于大于\(r\)的位\(i\)(指\(2^i>r\)),显然\(x_i\)只能为\(0\)
对于之后的\(i\),我们按照数学归纳法证明贪心,假设我们已经考虑到了第\(i\)位,之前的答案有一个正负号
那么由于\(2^c>\sum_{i=0}^{c-1}2^i\),我们这里想要填的\(x_i\)一定是想与前面的答案异号的(否则最终答案的绝对值至少不会小于当前答案)
然后一步步走就好了
很显然的按位考虑,按位考虑之后,求式就变成了\(a\)和\(b\)的每一位与\(x\)异或后相加减
对于大于\(r\)的位\(i\)(指\(2^i>r\)),显然\(x_i\)只能为\(0\)
对于之后的\(i\),我们按照数学归纳法证明贪心,假设我们已经考虑到了第\(i\)位,之前的答案有一个正负号
那么由于\(2^c>\sum_{i=0}^{c-1}2^i\),我们这里想要填的\(x_i\)一定是想与前面的答案异号的(否则最终答案的绝对值至少不会小于当前答案)
然后一步步走就好了