2020年1月30日
@codeforces - 668E@ Little Artem and 2-SAT
摘要： 给定两个 2-sat 问题，询问两个问题的解集是否相同。 如果不相同，构造一组解 {xi}，使得这个解是其中一个问题的解同时不是另一个问题的解。 阅读全文
posted @ 2020-01-30 22:20 Tiw_Air_OAO 阅读(232) 评论(0) 推荐(0) 编辑