警钟砍碎

你的 Tarjan 板子里可能有很多奇形怪状的问题（比如元素退栈时把 in 数组错设为 $1$）。

执行 Tarjan，遍历每个点检查是否需要搜索时，需要从 $1$ 枚举到 $2n$ 而非 $n$。

如果 $x$ 所属连通分量的 dfn 序小于 $!x$ 则将 $x$ 置为 false 而非 true（不要设反了）。这是因为，$x$ 比 $!x$ 更先搜索到，可能有 $x$ 到 $!x$ 的路径（这条路径意味着如果 $x$ 那么 $!x$，即 $x$ 不能为真）。但是一定没有 $!x$ 到 $x$ 的路径（如果有：那么，如果有 $x$ 到 $!x$ 的路径，那么 $x$ 与 $!x$ 在同一连通分量上，无解。如果没有 $x$ 到 $!x$ 的路径，那么与 $x$ 的 dfn 序小于 $!x$ 矛盾）。所以这样设不会有问题。