331. 验证二叉树的前序序列化

题目描述：

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

例如，上面的二叉树可以被序列化为字符串 “9,3,4,#,#,1,#,#,2,#,6,#,#“，其中 # 代表一个空节点。

给定一串以逗号分隔的序列，验证它是否是正确的二叉树的前序序列化。编写一个在不重构树的条件下的可行算法。

保证 每个以逗号分隔的字符或为一个整数或为一个表示 null 指针的 ’#’ 。

你可以认为输入格式总是有效的

• 例如它永远不会包含两个连续的逗号，比如 “1,,3” 。

注意：不允许重建树。

示例 1：

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

示例 2：

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

示例 3：

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

提示：

• 1 <= preorder.length <= 10⁴
• preorder 由以逗号 “，” 分隔的 [0,100] 范围内的整数和 “#” 组成

---

解题分析及思路：

方法：栈

思路：

对于一个根节点，如果他的两个叶子结点是#，那么我们认为他是一棵树

例如：节点 3 的左子树就是一棵树，同理，节点 3 的右子树也是一棵树

当一个节点的子节点可以认定为一棵树时，我们可以剔除该节点，并将其子节点置空（设为#，因为#代表空节点）。因为两者是等价的。

所以”3,4,#,#,1,#,#” 可以 简化为 “3,#,#“，可以继续简化为 ”#“

那么 ，可以发现一棵二叉树最终可以被简化为 ”#“

所以，最终的方案就是遍历整个字符串，将 “x,#,#” 不停的替换为 ”#“即可，最终判断结果集是否仅剩一个元素且为 ”#“。

func isValidSerialization(preorder string) bool {
	ss := strings.Split(preorder, ",")
	stack := make([]string, 0)
	for index := range ss {
		stack = append(stack, ss[index])
		for len(stack) >= 3 && stack[len(stack)-1] == "#" && stack[len(stack)-2] == "#" {
			stack = stack[:len(stack)-2]
			if stack[len(stack)-1] == "#" {
				return false
			}
			stack = stack[:len(stack)-1]
			stack = append(stack, "#")
		}
	}
	return len(stack) == 1 && stack[0] == "#"
}

复杂度：

• 时间复杂度：O(N)
• 空间复杂度：O(N)

执行结果：

• 执行耗时:4 ms,击败了12.50% 的Go用户
• 内存消耗:3 MB,击败了5.36% 的Go用户