考虑先二分答案。
然后我们可以枚举区间,比如答案是 3,那么区间可以是 [1,3],[2,4] 这样的。对于每个区间,建立区间对应的边跑网络流,所有情况下如果有一种情况是所有牛恰好都匹配成功则 check 成功。
check