摘要：
算法简述 每个元素仅存在选与不选两种状态，且元素间存在某些限制关系，称作$2 sat$问题。 算法流程 我们将每个元素$x$拆成两个点$x$和$x + n$，分别表示是否选择点$x$。最终$x$和$x + n$中必须选择1个。 将限制关系在其上表达。原命题和逆否命题是同时成立的，应同时在图上表达。 阅读全文
摘要：
割边/桥 定义：删去该边后，原图分裂成大于1个联通块 求解：对于边$x \rightarrow y$，若$low[y] dfn[x]$，则$x \rightarrow y$是桥 易错：$dfs$时，带参数$faId$，表示进入$x$的边。访问$x$到达的点时，略过$faId$ 边双连通分量 定义：没 阅读全文
该文被密码保护。 阅读全文