一般随机游走的题目都是对期望 $dp$，列出式子，然后高斯消元。

但是树上随机游走可以设 $dp[i]=a\cdot dp[fa_i]+b$。

为什么可以这么设？