【板子】tarjan,2-sat,缩点DAG
const int MAXN 210; // n ≤ 100,两倍空间
vector<int> g[MAXN];
int dfn[MAXN], low[MAXN], scc_id[MAXN];
int stk[MAXN], top, ts, scc_cnt;
bool ins[MAXN];void tarjan(int u) {dfn[u] low[u] ts;stk[top] u;ins[u] true;for (int v : g[u]) {if (…
2026/7/16 3:26:06