331 验证二叉树的前序序列化（模拟、dfs）

1. 问题描述：

序列化二叉树的一种方法是使用前序遍历。当我们遇到一个非空节点时，我们可以记录下这个节点的值。如果它是一个空节点，我们可以使用一个标记值记录，例如 #。

例如，上面的二叉树可以被序列化为字符串 "9,3,4,#,#,1,#,#,2,#,6,#,#"，其中 # 代表一个空节点。
给定一串以逗号分隔的序列，验证它是否是正确的二叉树的前序序列化。编写一个在不重构树的条件下的可行算法。
每个以逗号分隔的字符或为一个整数或为一个表示 null 指针的 '#' 。
你可以认为输入格式总是有效的，例如它永远不会包含两个连续的逗号，比如 "1,,3" 。

示例 1:

输入: "9,3,4,#,#,1,#,#,2,#,6,#,#"
输出: true

示例 2:

输入: "1,#"
输出: false

示例 3:

输入: "9,#,#,1"
输出: false

来源：力扣（LeetCode）
链接：https://leetcode-cn.com/problems/verify-preorder-serialization-of-a-binary-tree

2. 思路分析：

只有在给定二叉树的所有节点以及节点的空节点的情况才可以唯一确定一棵二叉树，题目中给出的字符串是包含节点以及节点的左右子树的情况所以我们可以遍历二叉树的时候模拟创建这棵的过程，在遍历节点的时候判断创建节点是否有问题，为了比较好处理根节点的值所以我们可以在给出的字符串的最后面加上一个逗号这个可以判断是否到达了末尾，所以模拟整个过程即可，只有当遍历的位置到达了字符串的长度表示可以唯一确定这棵二叉树。

3. 代码如下：

class Solution:
    # 在模拟构造二叉树的过程中判断是否存在问题如果出现问题那么返回False
    s = ""
    # 定义全局变量这样可以更新遍历的位置
    k = 0

    def dfs(self):
        s, k = self.s, self.k
        if k == len(s): return False
        if s[k] == "#":
            # 遇到空节点那么需要返回到上一层, 为True, 并且需要更新下一次遍历的位置
            self.k += 2
            return True
        i = k
        while i < len(s) and s[i] != ",":
            i += 1
        # 跳过逗号
        i += 1
        self.k = i
        # 模拟遍历创建左右子树
        return self.dfs() and self.dfs()

    def isValidSerialization(self, s: str) -> bool:
        # 使用逗号来分割对应的数字所以最后加上一个逗号会比较方便
        self.s = s + ","
        # 只有当构造的过程完成而且不剩下字符串的时候说明这棵二叉树是满足条件的
        if self.dfs() and self.k == len(self.s): return True
        return False