摘要: 解题思路 用2 SAT的思路将题目转化为:已知$n$个二元组$$,可以算出有多少属于不同二元组的元素$(a,b)$存在冲突,要在每个二元组$$中选择选择一个元素,且要尽可能的少选$y$,问是否可以选取$n$个两两不相互矛盾的元素,若可以输出选取方案。 经过简单的推导可以得到,对于$$和$$ 若$x_ 阅读全文
posted @ 2019-10-31 22:39 _Backl1ght 阅读(432) 评论(0) 推荐(0) 编辑