2019牛客暑期多校训练营（第四场）D. triples I

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;
}