Изменения

Неориентированный граф <tex> G =(W, E) </tex> называется '''двудольным''', если множество его вершин можно разбить на две части <tex> U \cup V = W , \mid |U\mid | > 0, \mid |V\mid | > 0 </tex>, так, что ни одна вершина в <tex> U </tex> не соединена с вершинами в <tex> U </tex> и ни одна вершина в <tex> V </tex> не соединена с вершинами в <tex> V </tex>.