题面甚至没给范围,由数据可得n<=200.容易想到二分答案,暴力枚举某集合的价值,2-SATcheck一下即可.这样是O(n4logn)的. 2-SAT复杂度已经是下界,考虑如何优化枚举.稍微改一下,不妨从大到小枚举较大的集合价值(即枚举边),另一个集合二分答案,同样O(n4logn). 看起来没什么卵用.但注意到较大集合所不能包含的边不可以成奇环,否则肯定有一条环上边被选中.那么考虑当前边,如果形成奇环,最大值不可能比它更小了,做完这个就可以退出:如果加上这条边后形成偶环,可以直接跳过,因为如…