JSOI2019

设第i个人在t时刻生/死为(x,0/1,t)，然后显然能够连上(x,0,t)->(x,0,t-1)，(x,1,t)->(x,1,t+1)，然后对于每个限制，用朴素的2-SAT连边即可。 但这样的点数达到了O(nT)，其实有一种方法可以只把限制的边连接...

题目 这么明显的限制条件显然是\(\text{2-sat}\) 考虑按照时间拆点，\((0/1,x,t)\)表示\(x\)个人在时间\(t\)是生/死 有一些显然的连边 \[(0,x,t+1)->(0,x,t) \] 就是如果想在\(t+1\)时刻还是活着那必须在\(t\)...

Description 现有一台预测机，可以预测当前 \(n\) 个人在 \(T\) 个时刻内的生死关系。关系有两种： \(\texttt{0 t x y}\)：如果 \(t\) 时刻 \(x\) 死了，那么 \(y\) 在第 \(t+1\) 时刻也会死亡。 \(\texttt{1 t x...

LOJ#3101. 「JSOI2019」精准预测 设0是生，1是死，按2-sat连边那么第一种情况是\((t,x,1) \rightarrow (t + 1,y,1)\)，\((t + 1,y, 0) \rightarrow (t,x,0)\) 第二种情况是\((t,x,0) \rightarrow (t,y,1)\),\((t,...