8.3.4 其他基于约束的算法