树同构这题好像有线性复杂度的算法