一、什么是圖？
一個圖可以形式定義為一個二元組： G = ( V, E )，其中：
（1）V 是頂點（結點）的有窮集合。
（2）E是連接V中兩個不同頂點（頂點對）的邊的有限集合。 如果E中的頂點對是有序的，即E中的每條邊都是有方向的，則稱G為有向圖。如果頂點對是無序對，則稱G是無向圖。
二、有向圖和無向圖
下面左邊的圖是一個有向圖，可 以描述為： G = (V, E)，其中 V = {v1,v2,v3,v4,v5} E = {<v1, v2>,<v1, v3>,<v2, v4>,<v3, v4>,<v4,v5>,<v5, v2>, <v5, v1>}
下面右邊的圖是一個無向圖，可 描述為： G = (V, E)，其中 V = {v1,v2,v3,v4,v5, v6} E = {(v1, v2),(v1, v6),(v2, v5),(v2, v6), (v3,v5),(v3, v4),(v4, v5)}
三、基本概念
1.對於無向圖而言，假若頂點v和頂點w 之間存在一條邊(v,w) ，則稱v 和w是相鄰的，頂點v 和w 互為鄰接頂點。邊(v,w) 和頂點v 和w 相關聯。（對於有向圖，稱為鄰接到和鄰接自。）
2.對於無向圖而言，從頂點v到頂點w的路徑指的是一個頂點序列(v = v0v1…vm= w)，其中(vi,vi+1)∈E。路徑的長度指的是路徑上的邊的數目。（對於有向圖，也可以定義路徑，且路徑是有向的。）
3.若路徑中的頂點沒有重復，稱為簡單路徑。
4.第一個頂點和最后一個頂點相同的路徑稱為環或回路。
5.在無向圖中，如果從頂點v到頂點w有路徑，則稱頂點v和頂點w是連通的。
6.如果無向圖G中任意兩個頂點都是連通的，則稱圖G是連通圖。
8.如果一個無向圖不是連通圖，則其中的每個極大連通子圖稱為無向圖的連通分量。
9.如果有向圖G中任意兩個頂點間都存在有向路徑（對任意兩個頂點v和w，既存在v到w的有向路徑，也存在w到v的有向路徑），則稱有向圖G是強連通圖。
10.其各個極大強連通子圖稱作它的強連通分量。 如果不考慮有向圖中邊的方向所得到的無向圖是連通圖，則有向圖稱為弱連通圖。
11.對於無向圖而言，和頂點相關聯的邊的數目稱為頂點的度。
12。對於有向圖而言，從頂點出發的邊的數目稱為頂點的出度，到達該頂點的數目稱為頂點的入度。 邊上帶有權值的有向圖或無向圖分別稱作有向網或無向網。
圖的基本概念可以參考：《大話數據結構》p213 - p222
關於紅黑樹，以后用到再具體的學習，現在只是大致的了解下：
補充記錄下紅黑樹的基本性質：
紅黑樹的特性:
（1）每個節點或者是黑色，或者是紅色。
（2）根節點是黑色。
（3）每個葉子節點（NIL）是黑色。 [注意：這里葉子節點，是指為空(NIL或NULL)的葉子節點！]
（4）如果一個節點是紅色的，則它的子節點必須是黑色的。
（5）從一個節點到該節點的子孫節點的所有路徑上包含相同數目的黑節點。
紅黑樹的相關資料參考：https://www.cnblogs.com/skywang12345/p/3245399.html