摘要：rotate中不需要也不可以push_up祖父节点。 splay时三点共线则需要先旋转fath。 先push_up(fath)再push_up(x)。 fail树上进行处理时，因为根节点是0而不是1，所以进行树上操作时需要对0做特判。 mid声明为(l+r)/2的时候，如果l,r<0则会出问题；如果 阅读全文