前置 二叉搜索树 BST BST 有以下两个性质： 二叉树 节点的权值始终为 left<root<right。 堆 Heap 所有父亲的值都不大于两个儿子的值的完全二叉树，叫做堆。 即 root \leq left 且 root \leq right。 树堆 Treap Treap 的节点维护两个信
才发现自己之前看的 2-SAT 模板题题解赤到石了，到最后不过是背过了板子题的代码罢了。 做了一些题之后渐渐懂了一些，有了一些自己的见解。 它能解决一类问题类似一个序列，每个位置只有两个取值，然后取值间有一些限制，求解其是否有解以及求一个可行解。 考虑每个位置拆分为两个点，分别为 i 和 \neg
发布于 2025-07-05
.png)
