C. And Matching（二进制，构造，思维）-CSDN博客

本文链接：https://blog.csdn.net/Mr_dimple/article/details/122736721

题意：

给定 n 和 m，保证 n 为 2 的幂次数。
现在要找到 $\frac{n}{2}$ 对关系 $a_i, b_i)$ ，保证 $\sum_{i=1}^{n/2}{a_i \& b_i} = m$ 。输出这 $\frac{n}{2}$ 对关系。无解输出 -1。
$4≤n≤2^{16}, 0≤k≤n−1).$

思路：

这 n/2 对关系取与的和为一个定值 m，这怎么构造？？
没办法，找特殊情况：先构造一个关系取与后为 m，然后其他的关系取与都为 0。
能不能实现呢？

当 n = 8 时：

0   0 0 0 0
1   0 0 0 1
2   0 0 1 0
3   0 0 1 1 
4   0 1 0 0
5   0 1 0 1
6   0 1 1 0 
7   0 1 1 1

如果说 m 取到 5，那么直接 5 和 7 取与，就得到了 m=5。那么其他的能否都能构成 0 呢？
通过观察，我们能够发现一个神奇的性质：
0 和 7 是互补的，1 和 6 是互补的，2 和 5 是互补的，3 和 4 是互补的。
那么这些关系取与刚好为 0！
但是 5 和 7 已经配对过了，那就让 0 和 2 配对，0 和任何数取与都是 0。
那么，这样当 m 取到 5 的时候就能完美构造。

同理，当 m 取 0~6 的时候都能这样构造。
但当 m 取到 7，也就是 n-1 的时候，没有数能够和 7 配对之后得到 m=7 了，那么就要找新的构造方式：
可以用 n-1 和 n-2 先得到 m-1，再用 n-3 和 1 得到 1，然后将其余的数配对都为0。

注意特判一个数据，当 n = 4，m = 3 的时候，这时用 2 和 3 配对得到 m-1，然后只剩下 0 和 1 了，还少一个 1 无法得到。所以这种情况无解。

Code：

const int N = 200010, mod = 1e9+7;
int T, n, m, k; 
int a[N];

signed main(){
	Ios;
	cin>>T;
	while(T--)
	{
		cin>>n>>m;
		
		if(n==4 && m==3) cout<<-1<<endl;
		else if(m!=n-1)
		{
			cout<<m<<" "<<n-1<<endl;
			for(int i=1;i<=n/2-1;i++)
			{
				if(i==m || n-i-1==m)
				{
					if(i==m) cout<<0 << ' ' << n-i-1<<endl;
					else cout<<i<<" "<<0<<endl;
				}
				else cout<< i << " " << n-1-i<<endl;
			}
		}
		else
		{
			cout << n-1 << " " << n-2 << endl;
			cout << 1 << " " << n-3 << endl;
			cout << 2 << " " << 0 << endl;
			for(int i=3;i<=n/2-1;i++) cout<<i<<" "<<n-i-1<<endl;
		}
	}
	
	return 0;
}