https://ac.nowcoder.com/acm/contest/884/D
题意: 求最少需要多少个3的倍数按位或后可以得到数字a。
思路: 完全没有思路
快乐的分类讨论:
A.如果a是3的倍数,那么我们直接取{a}即可
B.如果a的二进制只有一位或两位,我们根本取不出0以外的三的倍数,所以无解。题目保证有解所以可以基本不考虑太多。
C.a的二进制位至少有三位的情况
首先明确一些性质
1.每一个二进制位mod 3 只能得到 1 或 2
2.每个mod 3 = 2 的数和 mod 3 = 1的数相加 一定是三的倍数
3.mod 3 后余数相同的数相减以后一定也是三的倍数
Ⅰ. 若amod3=1
如果a中的二进制位有至少两个mod 3 =1的,设它们为p和q,我们取{a-p,a-q}即可。
因为a,p 和 q 都是mod 3 = 1的,所以a-p和a-q必定是三的倍数。同时a-p和a-q等于将原本p,q处的1变成了0. 这样一来,a-p和a-q按位或之后就还是a
举个例子: a = 19
如果a中的二进制位有恰好一个mod3=1的,那么设mod3=1的这个位为p,mod3=2的某个位为q,我们取{a-p,p+q}即可。
a-p的道理同上,p+q 因为一个mod 3 = 1,一个 mod 3 = 2 所以两者加起来一定是三的倍数,同时p+q与a-p按位与一定是a,因为a-p去掉的p p+q给补上了 多出的q是原本a中就有的所以没有什么影响。
如果a中的二进制位没有mod3=1的,那么假设有三个mod3=2的位p,q,r,我们取{a-p-q,p+q+r}即可。
因为p和q都是mod 3 = 2,所以p+q mod 3 = 1,就和 a 是一样的了 故 a-p-q是三的倍数,又因为r也是 mod 3 = 2,所以q+p+r 原本是mod 3 = 6 ,6可以除尽3,所以q+p+r 也是三的倍数
Ⅱ.若amod3=2
只需把上面的讨论中1与2互换即可,是完全对称的。
代码:
#include <bits/stdc++.h>
#define ll long long
using namespace std;
vector<vector<int> > v;//v[1]保存mod 3 为1的二进制位,v[2]保存mod 3 为2的二进制位
int cas;
ll a;
int main()
{
scanf("%d",&cas);
while(cas--){
v.resize(3);
v.clear();
scanf("%lld",&a);
if(a % 3 == 0){
printf("1 %lld\n",a);
continue;
}
int temp = 1;
for(int i = 0; i < 61; i++){
if((a >> i) & 1 == 1){
v[temp].push_back(i);
}
temp = 3 - temp;
}
int size1 = v[1].size(),size2 = v[2].size();
ll ans1,ans2;
if(size1 > 0 && size2 > 0){
if(a % 3 == 1){
if(size1 >= 2){
ans1 = a-(1ll<<v[1][0]);
ans2 = a-(1ll<<v[1][1]);
printf("2 %lld %lld\n",ans1,ans2);
}else{
ans1 = a-(1ll<<v[1][0]);
ans2 = (1ll<<v[1][0]) + (1ll<<v[2][0]);
printf("2 %lld %lld\n",ans1,ans2);
}
}else{
if(size2 >= 2){
ans1 = a-(1ll<<v[2][0]);
ans2 = a-(1ll<<v[2][1]);
printf("2 %lld %lld\n",ans1,ans2);
}else{
ans1 = a-(1ll<<v[2][0]);
ans2 = (1ll<<v[2][0]) + (1ll<<v[1][0]);
printf("2 %lld %lld\n",ans1,ans2);
}
}
continue;
}
if(size1 == 0){
if(a % 3 == 1){
ans1 = a - (1ll<<v[2][0])- (1ll<<v[2][1]);
ans2 = (1ll<<v[2][0]) + (1ll<<v[2][1]) + (1ll<<v[2][2]);
printf("2 %lld %lld\n",ans1,ans2);
}else{
ans1 = a-(1ll<<v[2][0]);
ans2 = a-(1ll<<v[2][1]);
printf("2 %lld %lld\n",ans1,ans2);
}
continue;
}
if(size2 == 0){
if(a % 3 == 2){
ans1 = a - (1ll<<v[1][0])- (1ll<<v[1][1]);
ans2 = (1ll<<v[1][0]) + (1ll<<v[1][1]) + (1ll<<v[1][2]);
printf("2 %lld %lld\n",ans1,ans2);
}else{
ans1 = a-(1ll<<v[1][0]);
ans2 = a-(1ll<<v[1][1]);
printf("2 %lld %lld\n",ans1,ans2);
}
continue;
}
}
return 0;
}