会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
hfjh
博客园
首页
新随笔
联系
订阅
管理
2023年3月28日
2-SAT问题
摘要:
# 2-SAT问题 有 $n$ 个布尔变量 $x_1 \sim x_n $,另有 $m$ 个需要满足的条件,每个条件的形式都是 「$x_i$ 为 `true` / `false` 或 $x_j$ 为 `true` / `false`」。比如 「$x_1$ 为真或 $x_3$ 为假」、「$x_7$ 为
阅读全文
posted @ 2023-03-28 08:12 He_Zi
阅读(22)
评论(0)
推荐(0)
编辑
公告