力扣LeetCode #331 验证二叉树的前序序列化（isValidSerialization）

- 题目描述

序列化二叉树的一种方法是使用前序遍历。当我们遇到一个非空节点时，我们可以记录下这个节点的值。如果它是一个空节点，我们可以使用一个标记值记录，例如 #。给定一串以逗号分隔的序列，验证它是否是正确的二叉树的前序序列化。编写一个在不重构树的条件下的可行算法。每个以逗号分隔的字符或为一个整数或为一个表示 null 指针的 ‘#’ 。

你可以认为输入格式总是有效的，例如它永远不会包含两个连续的逗号，比如 “1,3” 。

来源：LeetCode

- 示例

• 示例 1:
  输入: “9,3,4,#,#,1,#,#,2,#,6,#,#”
  输出: true
• 示例 2:
  输入: “1,#”
  输出: false
• 示例 3:
  输入: “9,#,#,1”
  输出: false

- 思路分析

用栈比较好实现。如果当前字符是“#”并且栈顶的元素也是“#”，就连续两次将栈顶元素出栈，然后再入栈一个#，代表这个子树是没有问题的。

• 如果是合法的序列，那么上述出栈操作不会出现问题，并且在处理完后，整个栈的长度为1，并且栈中唯一的元素时“#”。
• 如果是不合法的序列，最后栈的长度不是1，内容不是“#”，或者在中途出栈的过程中遇到空栈，或者当前字符是“#”但是栈为空。
• 可以认为“#”符号存在的意义就是为了等待另一个“#”。如果是单个的先“#”入栈了，那么它在等待代表右子树的“#”入栈和它抵消。

- JAVA实现

class Solution {
    public boolean isValidSerialization(String preorder) {
        Stack<String> stack = new Stack();
        
        for(int i=0; i<preorder.length(); i++) {
            char ch = preorder.charAt(i);
            if(ch == ',') continue;  //逗号不管
            else if(ch == '#') {  
                if(stack.empty() && i!=0) return false;  //有i!=0是因为如果整个树为空，那么会只有一个#
                else {
                    while(!stack.empty() && stack.peek() == "#") {
                        stack.pop();
                        if(!stack.empty()) stack.pop();   //这一步如果栈为空，那么一定不合法
                        else return false;   
                    }
                    stack.push("#");  //用一个“#”代替合法的子树
                }
                
            }
            else {
                int num = 0;
                while(ch >= '0' && ch <= '9') { //可能不是个位数
                    num = num*10 + Integer.parseInt(preorder.substring(i,i+1));  
                    i++;
                    if(i<preorder.length()) ch = preorder.charAt(i);
                    else break;
                }
                stack.push(Integer.toString(num));  //数字入栈
            }            
        }

        if(stack.size()==1 && stack.peek()=="#") return true;  //最后的栈需要满足的条件
        else return false;
    }
}