- 博客(2)
- 资源 (7)
- 收藏
- 关注
RSS订阅原创 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
477
原创 tarjan小白入门
0.tarjan中变量定义变量定义：dfn[]：每个点的时间戳，代表到达该点的时间low[]：不经过父节点能到达的最小时间戳cnt：已经访问了几个节点s[]：用于存放节点的栈top：栈顶scc[]：该节点属于第几个连通分量sccnum：连通分量数量iscut[]：是否是割点1.tarjan求联通分量理解：由于是求连通分量，根据连通分量的定义，我们可以得知连通分量是要求块内节点互相可达，因此只要形成环，环上的所有结点就能组成一个连通分量，用dfn数组保存每个点的访问时间，用low数组保
2020-11-03 20:47:59
136
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人