proportional reduction

In order to make the constraint algorithm more efficient,the processing of constraint propagation is analysed,and parameterized description of the arc consistency propagation depth is represented by using variable domain retraction proportion.

为进一步提高约束满足问题求解算法的效率,对约束传播过程进行了分析,并使用变量论域缩减比例对弧相容传播深度进行参数化描述,同时提出了一个约束传播程度可以控制的弧相容传播算法,研究了在不同参数下约束求解算法的效率。