会员
周边
众包
新闻
博问
闪存
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
一个响亮的蒟蒻
博客园
首页
新随笔
联系
订阅
管理
2016年6月11日
poj 3678 Katu Puzzle 2-SAT
摘要: 题目大意 给定n个布尔型变量,以及m个限制,限制有三种类型,AND,OR,XOR。分别表示两个变量进行这些运算的值。每个变量只能取0或1.问是否有一种情况满足所有条件的限制 分析 对于本题,设i表示该变量为false,i’表示该变量为true。 i and j=1--------...
阅读全文
posted @ 2016-06-11 21:07 一个响亮的蒟蒻
阅读(74)
评论(0)
推荐(0)
编辑
公告