一、题目

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()