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

题目描述

这里写图片描述
这里写图片描述
这里写图片描述

分析

第1、2组数据

很小,直接枚举。

第3、4组数据

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

第5、6组数据

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

第7组数据

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

第10组数据

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

第8组数据

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

第9组数据

随机,得到2分。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值