13.3.3 带有界变量的一个算法＊