Bipartite subgraph, explained in text before the figure.