LGV引理定义\(A\)是起点集合\(\{a_1,a_2,...,a_n\}\)。\(B\)是终点集合\(\{b_1,b_2,...,b_n\}\)。定义\(\omega(P)\)为路径\(P\)每一条边权值的乘积,即:\[\omega(P)=\prod_{e\inP}w_e\]定义\(e(a,b)\)表示点\(a\rightarrowb\)所有路径\(P\)的\(\omega(P)\)之和,即:\[e(a,b)=\sum_{P:a\rightarrowb}\omega(P)\]定义\(\sigma\)为\(1\simn\)的一个任意全排列,定义\(P_i\)代表\(a_i\rightarro