树状图（Tree）又称为树，是一种复杂的数据结构。树是由 n（n>=0）个有限节点组成一个具有层次关系的集合，把它叫做“树”是因为它看起来像一棵倒挂的树，也就是说它是根朝上，而叶朝下的。当 n=0 时，称之为空树，否则是非空树。
树具有以下的特点：
子女：若节点的子树非空，则节点子树的根即为该节点的子女。
双亲：若节点有子女，则该节点即为子女的双亲。
兄弟：同一节点的子女互称为兄弟。
度：节点的子女个数即为该节点的度。
分支节点：度不为0的节点即为分支节点。
叶子节点：度为0的节点即为叶子节点。
深度：节点的深度即为该节点所在的层次。
高度：规定叶子节点的高度为1，其双亲节点的高度等于它的高度加1。
森林：森林是 m（m>=0）颗树的集合。
一颗二叉树是节点的有限集合，该集合或者为空，或者由一个根节点和两颗分别称为左子树和右子树的、互不交叉的二叉树组成（子树有左右之分，不可颠倒）。下面是二叉树的五种形态：
性质1：若二叉树节点的层次从1开始，则在二叉树的第 i 层最多有 2i-1 个节点（i>=1）。
性质2：深度为 k 的二叉树最少有 k 个节点，最多有 2k-1个 节点（k>=1）。
性质3：对任意一颗二叉树，如果其叶子节点有 m 个，度为2的非叶子节点为 n 个，则有：m = n + 1。
设度为1的节点有 p 个，总节点数为 x，总边数为 e，则 x = m + n + p，e = n - 1 = 2 * n + p。因此有：
2 * n + p = m + n + p - 1
n = m - 1
m = n + 1
1）满二叉树：除了最后一层无任何子节点，每一层的所有节点都有两个子节点，即除了叶子节点外的所有节点均有两个子节点，这样的二叉树就称为满二叉树。
2）完全二叉树：设一个二叉树的深度为 k，即共有 k 层。除了第 k 层外，其他各层的节点数都达到最大个数，且最后一层上只缺少右边的若干节点，这样的二叉树就称为完全二叉树。
下面是用 Python 实现的一个二叉树的代码，除了实现创建二叉树，还实现了四种遍历二叉树的方法，分别是：前序遍历、中序遍历、后序遍历和层次遍历。
1 # 自定义树节点 2 class Node: 3 def __init__(self, value=None, left=None, right=None): 4 self.value = value 5 self.left = left 6 self.right = right 7 8 9 # 自定义二叉树 10 class BinaryTree: 11 def __init__(self, value=None, left=None, right=None): 12 """ 13 根据传入的参数决定树的形态 14 :param value: 节点值 15 :param left: 左子树 16 :param right: 右子树 17 """ 18 self.root = Node(value, left, right) if value else None 19 20 def is_empty(self): 21 """ 22 判断是否为空树 23 :return: 24 """ 25 return True if self.root else False 26 27 def get_root(self): 28 """ 29 获取根节点 30 :return: 31 """ 32 return self.root 33 34 def get_left(self): 35 """ 36 获取左子树 37 :return: 38 """ 39 return self.root.left if self.root else None 40 41 def get_right(self): 42 """ 43 获取右子树 44 :return: 45 """ 46 return self.root.right if self.root else None 47 48 def set_left(self, node: Node): 49 """ 50 设置左子树 51 :param node: 树节点 52 :return: 53 """ 54 self.root.left = node 55 56 def set_right(self, node: Node): 57 """ 58 设置右子树 59 :param node: 树节点 60 :return: 61 """ 62 self.root.right = node 63 64 def pre_traverse(self, node: Node): 65 """ 66 前序遍历 67 :param node: 根节点 68 :return: 69 """ 70 if not node: 71 return 72 print(node.value, end=" ") 73 self.pre_traverse(node.left) 74 self.pre_traverse(node.right) 75 76 def mid_traverse(self, node: Node): 77 """ 78 中序遍历 79 :param node: 根节点 80 :return: 81 """ 82 if not node: 83 return 84 self.mid_traverse(node.left) 85 print(node.value, end=" ") 86 self.mid_traverse(node.right) 87 88 def after_traverse(self, node: Node): 89 """ 90 后序遍历 91 :param node: 根节点 92 :return: 93 """ 94 if not node: 95 return 96 self.after_traverse(node.left) 97 self.after_traverse(node.right) 98 print(node.value, end=" ") 99 100 def level_traverse(self, nodes: list): 101 next_nodes = [] 102 if nodes: 103 for node in nodes: 104 print(node.value, end=" ") 105 if node.left: 106 next_nodes.append(node.left) 107 if node.right: 108 next_nodes.append(node.right) 109 self.level_traverse(next_nodes)
当然光有这些方法还是不够的，因为要一个个的创建节点还是很麻烦，我们可以将一个树节点定义成一个三元组：
（树节点的值，左子树，右子树）
而左子树和右子树也都可以用这种三元组来表示，例如下面是一颗二叉树的三元组表示：
(F, (C, A, (D, B, None)), (E, H, (G, M, None)))
因此还需要实现一个将这种三元组表达形式转换成二叉树的方法：
1 def create(self, data: tuple): 2 """ 3 创建一个二叉树 4 :param data: 例如(1,(2,4,5),(3,6,7)) 5 """ 6 self.root = self.parse(data) 7 8 def parse(self, data: tuple): 9 """ 10 解析传入的三元组，创建二叉树 11 :param data: 三元组 12 :return: 13 """ 14 if data: 15 node = Node(data[0]) 16 node.left = self.parse(data[1]) if type(data[1]) == tuple else Node(data[1]) 17 node.right = self.parse(data[2]) if type(data[2]) == tuple else Node(data[2]) 18 return node
1）问题描述
一个结构正确的二元表达式对应于一个满二叉树，例如下面这样一颗二叉树：
这样一颗二叉树前序遍历得到“-+1*23/45”，后序遍历得到“123*+45/-”，正是波兰表达式的形式，而其中序遍历结果就是“1+2*3-4/5”，基本就是相应数学表达式的正确形式，只是缺少了表达计算顺序的括号。输入一个简单的只包含四则运算的数学计算表达式，求出其计算后的结果。
2）问题分析
对于任意一个二元表达式（如“a+b”）都可以用一个三元组来表示（如“('+', a, b)”），而像上面示例中的表达式，就可以用下面这种三元组表示：
("-", ("+", 1, ("*", 2, 3)), ("/", 4, 5))
这种三元表达式都包含一个操作符设为 op，两个操作数分别为 x 和 y，因而可以写出下面的计算方法：
1 if op == "+": 2 return x + y 3 if op == "-": 4 return x - y 5 if op == "*": 6 return x * y 7 if op == "/": 8 return x / y if y else 0
那么现在的问题就是如何将数学表达式转换成二叉树，再就根据二叉树得到三元组，最后就能使用上面的方法把表达式的值求出来了。因为我们都知道在没有括号的情况下，乘除的优先级是高于加减的，而利用二叉树求解表达式时会从下往上，从叶子节点往根节点进行计算，所以要把加减号放在上面，乘除号放在下面。
3）二叉树求解
下面是根据输入的表达式字符串建立二叉树的具体代码：
1 def build_tree(input_string): 2 """ 3 根据输入的表达式字符串建立二叉树 4 :param input_string: 输入表达式 5 :return: 6 """ 7 if "+" in input_string or "-" in input_string: 8 for i in range(len(input_string)): 9 if input_string[i] in ["+", "-"] and "+" not in input_string[i + 1:] and "-" not in input_string[i + 1:]: 10 node = Node(input_string[i], build_tree(input_string[:i]), build_tree(input_string[i + 1:])) 11 return node 12 elif "*" in input_string or "/" in input_string: 13 for i in range(len(input_string)): 14 if input_string[i] in ["*", "/"]: 15 node = Node(input_string[i], build_tree(input_string[:i]), build_tree(input_string[i + 1:])) 16 return node 17 else: 18 return Node(input_string)
在生成二叉树之后，还要根据这个二叉树得到三元组，下面就是使用递归算法得到三元组的代码：
1 def trans(self, node: Node, data: tuple): 2 """ 3 将二叉树转换成三元组 4 :param node: 节点 5 :param data: 三元组 6 :return: 7 """ 8 left = self.trans(node.left, data) if node.left.left else node.left.value 9 right = self.trans(node.right, data) if node.right.left else node.right.value 10 data = (node.value, left, right) 11 return data
现在已经能生成二叉树并得到表达式的三元组了，再就是求值了，下面是使用递归算法计算三元表达式的值的代码：
1 def solution(e): 2 """ 3 计算表达式的值 4 :param e: 转化成三元组表达的计算表达式 5 :return: 6 """ 7 if type(e) == tuple: 8 op, a, b = e[0], solution(e[1]), solution(e[2]) 9 x, y = float(a), float(b) 10 if op == "+": 11 return x + y 12 if op == "-": 13 return x - y 14 if op == "*": 15 return x * y 16 if op == "/": 17 return x / y if y else 0 18 else: 19 return e
求解计算表达式的代码已经完成了，下面是使用这些代码来求"1+2*3-4/5"的代码示例：
1 s = build_tree("1+2*3-4/5")
2 tree = Tree()
3 tree.root = s
4 exp = tree.trans(s, ())
5 print(solution(exp))
6 # 6.2
