题目

思路

一句话：同时从两个根节点往下走，逐点比对「是否都空、值是否相等」，再把问题交给左右子树。

最直白的想法是把两棵树各自遍历成一个序列，再比较序列。可行，但绕：如果不显式保留 null 占位，[1,2] 和 [1,null,2] 在前序遍历里都可能写成 1, 2，分不清结构；补上占位之后又等于重写了整道题的判定逻辑。

关键观察：两棵树相同，当且仅当当前根值相等、左子树相同、右子树相同。这句话本身就是一个递归定义——不用展开成序列，直接用两个指针 p、q 对齐同一位置判断即可。

于是选定做法：递归 + 同步遍历。每一步只处理当前这一对节点，其余交给递归，结构最贴合定义。

解法

把「当前这一对节点是否相同」拆成四种情况，按顺序判断：

1. 两个都空 → 两侧都走到底且结构一致，返回 true。
2. 一个空、一个非空 → 结构不同，返回 false。
3. 两个都非空但值不同 → 返回 false。
4. 值相同 → 递归比较 左对左、右对右，两边都为真才返回 true。

下图把上面 4 个步骤串成流程，并逐步演示：