过约束数计算相关论文