注意到一件事情:对于一个无向图的任意 DFS 生成树,位于同一个点双联通分量中的点一定是一条祖孙链。在这题中,每个点周围的所有边都处于同一个点双联通分量中,所以它们必定在同一条链上。并且如果起始边确定,那么这条链的链顶也是确定的。考虑设 dpi,0/1dp_{i,0/1}dpi,0/1 表示点 iii 子树内的答案,dpi,0dp_{i,0}dpi,0 表示起始边在子树外,dpi,1dp_{i,1}dpi,1 表示起始边在子树内。然后通过一些奇奇怪怪的容斥之类的东西转移。
场上并没有写出来,最后十分钟终于过了小样例结果大样例它 RE 了(悲