摘要：
我们知道有可持久化线段树，那么我们自然也想到平衡树是否也能可持久化，答案是肯定的。 现在我们给出一种数据结构：Treap。 不会的点这里 我们现在发现，旋转是一种很难持久化的操作，那么我们就要尽量避免旋转操作,我们引入以下2个操作： 1.spilt 对于一个Treap，我们需要把它按照第K位拆分，那 阅读全文
摘要：
题目大意： 多组数据，给你一张真值表，求字典序最小的表达式。（真值表只有3个变量x,y,z） 我们发现答案不会很长，而且我们只有 256 种不同的输入，那么我们就可以打表。 我们怎么打表呢？我们发现答案不会很长，那么我们搜索表达式至len为20位，再加上最优性剪枝。跑个3min就出来了。 （看起来有 阅读全文