【提交答案题】[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分。