SPOJ 297 Aggressive cows：二分答案求最大最小間隔

題目大意

n 個棧位置（已排序），選 c 個棧放牛，使任意兩頭牛之間的最小距離盡可能大。輸出這個最大的最小距離。

二分答案 + 貪心驗證

若固定最小距離 d，判斷能否放下 c 頭牛：
貪心策略——第一頭牛必放在第一個棧（若不放，移過去只會增加間距不減少）。之後每頭牛放在距離上一頭牛 ≥ d 的最左棧。若能放 ≥ c 頭，d 可行。
二分搜索 d 的最大可行值。

C++ 實現