C - Anton and Fairy Tale CodeForces - 785C（经典二分）

其实还可以找总结规律来做，但是不太会以后做了再补上。

对于这道题而言，二分的上限确定错了，导致wa了无数发。

对于n<=m的情况 肯定是在第n天的时候被吃空。

对于n>m的情况只有当 天数k开始大于m时，第k天结束到第k+1天晚上之前粮仓才不会是满的，并且从第k天开始，每天会减少的会+1，那么在粮仓变空的第x天，粮仓一共减少的就是1+2+3+4........（直接等差数列求和） ，当我们求出的和的值大于等于n-m（因为从第m天开始计算的，第m天结束的时候粮仓里是n-m，所以在以后的某天的相同时间内，还是用n-m来衡量）的时候。

#include <iostream>
#include <cstdio>
#include <string>
#include <algorithm>
using namespace std;
typedef long long ll;
ll n,m;
bool judge(ll x)
{
    return x*(x+1)/2>=n-m;
}
int main()
{
    scanf("%lld%lld",&n,&m);
    if(n<=m)
    {
        cout << n <<endl;
    }
    else
    {
        ll l=1;
        ll r=10000000000;
        while(r-l>=1)
        {
            ll mid = (l+r)/2;
            if(judge(mid)) r=mid;
            else l=mid+1;
        }
        cout << l+m <<endl;

    }
    return 0;
}