暂时不明白的题

1. 【分治】Monthly Expense

网上的代码不太懂：当cnt正好等于m的时候，在二分，难道不会错过这时候的mid吗？

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<string>
#include<cstdlib>
#include<queue>
#include<vector>
#define INF 0x3f3f3f3f
#define PI acos(-1.0)
#define N 100001
#define MOD 123
#define E 1e-6
using namespace std;
int n,m;
int a[N];
bool judge(int value)//判断当前花费可把n分成几组
{
    int sum=0;//花费总和
    int cnt=1;//初始时只有一组
    for(int i=0;i<n;i++)//枚举每天花费
    {
        if(sum+a[i]<=value)
            sum+=a[i];
        else
        {
            sum=a[i];
            cnt++;
        }
    }
    if(cnt>m)//若分组数比规定数要多，则mid偏小，需调整左值
        return false;
    else//若分组数比规定数要少，则mid偏大，需调整右值
        return true;
}
int main()
{
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        int left=0,right=0;
        for(int i=0;i<n;i++)
        {
            scanf("%d",&a[i]);
            left=max(left,a[i]);
            right+=a[i];
        }
        int mid;
        while(left<=right)
        {
            mid=(left+right)/2;
            if(judge(mid))
                right=mid-1;
            else
                left=mid+1;
        }
        printf("%d\n",mid);
    }
    return 0;
}