会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
notnight
博客园
首页
新随笔
联系
管理
订阅
2019年1月5日
2017-2018 ACM-ICPC Pacific Northwest Regional Contest (Div. 1) M - Unsatisfying 2-Sat
摘要: 题目大意:给你 m 个式子, 问你最少再添加多少式子能使没有任何一种赋值方式使全部的式子为真。 并且在你给的式子中不能有非。 思路:根据题目给的m个式子可以建出2-Sat的图, 现在问你最少加多少个边使得2-Sat不成立, 我们可以发现我们给出的式子肯定是 a | a 的形式, 在题目中没有 ~p
阅读全文
posted @ 2019-01-05 18:50 NotNight
阅读(295)
评论(0)
推荐(0)
编辑
公告