Uma floresta é um grafo acíclico, isto é, que não possui ciclos como subgrafos. Equivalentemente, uma floresta é um grafos cujas componentes conexas são árvores.