摘要:给定两个 2-sat 问题,询问两个问题的解集是否相同。 如果不相同,构造一组解 {xi},使得这个解是其中一个问题的解同时不是另一个问题的解。 阅读全文
posted @ 2020-01-30 22:20 Tiw_Air_OAO 阅读(40) 评论(0) 推荐(0) 编辑