如果直接dp,状态里肯定要带上已走过的点的集合,感觉上不太好做. 考虑一种对期望的minmax容斥:其中Max(S)为遍历完S集合的期望步数,Min(S)为遍历到S集合中一个点的期望步数.当然才不管怎么证,反正看上去非常优美. 设f[i][S]为由i节点出发的Min(S),显然有f[i][S]=Σf[j][S]/di+1.暴力高斯消元复杂度就炸掉了. 注意到给出的是一棵树,现在连这个性质都没用到当然没法做.根据一个我没见过的套路,可以考虑把f[i]表示成a·f[fa]+b的形式,大力推一波式子就…