2018年8月21日
luoguP4782 [模板]2-SAT问题
摘要： https://www.luogu.org/problemnew/show/P4782 2 SAT模板，输出方案只需判断 $a$ 和 $a + n$ 两个点所在的 scc 编号大小就可以了 阅读全文
posted @ 2018-08-21 00:41 LJC00118 阅读(170) 评论(0) 推荐(0) 编辑
/*
*/