More formally, for two vertices formula_1 and formula_2, formula_3 is a non-edge in a graph formula_4 whenever formula_3 is not an edge in formula_4.
Двудольный граф называется «полным», если любые две вершины из formula_3 и formula_4 являются смежными.