会员
众包
新闻
博问
闪存
赞助商
HarmonyOS
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
会员中心
简洁模式
...
退出登录
注册
登录
xiaozi-qwq
博客园
首页
新随笔
联系
订阅
管理
2024年7月21日
2-SAT学习笔记
摘要: Part 0:前置知识 Tarjan求SCC Part 1:初识2-SAT sat即Satisfiability(可满足性问题),2-set问题指对于一串布尔变量,其只有True和False两种取值,在满足若干个约束条件的前提下,对变量赋值 举个栗子: A、B、C去吃早餐 小A认为一顿好早餐应该菜品
阅读全文
posted @ 2024-07-21 11:49 XiaoZi_qwq
阅读(49)
评论(0)
推荐(0)
公告