树形+概率DP，可能要稍微推一下结论,整体难度可以接受，没有什么反直觉的地方