B.3 广度优先的时间线性推导顺序