【提交答案题】[WC2009]优化设计

题目描述

分析

第1、2组数据

很小，直接枚举。

第3、4组数据

都是 A|B 的形式，其中 A 和 B=xi 或~ xi ，而且答案是全都可以满足，标准的 2−SAT

第5、6组数据

也是 A|B 的形式，但是 A 和 B=xi1&xi2…
可以使用一下分配律。
第5组可以全部满足，又是 2−SAT
第6组有3条不能满足，枚举是哪三条显然是不现实的，能不能贪心一下呢？
我们一条一条地看，如果加上这一条会使 2−SAT 无解，就不加上这一条，否则就加上，发现正好少了3条，就可以 2−SAT 求出解了。

第7组数据

观察数据，发现每一条的跨度都小于11，用一个类似 APIO2007 动物园的状压DP就行了

第10组数据

发现实际上是在一个二维的平面上给点染色，手动造出答案。

第8组数据

全部都是与，考虑优先满足长度比较小的式子，得到9分。

第9组数据

随机，得到2分。