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

Двудольный граф (Bipartite graph) - граф, у которого существует такое разбиение множества вершин на две части (доли), что концы каждого ребра принадлежат разным долям. Если при этом любые две вершины, входящие в разные доли, смежны, то граф называется полным двудольным. Двудольные графы являются удобным средством графического представления отношений, а следовательно, и функций.