会员
周边
捐助
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
FxorG
博客园
首页
新随笔
联系
订阅
管理
2022年11月15日
2-SAT
摘要: 一般解决的是 or 的问题。 将逻辑关系抽象成单向边,注意其逆否命题,但其逆命题可不能抽象为边。 假定 $i \ \text{or} \ j=1$,那么若 $i=0$,则 $j=1$,以及其逆否命题。但不能是,若 $j=1$,则 $i=0$。 但在 AND 的情况中,便需要考虑其逆命题。https:
阅读全文
posted @ 2022-11-15 08:53 FxorG
阅读(27)
评论(0)
推荐(0)
编辑
公告