二分答案套路

当“答案越大越容易（或越难）满足”时，可二分答案。套路：确定答案区间 [lo,hi]，写 check(x) 判定 x 是否可行，按单调性收缩区间，把“求最优”变成“多次判定”。