CCPC 2018 吉林 C "JUSTICE" （数学）

传送门

参考资料：

　　[1]:https://blog.csdn.net/mmk27_word/article/details/89789770

题目描述
    Put simply, the Justice card represents justice, fairness, truth and the law.You are being called to account for your actions and will be judged accordingly. If you have acted in a way that is in alignment with your Higher Self and for the greater good of others, you have nothing to worry about. However, if you have acted in a way that is out of alignment， you will be called out and required to own up to your actions. If this has you shaking in your boots, know that the Justice card isn't as black and white as you may think.
（以上是故事情节么...........）
    On the table there are n weights.
    On the body of the i-th weight carved a positive integer ki, indicating that its weight is  /(^ki) gram.
    Is it possible to divide then weights into two groups and make sure that the sum of the weights in each group is greater or equal to / gram?
    That's on your call. And please tell us how if possible.

输入
    In the first line of the input there is a positive integer T (≤T≤), indicating there are T testcases.
    In the first line of each of the T testcases, there is a positive integer n (≤n≤1e5 , Σ n ≤ ×1e5 ),indicating there areηweights on the table.
    In the next line， there are n integers ki (≤ki≤1e9), indicating the number carved on each weight.

输出
    For each testcase, first print Case i : ANSWER in one line, i indicating the case number starting from  and ANSWER should be either YES or NO, indicating whether or not it is possible to divide the weights. Pay attention to the space between : and ANSWER.
    If it's possible, you should continue to output the dividing solution by print a 0 / 1 string of length n in the next line.
    The i-th character in the string indicating whether you choose to put the i-th weight in group  or group .

题目描述

样例输入

样例输出
Case : NO
Case : YES

Case : YES

样例输入输出

题解看上述参考资料，下面谈谈我的进一步理解，以及，比赛时思路出现的错误：

　　组成一个 1 / 2 需要

　　　　2¹个 2² , 2²个2³ , ....... , 2^x-1个2^x;

　　那么，从幂最小的k向上递推，判断是否存在 x,y 使得 x 出现的次数 ≥ 2^x-1 , y 出现的次数 ≥ 2^y-1 次；

AC代码：

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 using namespace std;
 #define mem(a,b) memset(a,b,sizeof(a))
 const int maxn=1e5+;

 int n;
 struct Date
 {
     int k;
     int id;
     bool operator < (const Date &obj) const
     {
         return k < obj.k;
     }
 }_date[maxn];
 int vis[maxn];

 void Solve()
 {
     mem(vis,);
     sort(_date+,_date+n+);

     int k=;
     int cnt1=;//2^1只需要一个
     int cnt2=;//2^1只需要一个
     for(int i=;i <= n;++i)
     {
         //假设 d=_date[i].k-k
         //那么，从需要 cnt*2^d 个_date[i].k
         //类乘 d 次就会得到所需的cnt
         //此处是不可能超时的
         //因为n-i+1 最大才1e5,而2^17 > 1e5，所以，单次最多累加17次
         //所以说 cnt1+cnt2 <= n-i+1 很关键
         //以及后面的if(cnt1==0 && cnt2==2) break;也很关键
         //如果不break,那么这个while中的cnt1+cnt2=0,k最多会加到1e9,指定TLE
         while(cnt1+cnt2 <= n-i+ && k < _date[i].k)
         {
             cnt1 *= ;
             cnt2 *= ;
             k++;
         }
         if(cnt1+cnt2 > n-i+)//这之后没有cnt1+cnt2个数，那，肯定组不成2个1/2
         {
             puts("NO");
             return ;
         }
         if(cnt1)
         {
             cnt1--;
             vis[_date[i].id]=;
         }
         else
             cnt2--;

         if(!cnt1 && !cnt2)//关键，去掉会TLE
             break;
     }
     if(cnt1 || cnt2)
         puts("NO");
     else
     {
         puts("YES");
         for(int i=;i <= n;++i)
             printf("%d",vis[i]);
         printf("\n");
     }
 }
 int main()
 {
     int test;
     scanf("%d",&test);
     for(int kase=;kase <= test;++kase)
     {
         scanf("%d",&n);
         for(int i=;i <= n;++i)
         {
             scanf("%d",&_date[i].k);
             _date[i].id=i;
         }
         printf("Case %d: ",kase);
         Solve();
     }
     return ;
 }

反思总结：

比赛时，看到 n 最大为 1e5 ，而1 / 2^k 组成 1 / 2 至少需要 2^k-1 个 2^k ，然后，找到了2^k ≤ 1e5 的最大的 k = 17;

然后，就特判，当 k_i > 20 时，就不管；

对于 k_i ≤ 20 的情况，定义一个数组a，a[i] : k = i 的 k 的总个数；

每次都更新一遍数组 a；

 for(int i=;i >= ;--i)
 {
 　　a[i-] += a[i]/;//两个i构成一个i-1
 　　a[i] %= ;
 }

最后判断一下a[1]的个数，如果 < 2，输出"NO"；

反之，输出"YES"，并输出分组；

然后，今天下午debug了一下午，学弟给了我一组数据，顿悟了，debug成功；

当 k > 17 时，也可以组成 1 / 2；

x最大可取1e5，所以说，k最大也可到达1e5；