lgv 引理

lgv 引理：在一张有向无环图中，有边权，给定起点点集A，终点点集B，且A、B中点数一致。

定义P表示dag中一条路径

定义w(P)表示路径P上的边权乘积。

定义e(a,b)表示a到b的所有路径的边权乘积之和，即$e(a,b)=\sum_{P_i\in a\to b}{\omega(P_i)}$