- 博客(2)
- 资源 (7)
- 收藏
- 关注
原创 2-SAT小白入门
1.什么是2-SAT解释2-SAT之前先解释下什么是SAT,SAT就是Satisfiability的缩写,就是给出一个合取范式(离散数学中的概念,大概就是这样的形式:(?∨\lor∨?∨\lor∨?……)∧\land∧(?∨\lor∨?∨\lor∨?……)∧\land∧(?∨\lor∨?∨\lor∨?……)……),找出一种方案,使得它为真。那么2-SAT就是在每个括号内只有两个限制,像这样(?∨\lor∨?)∧\land∧(?∨\lor∨?)∧\land∧(?∨\lor∨?)……的形式。2.如何解决2-
2020-11-05 14:26:54 496
原创 tarjan小白入门
0.tarjan中变量定义变量定义:dfn[]:每个点的时间戳,代表到达该点的时间low[]:不经过父节点能到达的最小时间戳cnt:已经访问了几个节点s[]:用于存放节点的栈top:栈顶scc[]:该节点属于第几个连通分量sccnum:连通分量数量iscut[]:是否是割点1.tarjan求联通分量理解:由于是求连通分量,根据连通分量的定义,我们可以得知连通分量是要求块内节点互相可达,因此只要形成环,环上的所有结点就能组成一个连通分量,用dfn数组保存每个点的访问时间,用low数组保
2020-11-03 20:47:59 164
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人