7.3.2 ACDT算法