好题
差分约束,是根据不等式组,通过巧妙地建边转化到图论跑最短/长路而求得一组可行解的算法。
转化到本题中,我们发现当o=1或o=2时,我们想要让一个人不女装,就需要
large A_i ≥ B_i * (K - T) large A_i * (K + T) ≥ B_i large A_i ≥ B_i * frac{1}{K + T}
满足这个不等式的时候,可以不女装,根据题目的话我们就需要找到一个T,让它不满足这个式子。 选择二分T(显然)