P3825

# P3825 [NOI2017] 游戏 题解 首先解决没有 `x` 的情况，这种情况下 每个事件有两种选择，例如 `a` 可以选择 `b, c`，所以这就是一个 `2-SAT` 问题，但是这题比较特殊，除了题目中给的命题，还需要建立原命题的逆否命题所对应的边，最后跑一遍 $\text{Tarjan ......