阅读量:0
一、题目
1、题目描述
2、输入输出
2.1输入
2.2输出
3、原题链接
1934D1 - XOR Break --- Solo Version
二、解题报告
1、思路分析
合法操作会让 n 越变越小
假如最高位1为 b1, 次高位1 为b2
那么我们去掉b1 的 1最大能够得到的数为 (1 << b2) - 1
假如n 和 m 最高位1都是b1,那么有n ^ m < n,我们此时可以一步操作
否则,我们必须去掉b1,我们看(1 << b2) - 1 和 m 的关系,如果m > (1 << b2) - 1,说明无法得到,输出-1
否则,我们可以两步得到:
第一步:去掉b1,得到(1 << b2) - 1
第二步:异或 x = ((1 << b2) - 1) ^ m,x 显然x < (1 << b2) - 1
于是我们可以发现,如果存在合法解,那么最多两步就能得到
2、复杂度
时间复杂度: O(1)空间复杂度:O(1)
3、代码详解
import sys input = lambda: sys.stdin.readline().strip() MII = lambda: map(int, input().split()) LMI = lambda: list(map(int, input().split())) LI = lambda: list(input()) II = lambda: int(input()) I = lambda: input() fmax = lambda x, y: x if x > y else y fmin = lambda x, y: x if x < y else y P = 1_000_000_007 def solve(): n, m = MII() if n ^ m < n: print(1) print(n, m) return hi = 1 << (n.bit_length() - 1) ma = (1 << (n ^ hi).bit_length()) - 1 if ma < m: print(-1) else: print(2) print(n, ma, m) if __name__ == "__main__": T = 1 T = II() for _ in range(T): solve()