樹、二叉樹、二叉查找樹(二叉搜索樹)

1 樹

1.1 定義


結合圖看,可以比較直觀地發現,樹(Tree)是元素的集合,每棵樹由多個節點(node)組成,用以儲存元素。某些節點之間存在著一定的關系,用連線表示,連線稱為邊(edge)或者鏈接。邊的上端點成為父節點,下端稱為子節點

每個節點可以有多個子節點,而該節點則是相應子節點的父節點。但是每個節點只能有一個父節點(只有一個例外,也就是根節點,它沒有父節點),如圖中第一棵樹的 S 節點即為根節點。而沒有子節點的節點則稱為葉子節點葉節點,如上圖中第一棵樹的 A、R、X 節點。E、X 的父節點是一個節點,所以它們被稱為兄弟節點

通過上面的觀察和分析,這里給出一種相對嚴格的樹的定義。

  • 樹是元素的集合
  • 該集合可以為空。此時樹中沒有元素,稱之為空樹(empty tree)
  • 如果該集合不為空,那么該集合至少含有一個根節點以及 0 個或多個子樹。根節點與它的子樹的根節點用一個邊(edge)鏈接相連。

1.2 特征(三個特殊概念)

關于樹,有三個比較相似,容易搞混的概念:高度(Height)、深度(Depth)、層(Level)。它們的定義如下。

  • 節點的高度 = 節點到葉子結點的最長路徑(邊數)
  • 節點的深度 = 根節點到這個節點所經歷的邊的個數
  • 節點的層數 = 節點的深度 + 1
  • 樹的高度 = 根節點的高度

單看定義有點抽象,結合圖來看會比較好理解。我們可以結合生活中對高度、深度的概念來看,這樣理解起來就很方便了。比如,對于高度,生活中我們往往是自下而上來度量,比如第 5 樓、第 10 樓,起點都是地面。對于樹這種數據結構中的高度也是一樣的類比,從最底層開始進行計數,并且計數的起點是 0。

深度這個概念在生活中則是自上而下度量的,比如形容水深,是從水平面開始度量的。對于樹這種數據結構而言也是如此,從根節點開始度量,計數起點從 0 開始(有些書中是從 1 開始,應該都可以,看你怎么定義和使用了,問題不大)。

層數跟深度的計算類似,不過計數的起點是 1,也就是說跟節點位于第一層。

注:圖來自于數據結構預算法之美

2 二叉樹

2.1 定義

二叉樹是一種特殊的數據結構,顧名思義,二叉樹只有兩個,也就是兩個子節點:左子節點右子節點。其中,左子節點是左子樹的根節點,右子節點是右子樹的根節點。當然,這并不是說,二叉樹一定要求每個節點都必須有兩個子節點,有的節點只有左子節點,而有的節點只有右子節點。

二叉樹

還是老慣例,結合圖看。在這個圖里面,有兩個比較特殊的二叉樹,分別是編號 2 和 3 的這兩個。其中,編號 2 的二叉樹中,葉節點全都在最底層,除了葉節點之外,每個節點都于左右兩個子節點,這種二叉樹就叫滿二叉樹。而編號為 3 的二叉樹中,葉子結點在最底下兩層,其中,最后一層的節點都靠左排列,并且,除了最后一層,其他層的節點數都要達到最大,這種二叉樹叫做完全二叉樹

2.2 二叉樹的三種遍歷方法

二叉樹經典的遍歷方法一共有三種,分別是前序遍歷中序遍歷后序遍歷。其中,前、中、后序,表示的是節點與它的左右子樹節點遍歷打印的先后順序。

  • 前序遍歷(也叫先序遍歷):若二叉樹為空,則空操作,否則,對于二叉樹中的任意節點,先訪問這個節點,然后再訪問它的左子樹,最后打印它的右子樹。
  • 中序遍歷:若二叉樹為空,則空操作,否則,對于二叉樹中的任意節點,先訪問它的左子樹,然后再訪問這個節點本身,最后訪問它的右子樹。
  • 后序遍歷:若二叉樹為空,則空操作,否則,對于二叉樹中的任意節點,先訪問它的左子樹,然后訪問它的右子樹,最后訪問這個節點本身。
