#二分查找

算法解题手册：从候选到状态转移

用八步流程把题面推导成算法：定义候选、确定求解方式、设计状态与转移，再用二分下界串起不变量、边界、代码和正确性验证。