然后据说这东西不能带pushdown，只能标记永久化做，否则复杂度不对。
但我觉得复杂度没问题，pushdown一次与遍历同阶