BZOJ1816

最新推荐文章于 2019-11-30 18:46:07 发布

strategist_614

最新推荐文章于 2019-11-30 18:46:07 发布

阅读量149

点赞数

分类专栏： BZOJ

本文链接：https://blog.csdn.net/strategist_614/article/details/98206896

版权

BZOJ 专栏收录该内容

25 篇文章 0 订阅

订阅专栏

BZOJ1816

题目

BZOJ1816
分析

考虑二分。。

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

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

证明：

$\begin{aligned} &\ 如果对于 i, a[i] \leq mid \\ &\ 则需要补的joker数目是mid - a[i] \quad 若其它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{aligned}$
或者不嫌麻烦在 $a [i] < m i d$ 判断一下， $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 ;
}