ab剪枝算法例题