检索缩小形式的树