森林是一個無環圖(即,一個沒有圖環的圖)。因此,森林僅由(可能不連通的)樹組成,因此得名“森林”。
一個具有 個分量和
個節點的森林有
條圖的邊。
, 2, ... 個節點的森林的數量分別為 1, 2, 3, 6, 10, 20, 37, ... (OEIS A005195)。
可以使用 Wolfram 語言測試一個圖是否為無環圖(即,森林),方法是AcylicGraphQ[g]。無環圖的集合可作為GraphData["Acyclic"] 或GraphData["Forest"].
所有 , 2, ... 階森林中的樹的總數分別為 1, 3, 6, 13, 24, 49, 93, 190, 381, ... (OEIS A005196)。因此,樹的平均數量分別為 1, 3/2, 2, 13/6, 12/5, 49/20, 93/37, 5/2, ... (OEIS A095131 和 A095132)。
包含 個節點的森林包含
棵樹的數字三角形是 1; 1, 1; 1, 1, 1; 2, 2, 1, 1; 3, 3, 2, 1, 1; ... (OEIS A095133)。