BZOJ1816

BZOJ1816

• 题目

  BZOJ1816

• 分析

  考虑二分。。

  发现若二分最多组成套牌数目，$[1,r]$ 可以组成，$[1,r-1]$ 也必然可以组成，显然满足单调性。

  二分套牌数目，因为要组成 $mid$ 数目的套牌，所以 $a[i]$ 的数目都不可能比 $mid$ 小，如果比 $mid$ 小那么就要使用 $joker$ ,使用 $joker$ 的数目是 $mid-a[i]$ ,因为每套牌只能使用一张 $joker$ ,所以能使用 $joker$ 的数目是 $min(m,mid)$ ,使用了 $joker$ 后，一定能在其他牌里面凑齐$n-1$个不是 $joker$ 的牌。

  证明：

  $$\begin{array}{rl}& 如果对于i,a[i]\le mid\\ & 则需要补的joker数目是mid-a[i]若其它n-1个数存在j,a[j]<mid-a[i],这表明没有\\ & 办法凑齐不是joker的牌，即：a[i]+a[j]<mid.\\ & 当遍历到j时，i,j需要joker的总数目为：mid-a[i]+mid-a[j],又因为a[j]+a[i]<mid\\ & 所以：mid-a[i]+mid-a[j]>mid\\ & 此时：\_<0就成判断不可能了。\end{array}$$
  或者不嫌麻烦在 $a[i]<mid$ 判断一下，$n$ 的范围太小了。。。

• 代码

  int n, m;
  int a[55];
  int solve(int mid)
  {
  	int _ = min(m, mid);
  	for (int i = 1; i <= n; i++)
      {
          if(a[i] < mid)
          {
          	_ -= (mid - a[i]);
          	if(_ < 0) return 0;
          }  
      }
      return 1;
  }
  int main ()
  {
  	//freopen("input.in", "r", stdin);
  	//freopen("test.out", "w", stdout);
  	read(n);
  	read(m);
  	for (int i = 1; i <= n; i++) read(a[i]);
  	int l = 0;
  	int r = 0;
  	for (int i = 1; i <= n; i++)
  	{
  		r = max(r, a[i]);
  	}
  	r += m + 1;
  	while (l < r)
  	{
  		int mid = (l + r + 1) >> 1;
  		if (solve(mid)) l = mid;
  		else r = mid - 1;
  	}
  	cout << l << endl;
  	return 0 ;
  }
  

• 题型

  二分