ipartite graph）上完美匹配（perfect matching）的数目——等价于求某个矩阵的积和式。
定义.一个formula_4矩阵formula_5的积和式定义为其中formula_7为formula_8阶置换群，即包含所有"formula_8"元排列的集合。在formula_10的特殊情形下，从定义不难验证，积和式是多线性多项式，且置换formula_12中行（或列）后保持不变。与行列式类似，积和式也可以用拉普拉斯展开式展开。作为比较，同一个矩阵for