会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
g1ove
Murmer?
博客园
首页
新随笔
联系
订阅
管理
2024年3月25日
2-SAT 小计
摘要: 前置知识: Tarjan ,SCC缩点。 引入 有一堆人要吃饭。 第一个人: 我想吃香精煎鱼,不想吃香菜逢仁鸡 。 第二个人: 我不想吃油饼,不想吃香精煎鱼。 第三个人: 我想吃油饼,也想吃香菜逢仁鸡。 你是厨师,你做的菜要满足上面所有人的口味两个的任意之一。 这怎么办? 这就是经典的 2-SAT
阅读全文
posted @ 2024-03-25 22:10 g1ove
阅读(7)
评论(0)
推荐(0)
编辑
公告