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