会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
舞うは岚、奏でるは灾祸の调べ
首页
新随笔
联系
订阅
管理
2019年10月5日
并不对劲的bzoj4945:loj2305:uoj317:p3825[NOI2017]游戏
摘要: 题目大意 2 SAT,其中有$d$($d\leq 8$)个点是$3 SAT$。 题解 枚举$d$个点不取三个中(假设三个为$a,b,c$)的哪一个,然后整体变成做$2 SAT$。 注意枚举完不选$a$(即选$b或c$)和不选$b$(即选$a或c$)后,不选$c$(即选$a或b$)已经包含在前两种中,
阅读全文
posted @ 2019-10-05 08:41 echo6342
阅读(189)
评论(0)
推荐(0)
编辑
公告