poj3273，UPC分治 F money expens

 这个代码在upc上提交错误，但是在poj上提交就正确了，我也不知道为什么。。。

#include<iostream>
#include<algorithm>
#include<cstdio>
using namespace std;
#define maxn (1<<31)-1
int a[1000005],n,m;
bool judge(int num)
{
    int sum=0,cnt=1;
    for(int i=1;i<=n;i++)
    {
        if(sum+a[i]<=num)
            sum+=a[i];
        else
        {
            sum=a[i];
            cnt++;
        }
    }
    if(cnt>m) return false;
    else      return true;
}
int main()
{
//    ios::sync_with_stdio(false);
//    cin.tie(0);
//    cout.tie(0);
    int left=0,right=0,mid;
    cin>>n>>m;
    for(int i=1;i<=n;i++)
    {
        cin>>a[i];
        left=max(left,a[i]);
        right+=a[i];
    }
    while(left<=right)
    {
         mid=(left+right)/2;
        if(judge(mid)) right=mid-1;//
        else           left=mid+1;//right=mid-1;

    }
    LL sum=0,maxn=0;
    for(int i=0;i<n;i++)
    {
        if(sum+a[i]<=mid) sum+=a[i];
        else
        {
            maxn=max(sum,maxn);
            sum=a[i];
        }
    }
        printf("%ld\n",maxn);
    cout<<mid<<endl;
    return 0;
}

还有，有关折半查找法。为什么这个题，当left==right的时候就一定有正确的mid？万一mid无法通过区间和得到呢？