Codeforces Round #819 (Div. 1 + Div. 2) and Grimoire of Code Annual Contest 2022 B. Mainak and Inter

Problem - B - Codeforces

题意：

给定n和m，让你构造一个数列，使得和为m，且对于每一个i，满足对数列中所有小于a[i]的数的异或和为0

思路：

构造题，先理清条件，再考虑让条件都特殊化

1.数列之和为m

2.对于每一个i，满足对数列中所有小于a[i]的数的异或和为0

首先看第二个条件，为了让数列所有小于a[i]的数变得更加直观，我们考虑升序排列（特殊化），然后要让异或和为0这个条件特殊化，就是让所有数都只出现两次。

然后考虑第一个条件，数列之和为m，数列之和的特殊化可以考虑将贡献都集中在最后，然后前面a[i]都取1即可

这样我们的数列就构造好了

对于无解情况：当n>m时，就算a[i]全部为1，数列之和也一定超过m，因此无解

当n为偶数但是m为奇数时，因为是两个相同的数两两出现，因此和必须是偶数，因此无解

Code：

#include <bits/stdc++.h>
using namespace std;
const int mxn=1e5+10;
#define int long long
vector<int> v;
int n,m;
void solve(){
	v.clear();
	cin>>n>>m;
	if(n>m||(n%2==0&&m%2==1)){
		cout<<"No"<<'\n';
		return;
	}
	if(n%2==1){
		for(int i=1;i<=n-1;i++) v.push_back(1);
		v.push_back(m-(n-1));
	}else{
		for(int i=1;i<=n-2;i++) v.push_back(1);
		v.push_back((m-(n-2))/2);
		v.push_back((m-(n-2))/2);
	}
	cout<<"Yes"<<'\n';
	for(int i=0;i<v.size()-1;i++) cout<<v[i]<<" ";
	cout<<v[v.size()-1]<<'\n';
}
signed main(){
	ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
	int T=1;
	cin>>T;
	while(T--)solve();
	return 0;
}

总结：

构造题，先理清条件，再考虑让条件都特殊化

1.为了让数列所有小于a[i]的数变得更加直观，我们考虑升序排列（特殊化）

2.要让异或和为0这个条件特殊化，就是让所有数都只出现两次

3.数列之和的特殊化可以考虑将贡献都集中在最后