a_19是右边结点的集合，formula_20为边的集合。如果双射formula_21满足formula_22均为formula_20中的边，那么我们称其为formula_24的一个完美匹配。对包括二分图在内的任意图formula_24，我们定义其邻接矩阵formula_26如下：若formula_27 则 formula_28，否则 formula_29。不难验证，formula_30的值即是formula_24中完美匹配的个数，因为乘积项与双射之间一一对应，而不满足条件的双射所对应的乘积项为零。这样