tree compaction algorithm树: tree紧: taut; tight算法: algorithm紧算子: kompakter operator compact operator紧算子的迹: trace of a compact operator下载手机词典可随时随地查词查翻译