2019年8月10日
[LOJ 3101] [Luogu 5332] [JSOI2019]精准预测(2-SAT+拓扑排序+bitset)
摘要： [LOJ 3101] [Luogu 5332] [JSOI2019]精准预测(2 SAT+拓扑排序+bitset) 题面 题面较长,略 分析 首先，发现火星人只有死和活两种状态，考虑2 SAT 建图 对于每个火星人，把它按时间和状态拆点，$(i,t,0/1)$代表第i个火星人在t时刻，0代表活，1代 阅读全文
posted @ 2019-08-10 14:50 birchtree 阅读(202) 评论(0) 推荐(0) 编辑