В лекции [https://dzen.ru/a/YnNaAtX5fBlYfXc4?share_to=link] представлено теоретико-множественное представление неориентированного графа. Дадим ещё несколько определений. связанных с неориентированными графами. Полный граф. Граф называется полным, если любые две его вершины соединены ребром. Для того, чтобы изобразить полный граф в вопросно-ответной системе Wolfram|Alpha необходимо в командную строку ввести команду CompleteGraph[n] или graph Kn, указав при этом число вершин n. Например: Двудольный граф...

На рисунке изображён двудольный граф. Какое максимальное число рёбер можно дорисовать, чтобы граф оставался двудольным? Ну во-первых, на первый взгляд возникает сомнение в двудольности данного графа. Их нужно развеять. Вроде ничего не изменилось, но двудольность стала очевидной...