会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
shirlybabyyy
博客园
首页
新随笔
新文章
联系
管理
订阅
2020年3月23日
2-SAT问题(题目)
摘要: 2-SAT问题 现有一个由N个布尔值组成的序列A,给出一些限制关系,比如A[x] AND A[y]=0、A[x] OR A[y] OR A[z]=1等,要确定A[0..N-1]的值,使得其满足所有限制关系。这个称为SAT问题,特别的,若每种限制关系中最多只对两个元素进行限制,则称为2-SAT问题。
阅读全文
posted @ 2020-03-23 10:08 shirlybabyyy
阅读(183)
评论(0)
推荐(0)
编辑
公告