2025.3.26 闲话

图

对于有向无环图 \((V,E)\)，

\[f_u=a_u+\sum_{(u,v)\in E}f_vc_{(u,v)}\qquad(f_S=1) \]

\[g_u=\sum_{(v,u)\in E}g_vc_{(u,v)}\qquad(g_U=1) \]

\[h_u=a_ug_u+\sum_{(v,u)\in E}h_v \]

那么 \(f_U=g_S\) .