Lindström–Gessel–Viennot lemma 定理

不相交路径：

$$e(a,b)=\sum_{P:a->b}w(P)$$
$$M=\left[ \begin{matrix} e(a_1,b_1) & e(a_1,b_2) & \cdots & e(a_1,b_n) \\ e(a_2,b_1) & e(a_2,b_2) & \cdots & e(a_2,b_n) \\ \vdots & \vdots & \ddots & \vdots \\ e(a_n,b_1) & e(a_n,b_2) & \cdots & e(a_n,b_n) \\ \end{matrix} \right]$$
$$\sum {C \subset B\text{的重排}} (-1)^{\tau(C)} \prod_{i=1}^n {c_i-a_i+n-1\choose n-1}$$
例子：
$$M=\left[ \begin{matrix} e(a_1,b_1) & e(a_1,b_2)\\ e(a_2,b_1) & e(a_2,b_2) \end{matrix} \right]$$

$\begin{align} M &=e(a_1,b_1)e(a_2,b_2)-e(a_1,b_2)e(a_2,b_1)\\ &= \binom{b_1-a_1+n-1}{n-1}\binom{b_2-a_2+n-1}{n-1}-\binom{b_2-a_1+n-1}{n-1}\binom{b_1-a_2+n-1}{n-1} \end{align}$