Bipartite Graphs

A graph is bipartite when its vertices can be split into two groups so every edge goes across the split. Odd cycles are the main obstruction.