最小值最大

反方向：“在数轴上放 k 头牛使相邻最小间距最大”。二分间距 x，check 从最左放牛，每次放在距上一头 ≥x 处，数能放几头，≥k 则 x 可行、增大 x。