二分法最终判断

先放两个代码：

while(l<r)
		{
			mid=(l+r)/2;
			if(check(mid))
				r=mid;
			else
				l=mid+1;
		}
		if(3*mid*mid+3*mid+1==m)
			printf("YES\n");
		else
			printf("NO\n")

while(l<r)
		{
			mid=(l+r)/2;
			if(check(mid))
				r=mid;
			else
				l=mid+1;
		}
		if(3*r*r+3*r+1==m)
			printf("YES\n");
		else
			printf("NO\n");

第一个是错的，第二个是对的。
check函数：

bool check(long long a)
{
	if(3*a*a+3*a+1>=m)
		return 1;
	else
		return 0;
}

显然我在查找大于合理的值的所有值，并找到最小的值，那么为什么mid和r的值会影响最终的值呢：
在某一种情况，就是左值和mid重合且符合标准，右值并过去的时候，r和mid是一样的。
但是，如果左值和mid重合但不符合标准，那么左值并过去mid值还和原来左值一样的，这样就会出现mid和r不统一，导致出现错误。
注意：这种找大于标准值的写法最后一步都是左值并过去，右值一定是一直满足条件的。
return code;