Bipartite graphs

A graph is bipartite if and only if it is bicolorable. So, to decide if it is bipartite, we can try to bicorate it with a DFS: