摘要: https://www.lydsy.com/JudgeOnline/problem.php?id=1823 https://www.luogu.org/problemnew/show/P4171 题面太长啦就不粘过来啦! 裸的2-SAT用来练板子的。 显然属于“a和b之间必须选一种”模型,只要a'向 阅读全文
posted @ 2018-05-10 22:17 luyouqi233 阅读(159) 评论(0) 推荐(0) 编辑
摘要: https://www.lydsy.com/JudgeOnline/problem.php?id=4942 http://uoj.ac/problem/314 https://www.luogu.org/problemnew/show/P3822 题面是markdown形式的所以我传不上…… UPD 阅读全文
posted @ 2018-05-10 21:04 luyouqi233 阅读(190) 评论(0) 推荐(0) 编辑