a dfs forest is a subgraph of the input graph to the dfs algorithm, it gets built during the execution of dfs and it consists of disconnected dfs trees, we denote a dfs forest by .