7 題（7 題以此為主技法）
求「最小的最大／最大的最小」且答案具單調可行性：給定一個值能 O(n) 判斷可行。
對答案值域二分，寫 feasible(x) 判定；可行往一邊、不可行往另一邊收斂到臨界值。