LGV引理

\(LGV\)引理可以用于在DAG上求解不相交路径方案数问题 定义： \(\omega(P)\)表示\(P\)这条路径上的边权之积,解决路径计数问题时通常设为1，据说也可以是生成函数 \(e(u ...