摘要: 题目链接:https://vj.z180.cn/b4aacc08fc7aab6ce14e7baf13816c24?v=1571542994 题目要求n个灯(R,B),给出m组赋值方式,每一组中至少有两个是正确的,问是否能找到一组正确的赋值方式. 2-SAT模板运用强连通分量解决此类真值指派问题. 对 阅读全文
posted @ 2019-10-23 09:08 cherish__lin 阅读(381) 评论(0) 推荐(0) 编辑