在二分找到一个合理的 $mid$ 使得选择白边的数量 $\ge need$ 会得到一个可能 $\ne need$ 的白边数量 $k$。

为什么即使 $k \ne need$ 也只需要 $ans + need * mid$ 即可？