森林是一个无环图(即,一个没有图环的图)。因此,森林仅由(可能不连通的)树组成,因此得名“森林”。
一个具有 个分量和
个节点的森林有
条图的边。
, 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)。