1、二叉樹的每個結點至多只有二棵子樹（不存在度大於2的結點），二叉樹的子樹有左右之分，次序不能顛倒。二叉樹的第i層至多有2^（i 1）個結點。
深度為k的二叉樹至多有2^k 1個結點；對任何壹棵二叉樹T，如果其終端結點數為n0，度為2的結點數為n2，則n0 = n2 + 1。二叉樹算法常被用於實現二叉查找樹和二叉堆。
2、遞歸算法（英語：recursion algorithm）在計算機科學中是指壹種通過重復將問題分解為同類的子問題而解決問題的方法。遞歸式方法可以被用於解決很多的計算機科學問題，因此它是計算機科學中十分重要的壹個概念。
遞歸算法能夠解決的問題
數據的定義是按遞歸定義的。如Fibonacci函數。
問題解法按遞歸算法實現。如Hanoi問題。
數據的結構形式是按遞歸定義的。如二叉樹、廣義表等。?