Anton and Fairy Tale-（二分）

题目链接： http://codeforces.com/problemset/problem/785/C

C. Anton and Fairy Tale

time limit per test

1 second

memory limit per test

256 megabytes

input

standard input

output

standard output

Anton likes to listen to fairy tales, especially when Danik, Anton's best friend, tells them. Right now Danik tells Anton a fairy tale:

"Once upon a time, there lived an emperor. He was very rich and had much grain. One day he ordered to build a huge barn to put there all his grain. Best builders were building that barn for three days and three nights. But they overlooked and there remained a little hole in the barn, from which every day sparrows came through. Here flew a sparrow, took a grain and flew away..."

More formally, the following takes place in the fairy tale. At the beginning of the first day the barn with the capacity of n grains was full. Then, every day (starting with the first day) the following happens:

• m grains are brought to the barn. If m grains doesn't fit to the barn, the barn becomes full and the grains that doesn't fit are brought back (in this problem we can assume that the grains that doesn't fit to the barn are not taken into account).
• Sparrows come and eat grain. In the i-th day i sparrows come, that is on the first day one sparrow come, on the second day two sparrows come and so on. Every sparrow eats one grain. If the barn is empty, a sparrow eats nothing.

Anton is tired of listening how Danik describes every sparrow that eats grain from the barn. Anton doesn't know when the fairy tale ends, so he asked you to determine, by the end of which day the barn will become empty for the first time. Help Anton and write a program that will determine the number of that day!

Input

The only line of the input contains two integers n and m (1 ≤ n, m ≤ 10¹⁸) — the capacity of the barn and the number of grains that are brought every day.

Output

Output one integer — the number of the day when the barn will become empty for the first time. Days are numbered starting with one.

Examples

Input

Copy

5 2

Output

Copy

4

Input

Copy

8 1

Output

Copy

5

Note

In the first sample the capacity of the barn is five grains and two grains are brought every day. The following happens:

• At the beginning of the first day grain is brought to the barn. It's full, so nothing happens.
• At the end of the first day one sparrow comes and eats one grain, so 5 - 1 = 4 grains remain.
• At the beginning of the second day two grains are brought. The barn becomes full and one grain doesn't fit to it.
• At the end of the second day two sparrows come. 5 - 2 = 3 grains remain.
• At the beginning of the third day two grains are brought. The barn becomes full again.
• At the end of the third day three sparrows come and eat grain. 5 - 3 = 2 grains remain.
• At the beginning of the fourth day grain is brought again. 2 + 2 = 4 grains remain.
• At the end of the fourth day four sparrows come and eat grain. 4 - 4 = 0 grains remain. The barn is empty.

So the answer is 4, because by the end of the fourth day the barn becomes empty.

解析：这道题就是以前学的漏池问题，一边加水，一边漏水，看什么时候水漏完，不同的是这道题数据大，暴力是一定超时的，因此我们找规律，一天多一只鸟吃粮食，因此出去就是1+2+3+---+k,但是加的时候并不是全部都加进去，前m天不管怎么吃粮食最后都加满了，从第m+1次开始，粮食会越变越少的，这时候每天减少的是逐次增加的，第m+1天减少1，第m+2天减少2，减少的数量逐次增加，因此我们只需要算算从第m+天开始需要的天数，总量是n-m，假设后面需要h天才能完，因此（1+h）*h/2>=n-m,用二分写就可以避免超时，代码如下：

#include<iostream>
#include<cstdio>
#include<string.h>
#include<math.h>
#include<map>
#define inf 0x3f3f3f3f
using namespace std;
int main()
{
    long long n,m;
    scanf("%lld%lld",&n,&m);
    if(n<=m)
        printf("%lld\n",n);
    else
    {
        long long sum=n-m,h=1,f=2e9;
        while(h<f)
        {
            long long mid=(f+h)/2;
            if(mid*(mid+1)/2>=sum)
                f=mid;
            else
                h=mid+1;
        }
        printf("%lld\n",h+m);
    }

    return 0;
}

解析只要找一些数据推下就很明白了（比如20 6），比赛的时候竟然忘了用二分算后面那一步，希望自己引以为戒。