安全归约导论 郭福春 《安全归约导论》 · 第 383 页 · Appendix 2「The Pfaffian」，Theorem 1 后的定义 The determinant of an antisymmetric matrix $A$ of even order is the square of a homogeneous polynomial of degree $n/2$ in the entries of $A$: $\det A=P^2$. $P$ is called the Pfaffian. 查看原书页面
