13.4.3 带无界变量的一个算法