Двудольные графы

Двудо́льный граф или бигра́ф — это математический термин теории графов, обозначающий граф, множество вершин которого можно разбить на две части таким образом, что каждое ребро графа соединяет какую-то вершину из одной части с какой-то вершиной другой части, то есть не существует ребра, соединяющего, если множество его вершин можно разбить на две части U \cup V = W, |U|>0, |V|>0, так, что
ни одна вершина в U не соединена с вершинами в U и
ни одна вершина в V не соединена с вершинами в V