CodeForces - 985D(Sand Fortress)

题意：有 n 个沙袋，把它们摆成若干堆（每一堆由几个沙袋叠加，高度就是沙袋的数量），要求相邻的堆的高度差不能超过 1，而且最左边的堆的高度不能超过 H ，问最少可以摆多少堆（即宽度）。

分析：问最少堆（即最小宽度），设宽度 m ，则可以构建的沙袋数量 最少显然是 0

最多的时候，分三种情况

m > h 的时候是第二 还是 第三 种情况和 m 和 h 的奇偶性相关。

x 可以通过宽度 m 求出来，所以对于确定的 m ，所能构建的沙袋最大数量是确定的，且显然呈正相关，所以可以通过二分判断以上三种情况求解。

代码：

#include<cmath>
#include<cstdio>
#include<iostream>
using namespace std;

typedef long long ll;

const long long up = 2*1e9; //设置一个理论沙堆高度上限，避免爆long long

ll n,h;

bool check(ll m)
{
    if(m<=h)
	{
        if(m>=up) return true;
        return m*(m+1)/2>=n;   //第1种情况
    }
    ll H=(m-h)/2+h;  // H 其实就是第2，3种情况的 (h+x)
    if(H>=up) return true;
    if((m-h)%2!=0)
      return H*(H+1)/2+(H+h)*(H+1-h)/2>=n;     //第2种情况
    return H*(H+1)/2+(H-1+h)*(H-h)/2>=n;       //第3种情况
}

int main()
{
	scanf("%lld%lld",&n,&h);
	ll l=0,r=2*(ll)sqrt(1.0*n)+1;   
    // 宽度上限即形如 1,2,...,H,...,2,1 

	while(l+1<r)    //枚举沙堆宽度。
	{
		ll mid=(l+r)>>1;
		if(check(mid)) r=mid; 
		else l=mid;
	}
	printf("%lld",r);
}