二叉查找樹
遍歷方式 遍歷結果
前序遍歷 S->E->B->A->C->P->O->R->X
中序遍歷 A->B->C->E->O->P->R->S->X
后序遍歷 A->C->B->O->R->P->E->X->S

2.3 樹與二叉樹的區別

  • 二叉樹的每個節點最多只能有兩個節點,而樹則無限制
  • 二叉樹中節點的子樹分為左子樹和右子樹,即使某個節點只有一棵樹,也必須要指明這棵樹是左子樹還是右子樹,也就是說,二叉樹是有序的
  • 樹不能為空,至少含有一個節點,而一棵二叉樹可以為空

3 二叉查找樹

3.1 定義

二叉查找樹(Binary Search Tree,BST)是一種特殊的二叉樹,一棵二叉搜索樹(BST)是一棵二叉樹,其中,每個節點的值都要大于其左子樹中任意節點的值而小于右子樹中任意節點的值。

3.2 基本操作

3.2.1 查找

如果要在二叉查找樹中查找一個節點 X,我們可以分為一下幾步。


image
  1. 如果二叉查找樹為空,則返回空操作,否則,執行一下操作;
  2. 先取根節點,如果節點 X 等于根節點,則返回;
  3. 如果節點小于根節點,則遞歸查找左子樹;
  4. 如果節點大于根節點,則遞歸查找右子樹。

3.2.2 插入

在二叉樹中插入一個節點,一般都是插入到葉節點上,所以只需從根結點開始,依次遍歷比較要插入的數據和節點的大小關系。

二叉查找樹有一個很重要的特性就是插入的實現難度和查找差不多。當查找的節點不存在于二叉查找樹中并且結束于一條空鏈時,我們要做的就是將鏈接(邊)指向一個含有被查找節點的新節點。說得有點拗口,其實可以細分為以下幾步。


image
  1. 如果樹是空的,則直接將新節點插入,否則,執行下面步驟。
  2. 要插入的數據比根節點數據大,則到右子樹中插入新數據,如果右子樹為空,則將新數據直接插入到右子節點的位置;不為空,則繼續遍歷右子樹,查找插入位置。
  3. 要插入的數據比根節點數據小,則到左子樹中插入數據,如果左子樹為空,則直接將新數據插入到左子節點的位置;不為空,則繼續遍歷左子樹,查找插入的位置。

3.2.3 刪除

二叉樹的刪除相對于查找和插入要復雜一些,針對要刪除節點的子節點個數的不同,一般分為三種情況來處理。


注:圖來自于極客時間《數據結構與算法之美》專欄
  1. 第一種情況,如果要刪除的節點沒有子節點,直接將父節點指向要刪除節點的指針指向 null。比如途中要刪除的節點 55。
  2. 第二種情況,如果要刪除的節點只有一個節點,即只有左子節點或右子節點,則將父節點指向要刪除節點的指針指向要刪除節點的子節點即可。比如途中要刪除的節點
    13。
  3. 第三種情況,如果要刪除的節點有兩個子節點,則需要先找到這個節點右子樹中的最小節點或者左子樹中的最大節點,將其替換到要刪除的節點上。然后刪除這個右子樹中的最小節點或左子樹中的最大節點,這樣就可以利用
    1、2 兩條規則來刪除了。比如圖中要刪除的節點 18。

3.2.4 查找最大、最小節點

查找最大、最小節點比較簡單,比如要查找二叉查找樹的最大節點時,如果二叉查找樹為空,則返回空操作,如果不為空,則判斷是否只有一個節點(即只有根節點),如果是則返回根節點,否則到右子樹中遞歸查找。同理,查找最小節點類似,只是到左子樹中查找而已。

代碼

廢話不多說,上代碼吧,結合代碼看會比較清晰。

public class BinarySearchTree {
    private Node tree;

