摘要：
看着格路计数看着看着就到这了。 LGV引理 LGV引理拿来求DAG图上不相交路径计数等问题（事实上在不是平面图的DAG上会有若干问题，一会再说）。 然后是引理内容。首先是一大堆定义。 $\omega(P)$ 为 $P$ 这条路径上所有边的边权乘积。一般都是 $1$ ，拿来路径计数。（据说只要边权在交 阅读全文
摘要：
😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅😅 阅读全文
摘要：
盘活一下线性代数。我也不知道为什么看着格路计数然后看到LGV引理然后就来补线性代数了。 高斯消元可以拿来干什么？解方程组。线性方程组。 怎么解？我们现在有一个线性方程组长这样： $$ \left{ \begin{aligned} a_{1,1}x_1+a_{1,2}x_2+a_{1,3}x_3+&\ 阅读全文