二分答案的框架

定好答案范围，取中间值验证；可行就往一边缩，不可行往另一边缩。写一个 check 函数专门判断可行性。