会员
周边
捐助
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
gmh77
Don't forget.Always,somewhere,someone is fighting for you. As long as you remember her,you are not alone. 如果有密码的话就是本人oj的uid号
博客园
首页
新随笔
联系
订阅
管理
2024年11月10日
2-sat小记
摘要: 记得好像写了,但找了一下发现没写,于是写一下 2-sat 用于求 p→q 的蕴含关系集合的一组解(或判断无解) 流程:先构造蕴含关系集合,谁成立/不成立时另一个必须怎么样 对每个命题p建p和非p(p'),每个蕴含关系p→q连边 (p,q), (q',p'),一定要有逆否的反向边 然后 ① 跑tarj
阅读全文
posted @ 2024-11-10 20:58 gmh77
阅读(3)
评论(0)
推荐(0)
编辑
公告