(LGV)引理可以用于在DAG上求解不相交路径方案数问题
定义：
(omega(P))表示(P)这条路径上的边权之积,解决路径计数问题时通常设为1，据说也可以是生成函数
(e(u,v))表示(u)到(v)的每一条路径上的(omega)值之和，即(e(u,v)=sumomega(P)[P:u o v])
起点集合记作(A),终点集合记作(B)
(sigma(S))表示一个排列
一组(A o B)的不相交路径(S) : (S_i)表示(A_i)到(B_{sigma(S)_i})的一条路径，对于(i e j)存在(S_i)和(S_j)路径上没有交点
(N(sigma))表示排列(sigma)的逆序对个数
内容：
[M =
egin{bmatrix}
e(A_1,B_1) & e(A_1,B_2) & dots & e(A_1,B_m)\
e(A_2,B_1) & e(A_2,B_2) & dots & e(A_2,B_m)\
vdots & vdots & ddots & vdots\
e(A_n,B_1) & e(A_n,B_2) & dots & e(A_n,B_m)
end{bmatrix}
]
答案就是矩阵的行列式
例题：
- CF348D Turtles
- P6657 LGV引理