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,y,0) \rightarrow(t,x,1)\) 然后\((t,x,0)\)往\((t - 1,x,0)\)连边,\((t,x,1)\)往\((t + 1,x,1)\…