检查二叉树顶视图中的节点是否形成回文数

在二叉树的顶视图中，将每一层最左侧的节点和最右侧的节点依次连成一条线，形成一串数列。例如下图所示的二叉树的顶视图数列为 [1, 2, 4, 5, 3, 6, 7]：

      1
    /   \
   2     3
  / \   / \
 4   5 6   7

本题的任务是判断这个数列是否是一个回文数，即正反读都相同的数列。

为了解决这个问题，我们可以借助队列和栈这两种数据结构。具体而言，我们可以按层次遍历二叉树，在遍历的同时维护两个队列，一个存储每一层最左侧的节点，一个存储每一层最右侧的节点。然后将这两个队列依次从队头取出元素，放入对应的栈中，最终得到两个栈。我们只需要按顺序从这两个栈中依次取出数字，判断它们是否相同即可。

下面附上 Python 代码实现：

from collections import deque

class TreeNode:
    def __init__(self, val=0, left=None, right=None):
        self.val = val
        self.left = left
        self.right = right

def is_symmetric(root: TreeNode) -> bool:
    if not root:
        return True

    left = deque()
    right = deque()

    queue = deque()
    queue.append((root, 0))

    while queue:
        node, level = queue.popleft()

        if level >= len(left):
            left.append(node.val)
        else:
            left[level] = node.val

        if level >= len(right):
            right.append(node.val)
        else:
            right[level] = node.val

        if node.left:
            queue.append((node.left, level + 1))
        if node.right:
            queue.append((node.right, level + 1))

    while left and right:
        if left.pop() != right.pop():
            return False

    return True

其中 TreeNode 是二叉树的节点类。我们使用两个队列 left 和 right 分别存储每一层最左侧的节点和最右侧的节点。使用队列和层次遍历，我们依次遍历二叉树的每个节点，并将其存储在对应的位置。最后，我们将存储最左侧节点的队列和存储最右侧节点的队列依次取出元素，放到对应的栈中，并比较它们是否相同。如果遇到不相同的数，我们可以直接返回 False 作为判断结果；否则，在遍历完成后返回 True，表示这是一个回文数列。