if(!son[u] || siz[v] > siz[son[u]]) son[u] = v;

此时判断是否被更新过的!son[u]条件不能省。