一种线性时间算法用于寻找小树宽的树分解 | Synapse