JSOI2019 Round2

JSOI的题质量很高…… 精准预测（2-SAT、拓扑排序、bitset） 不难发现两个条件都可以用经典的2-SAT连边方式连边，考虑如何加入时间的限制。对于第\(x\)个人在\(t\)时刻的状态是 ...