【SSL 1935】小武的方程

​

题目大意

小武有 2 个方程，$x|y=A$，$x+y=B$，其中 | 为二进制或符号，$x$ 和 $y$ 是未知数，$A$ 和 $B$ 已知，小武想知道这个方程是否有非负整数解。

输入格式

第一行一个整数 $T$ 表示数据组数。
接下来 $T$ 行，每行两个数 $A$ 和 $B$。

输出格式

$T$ 行，若方程有解输出 $Possible$，否则输出 $Impossible$。

输入样例

4
14 14
2 5
0 9
10 10

输出样例

Possible
Impossible 
Impossible
Possible

基本思路

我们考虑一个数由另外两个数相加的话，我们 看一下：

5=3+2

从二进制下考虑 3=2⁰+2¹ 2=2¹

则有$B$=5=2⁰+2¹+2¹ $A$=2⁰+2¹

我们可以把$B$看作$x$和$y$在二进制下每一位的位权相加。

而 “|” 可以理解为如果你有我就有 我有你就有，只要一方为1就都为1嘛，则$A$中包含的二进制位$B$中肯定有。我们用$B$-$A$去除$B$中包含$A$的二进制位权，$B$的位权是由$x$和$y$构成的，而$A$包含了$x$和$y$所有的二进制位权，这是或的性质嘛，所以此时的$B$（即$B$-$A$）记为$C$，则$A$&$C$=$C$

为什么呢？因为$B$中各种二进制位最多只会有两个，因为2⁰+2⁰=2¹，最多$xy$都有，$B$如果不进位的话每种位权最多只有两个，$A$如果是合法的话，$B$-$A$后的 位权$A$中必定都有 。

若仍存在一种位权是$A$没有而$C$有的话，$A$是不合法的，即是$A$&$C$!=$C$

核心代码

#include<bits/stdc++.h>
using namespace std;
unsigned long long t,a,b,c;
int main(){
	ios::sync_with_stdio(false);
	cin>>t;
	while(t--){
		cin>>a>>b;
		c=(b-a);
		if((c&a)==c) cout<<"Possible"<<endl;
		else cout<<"Impossible"<<endl;
	}
	return 0;
}