- 博客(3)
- 收藏
- 关注
RSS订阅原创 Night的算法杂谈-2SAT问题
SAT问题总述 SAT是适定性(Satisfiability)问题的简称 。一般形式称为k-适定性问题，简称 k-SAT。 形式化地描述如下： 设 A={a1,a2,⋯,an}A={a1,a2,⋯,an}A = \{ a_1,a_2, \cdots ,a_n\} 为一个有限个布尔变量所构成的集合，A^={a1,a2,⋯,an,¬a1,¬a2,⋯,¬an}A^={a1,a2,⋯,an,¬a1,¬...
2018-03-29 20:18:51
558
1
原创 Night的数据结构杂谈-可持久化线段树
要想知道可持久化线段树是什么呢，我们得先了解一下所谓“可持久化”这四个字代表什么。 恩一个可持久化数据结构（persistent data structure）就是一个可以在操作时保留自身先前版本的数据结构。 那么怎么支持可持久化呢？最简单的方案当然就是每次操作我们重新建立一个数据结构，然后将之前的操作全部都在这个结构上进行一次，然后接着进行当前操作。或者是可以对于第 iii 次操作，我们把第...
2018-03-22 19:16:58
301
原创 Night的数据结构杂谈-虚树
在某些时候，我们需要维护树上选一些点所得到的东西。 这些东西要满足这样一个性质：未选的点可以通过某种方式删除而不影响最终的结果。 最典型的就是求被选出的节点在原树上的距离之和。 既然我们知道未选的点可以删掉，那么我们就想办法建一棵树，使得树上的未选点尽量少。 这棵树就叫虚树。 那么要怎么建立一棵虚树呢？ 首先我们在原树上跑一遍 dfsdfsdfs，并得出树上节点的 dfsdfsdfs ...
2018-03-17 14:53:08
799
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人