本人是新人，對樹的概念還是不太清楚，故寫個學習概念的文章，來幫助自己學習樹這一資料結構。
定義1.樹是沒有簡單迴路的連通無向圖。
定理1.乙個無向圖是樹當且僅當在它的每對頂點間存在唯一簡單迴路。
定義2.有根樹是指乙個頂點（指所有節點）作為根並且每條邊的方向都離開根的樹。
關於孩子，父母與深度和高度什麼的，用兩張圖就能解決的就不多贅述：
出處
定義3.若有根樹的每個內點（指除了葉之外的所有點）都有不超過m個孩子，則它為m叉樹，若該樹的每個內點都恰好有m個孩子，則稱它為滿m叉樹。把m = 2的m叉樹稱為二叉樹。
如第一幅圖就是個二叉樹。
下圖就是個滿二叉樹：
有序根樹的每個內點的孩子都從左到右依次遞增：
自己p的圖
在有序二叉樹中，左邊的更小值稱為左子，右邊的較大值稱為右子：
出處注意，此樹必須有序。
定理2.帶有n個頂點的樹含有n - 1條邊。
定理3.帶有i個內點的滿m叉樹含有n = m * i + 1個頂點。
ps：根是內點，除非它是圖中唯一的頂點，在這種情況下，它也是葉。
定理4.乙個滿m叉樹若有：
（i）n個頂點，則有i = (n-1) / m個內點和l = [(m-1) * n + 1] / m個葉；
（ii）i個內點，則有n = m * i + 1個頂點和l = (m-1) * i + 1個葉；
（iii）l個樹葉，則有n = (m * l - 1) / (m - 1)個頂點和i = (l - 1) / (m - 1)個內點；
平衡m叉樹：表示某樹t的所有葉大約在同一層上（+-1）：
出處這就是乙個平衡二叉樹，因為它的所有葉都在2層與3層上。
同理乙個滿二叉樹也是個平衡二叉樹。
在m叉樹中葉數的界：常常用到m叉樹中葉樹的上界。定理5用m叉樹的高度給出了乙個這樣的界。
定理5.在高度為h的m叉樹中最多有m^h個葉；
推論1.若一顆高度為h的m叉樹帶有l個葉，則h >= 向上取整logm(l)。若這棵樹是滿的和平衡的，則h = 向上取整logm(l)。
離散數學 筆記
1.復合命題的真值只取決於各原子命題的真值，而與它們的內容 含義無關，與原子命題之間是否有關係無關。2.命題公式 1 重言式 2 矛盾式 3 可滿足式 1.重言式 給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為真，則稱該命題為重言式或永真式 2.給定一命題公式，若無論對分量作怎樣的指派，...
《離散數學》關係
為什麼要研究乙個關係的演算法？我總是在想這個 難道是現實世界關係的模型對於我們來說，都是數學中研究的關係 關係把世界連線為了乙個巨大的網 一，關係的定義以及性質 從數學的角度來說，關係是笛卡兒的子集，就是乙個二維表，還可以是乙個矩陣，乙個有向圖。關係有一些性質，自反 a,b有相同的父母 對稱 a,b...
離散數學 同態
同態 設a 和a 是兩個具有相同構成的代數系統，f是從s到s 的乙個對映，且對任意a,b s滿足 f a b f a f b f a f a f k k 則稱f為由a到a 的乙個同態對映，簡稱同態。a同態於a 記作a a 同態象 設f是從a 到a 的乙個同態對映，稱為a在對映f下的同態象，其中 設f...