    /**
     * 查找
     * @param data
     * @return
     */
    public Node find(int data) {
        Node p = tree;
        while (p != null) {
            if (data < p.data) p = p.left;
            else if (data > p.data) p = p.right;
            else return p;
        }
        return null; //沒有找到
    }
    
    /**
     * 插入
     * @param data
     */
    public void insert(int data) {
        if (tree == null) {
            tree = new Node(data);
            return;
        }
        
        Node p = tree;
        while (p != null) {
            if (data > p.data) {
                if (p.right == null) {
                    p.right = new Node(data);
                    return;
                }
                p = p.right;
            } else { //data < p.data
                if (p.left == null) {
                    p.left = new Node(data);
                    return;
                }
                p = p.left;
            }
        }
    }
    
    /**
     * 刪除
     * @param data
     */
    public void delete(int data) {
        Node p = tree; //p 指向要刪除的結點,初始化指向根節點
        Node pp = null; //pp 記錄的是 p 的父節點
        
        while (p != null && p.data != data) {
            pp = p;
            if (data > p.data) p = p.right;
            else p = p.left;
        }
        if (p == null) return; //沒有找到
        
        //要刪除的節點有兩個子節點
        if (p.left != null && p.right != null) {//查找右子樹中最小的節點
            Node minP = p.right;
            Node minPP = p; //minPP 表示 minP 的父節點
            while (minP.left != null) {
                minPP = minP;
                minP = p.left;
            }
            p.data = minP.data; //將 minP 的數據替換到 p 中
            p = minP; //下面就變成了刪除 minP 了,要結合整個刪除函數來看
            pp = minPP;
        }
        
        //刪除的是葉子節點或者僅有一個子節點
        Node  child; //p 的子節點
        if (p.left != null) child = p.left;
        else if (p.right != null) child = p.right;
        else child = null;
        
        if (pp == null) tree = child; // 刪除的是根節點
        else if (pp.left == p) pp.left = child;
        else pp.right = child;
    }
    
    /**
     * 查找最小節點
     * @return
     */
    public Node findMin() {
        if (tree == null) return null;
        Node p = tree;
        while (p.left != null) {
            p = p.left;
        }
        return p;
    }
    
    /**
     * 查找最大節點
     * @return
     */
    public Node findMax() {
        if (tree == null) return null;
        Node p = tree;
        while (p.right != null) {
            p = p.right;
        }
        return p;
    }
    
    private static class Node {
        private int data;
        private Node left;
        private Node right;
        
        public Node(int data) {
            this.data = data;
        }
    }
}


本文主要參考來源:
算法(第 4 版)
極客時間專欄《數據結構與算法之美》
樹與二叉樹
紙上談兵:樹,二叉樹,二叉搜索樹

?著作權歸作者所有,轉載或內容合作請聯系作者
平臺聲明:文章內容(如有圖片或視頻亦包括在內)由作者上傳并發布,文章內容僅代表作者本人觀點,簡書系信息發布平臺,僅提供信息存儲服務。

推薦閱讀更多精彩內容

  • 樹的概述 樹是一種非常常用的數據結構,樹與前面介紹的線性表,棧,隊列等線性結構不同,樹是一種非線性結構 1.樹的定...
    Jack921閱讀 4,480評論 1 31
  • 目錄 0.樹0.1 一般樹的定義0.2 二叉樹的定義 1.查找樹ADT 2.查找樹的實現2.1 二叉查找樹2.2 ...
    王偵閱讀 7,319評論 0 3
  • 一些概念 數據結構就是研究數據的邏輯結構和物理結構以及它們之間相互關系,并對這種結構定義相應的運算,而且確保經過這...
    Winterfell_Z閱讀 5,900評論 0 13
  • git教程01——windows系統下教科書式安裝gitgit教程02——詳細的git基本操作命令git教程04—...
    Jsonjia閱讀 1,240評論 0 2
  • 誰就發怒發怒度楚杰俊辰俊辰呢妒賢忌能楚杰長褲短褲反饋大家楚杰可參考參考反饋反饋楚杰楚杰俊辰可楚杰
    曉瑜丶閱讀 202評論 0 0