动态树(LCT)错误总结

访问儿子结点时，没有

pushDown()

，左右儿子未翻转。

Node *findRoot(Node *u)
{
Access(u);
Splay(u);
//这里漏掉一句：u->pushDown();
while(u->ch[0]!=null)
{
u=u->ch[0];
u->pushDown();
}
return u;
}

->ch

pushDown()

pushUp()

更新时，儿子结点未更新，仍存在懒标记

懒标记下传后未清空

void pushDown()
{
ch[0]->Update(add,rev);
ch[1]->Update(add,rev);
//漏了以下两句
//add=0;
//rev=false;
}

自定义空指针

null

内部信息错误

null->fa=null->ch[0]=null->ch[1]=null;
null->siz=1;//这里应=0

Cut操作判断删除的u->v边是否存在时，判断错误

void Cut(Node *u,Node *v)
{
makeRoot(u);
Access(v);
Splay(u);
u->pushDown();
if(u->ch[1]!=v)//还需判断    ||v->siz!=1
return;
u->setChild(null,1);
v->fa=null;
}

用翻转懒标记更新时，直接将标记改为

true

，没有取反

void Update(bool re)
{
if(this==null)
return;
if(re)
{
swap(ch[0],ch[1]);
rev=true;//应为rev^=1
}
}

持续更新……