ula_3的多项式，且满足以下性质：特别的，设formula_2有formula_18个连通分量，分别为formula_19，那么
递推公式.给定图formula_2与formula_23，那么其中formula_25代表边收缩：令formula_26所连接的两个顶点计为formula_27和formula_28，而边收缩会使顶点formula_27和formula_28合并成一个新的顶点formula_31，并使原本与formula_27和formula_28相连的所有边都连