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