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

题目描述

分析

第1、2组数据

很小，直接枚举。

第3、4组数据

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

第5、6组数据

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

第7组数据

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

第10组数据

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

第8组数据

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

第9组数据

随机，得到2分。