一些组合意义证明

全是抄的某 xyx 的博客!

拉格朗日反演

考虑扩展拉格朗日反演:
对形式幂级数 FG=x,H,有 [xn]HF=1n[xn1]H(xG)n

这等价于对形式幂级数 f=xg(f),h 证明 n[xn]h(f)=[xn](xh)gn

由于我们使用有标号对象建立双射,不妨将两边乘上 n!

LHS

考虑 LHS 中的 n![xn]h(f),注意到 f=xg(f) 显示出某种树的结构,而复合等价于在根处连接若干棵子树,考虑构造有根树 τ 满足:

  • 0n 编号,0 为根。
  • 令结点 u 的儿子数为 du,则其权值为 {du![xdu]h,u=0du![xdu]g,u0
  • 整棵树的权值 w(τ) 为所有结点的权值之积。

RHS

考虑 RHS 中的 n![xn](xh)gn,此时似乎并没有特别的结构便于刻画,不过可以直接考虑 {0,1,,n} 的一个 n 排列 α(等价于一张 n+1n 边的有向图):

  • 令结点 u 的入度为 du,则其权值为 {dudu![xdu]h,u=0du![xdu]g,u0
  • 整张图的权值 w(α) 为所有结点的权值之积。

进一步证明

考虑一个更强的结论:令 d0=kci=|{udu=i}|,此时的 w(τ)=w(α)。对所有的 kci 求和便得证拉格朗日反演。

显然 kw(τ)=w(α)

#τ,#α 为满足条件的树和排列的个数,那么只需要考虑证明 nk#τ=#α

考虑 #τ,显然直接套用 Prufer 序列的结论即可: #τ=(nc1,c2,)(n1)!(k1)!i!ci

考虑 #α,简单组合数学,考虑每条边从哪里连过来: #α=(nc1,c2,)n!k!i!ci

证毕。

矩阵树定理

考虑一个矩阵 A 的行列式 detA=psgn(p)w(p)

考虑 p 的循环分解 p={qi},显然 detA={qi}=pisgn(qi)w(qi)

考虑一个循环置换 qsgn,显然 sgn(q)=(1)|q|1。而对于 w(q)0,只有两种情况:单点或环。前者的权值即是其度数,后者则是 (1)|q|

从而删去第一行第一列的 n1 阶主子式即是 {qi}=[2,n]i{degq,|q|=11,q is a cycle in G

考虑这个东西,它等价于在每个点相邻的点中选定一个父亲,然后容斥掉环。

不过这里假定了 G 是简单无向图,事实上其他情况也不难类似地证明。

多元拉格朗日反演

咕咕咕。
停课的时候再补。

Related Issues not found

Please contact @Alpha1022 to initialize the comment