该文被密码保护。 阅读全文
posted @ 2019-03-19 22:50 风浔凌 阅读(8) 评论(0) 推荐(0) 编辑
摘要: 题目链接: "戳我" ~~菜得不行了,直到今天才刚开始学2 SAT。。。。~~ 2 SAT的模板,因为是求最小字典序,所以只能用上限为$O(nm)$的最暴力的方法来做。。。 cpp include include include include include define MAXN 200010 阅读全文
posted @ 2019-03-19 17:03 风浔凌 阅读(95) 评论(0) 推荐(0) 编辑