[学习笔记]Tutte矩阵与FKT算法求平面图完美匹配数

第一篇学习笔记，之后可能会更更多这些中文资料比较匮乏，现存题目不多的算法相关的学习笔记。
FKT算法很久之前就听说过了，选择看了下网上的中文资料，然后发现仅有的一两篇博客还没有证明，于是丢掉了。最近做codechef月赛遇到了Tutte矩阵求解完美匹配相关的内容，于是学习了一波证明。于是决定自己写一篇博客，详细介绍一下这个很有意思的东西。

Warning：接下来的东西是博主自己自己理解的，不科学的地方欢迎指出，轻喷。

1.Pfaffian

令$P(n)$为所有长度为$n$排列的集合，再定义一个$n\times n$（$n$为偶数）矩阵$A$的$Pfaffian$为$Pf(A)=\frac{1}{2^n\cdot n!}\cdot {\sum }_{p\in P(n)}sgn(p){\prod }_i{A}_{p_{2i-1},p_{2i}}$。
一般来说，我们只考虑$A$是斜对称矩阵（$A_{i,j}=-A_{j,i}$）的情况，那么此时我们可以发现若固定了$(M_{2i-1},M_{2i})$的集合（显然可以得到$2^n\cdot n!$个不同的排列），所有排列对$Pf(A)$的贡献是相同的。也即，令$PM(n)$为所有$1\sim n$二元组划分的集合，例如 P M ( 4 ) = { { ( 1 , 2 ) , ( 3 , 4 ) } , { ( 1 , 3 ) , ( 2 , 4 ) } } PM(4)=\{ \{ (1,2 ), (3,4 ) \},\{ (1,3 ),(2,4 ) \} \} PM(4)={ { (1,2),(3,4)},{ (1,3),(2,4)}}，对于$PM(n)$中的一个元素$M$，我们定义$f(M)$为按任意顺序排列$M$中的$n/2$个数对并顺次连接起来（允许交换同一数对中两个数的顺序）所得到的排列$p$的$sgn(p){\prod }_i{A}_{p_{2i-1},p_{2i}}$。那么有$pf(A)={\sum }_{M\in PM(n)}f(M)$。

一个重要的引理是，对于斜对称矩阵$A$，$Pf(A{)}^2=det(A)$。
证明考虑令$g(\pi )=sgn(\pi ){\prod }_i{A}_{i,{\pi }_i}$，有$d$