L G V LGV LGV引理可以用于在DAG上求解不相交路径方案数问题
定义:
ω ( P ) \omega(P) ω(P)表示 P P P这条路径上的边权之积,解决路径计数问题时通常设为1,据说也可以是生成函数
e ( u , v ) e(u,v) e(u,v)表示 u u u到 v v v的每一条路径上的 ω \omega ω值之和,即 e ( u , v ) = ∑ ω ( P ) [ P : u → v ] e(u,v)=\sum\omega(P)[P:u \to v] e(u,v)=∑ω(P)[P:u→v]
起点集合记作 A A A,终点集合记作 B B B
σ ( S ) \sigma(S) σ(S)表示一个排列
一组 A → B A\to B A→B的不相交路径 S S