菜就多练练

Part 1

众所周知矩阵树定理可以用著名的 Cauthy-Binet 定理来证明，但是我们其实可以直接根据容斥来证明，并且拓展性更好。

对于无向图的情况，可以将问题转化为删去第$i$个点，其他每个点指定一条出边（有向的，可以指向$i$），使得不出现环的方案数。

再看矩阵行列式的定义：$\text{det}(A)=(-1{)}^{\sigma (p)}\sum A_{i,p_i}$，考虑$i$向$p_i$连边，这样形成了若干个置换环，对于$p_i=i$的点可以任意选择出边，剩下的出边已经钦定了，方案数就是$G_{i,p_i}$（邻接矩阵）。最后考虑容斥系数，首先每个$p_i\ne i$的点会贡献$-1$的系数，其次每个环对逆序对的贡献为环的大小$-1$，因此恰好为$(-1{)}^{cyc}$。

所以答案是$\text{det(D-G)}$。

对于有向图的情况，可以发现内向树的答案还是$\text{det(D-G)}$（$G$表示有向图的邻接矩阵），外向树反一下就好了。

Part 2

能不能推广到基环树（森林）计数？

引子：

求每个点恰有一条出边，且形成的简单环的环长都是奇数的方案的权值和，其中方案的权值定义为$2^k$，$k$表示形成的简单环的数量。$n\le 500$。

因为是基环树，所以有$n$条边，因此矩阵的大小应该为$n$。

考虑容斥，钦定一些点形成置换环，剩下的点任选出边，容斥系数为$(-1{)}^{cyc}$，其中$cyc$表示偶环的数量。这样，对于存在偶环的方案贡献为$0$，对于只存在奇环的方案贡献为$2^k$。

不难发现这就是$\text{det(D+G)}$。

Part 3

能不能反着用？

引子：

定义$n\times n$的矩阵$A$为：$A_{i,i}=c_i$，$A_{p_i,i}=a_i$，$A_{i,p_i}=b_i$（$i\ge 2,p_i<i$），其余位置均为$x$。求$\text{det(A)}$。$n\le 10^6$。

考虑$x=0$怎么做。将$i$向$p_i$连边，则构成一颗树。根据行列式的定义，对于每个$i$，只能指向父亲，自己或者儿子。本质上就是拆分成若干个大小为$1$或者$2$的置换环，可以直接树$DP$。

对于$x>0$的情况，考虑构造$X=(x{)}_{n\times n}$，$Y=A-X$，则：

$$\text{det(X+Y)}=\sum _{\sigma }\prod _{i=1}^n(x+Y_{i,{\sigma }_i})$$

如果我们选择了两项$x$（记作下标$q_1,q_2$），那么必然存在另一个$\sigma$（即交换$q_1,q_2$），使得权值相同但符号相反。

因此$x$至多有一项，即至多存在一条非树边，这等价于选两个点$u,v$，然后把$u,v$路径上的点删去（单独形成一个置换环），剩下的点形成若干个大小不超过$2$的环。可以用树形$DP$解决，不再赘述。

Part 4

为啥我之前没学懂BEST定理

对于一个有向欧拉图，从起点$s$出发的欧拉回路数目是（认为所有边均不同）：

$$F(s)=T_s(G)\times (d_s!)\times \prod _{u\ne s}(d_u-1)!$$

其中$T_s(G)$表示以$s$为根的内向生成树个数，$d_u$表示出边数目。

其中$T_s(G)$枚举的是最后从$u$离开的边（即树边），剩下的边遍历方式任意。

证明很简单。我们只需要证明每次删掉一条边后图弱联通即可，注意到每次删掉一条树边时整颗子树一定都被删掉了（否则一定不是最后一条出边），得证。

对于整张图，对应的欧拉回路数目是

$$F(s)=T_s(G)\times \prod (d_u-1)!$$

因为$s$在欧拉回路出现了$d_s$次，而从任意一个$s$出发都能得到不同的欧拉回路，除掉$d_s$即可。

因此还可以证明对于任意$s$，$T_s(G)$都是相同的。

引子：[ABC336G] 16 Integers

考虑建立点$(i,j,k)$，然后$(i,j,k)$向$(j,k,l)$连有向边，就是求每条边经过次数固定的欧拉路径个数。

然后就是BEST定理板子了。