二分的复杂度是O(log(L)),但是不是基于check函数是O(1)的前提?本题check函数的复杂度要遍历所有的树是O(n)，有点不太懂这里的复杂度是O(nlog(L))吗，为什么没有TLE

while(l < r){
  mid = (l + r + 1) / 2;
  if(check(mid)) l = mid;
  else r = mid - 1;
}