2017年10月18日
2-SAT
摘要： 前天打了一场codeforces,发现c题是一道2-sat题,然而我并不会打,于是就爆炸.于是现在就仔细学一发2-sat. 首先把每个变量拆成2个点,一个表示它为0,一个表示它为1.把所有限制条件拆成"如果i的值是a,j的值必须是b"这样的条件,然后从表示i的值为a的点向表示j的值为b的点连一条边, 阅读全文
posted @ 2017-10-18 16:14 jxcakak 阅读(301) 评论(0) 推荐(1) 编辑