我有点不理解为什么只是需要历史版本的一些问题，如To the moon，不能直接下传标记。我觉得直接下传标记(每次下传前都拷贝一次儿子作为新的)的话，虽然空间常数大，但是单次操作也仍然是 $O(\log n)$ 的，感觉没有什么问题。