Я ищу алгоритм, который проверяет, что для данного ориентированного графа его узлы можно разделить на две группы, так что узлы не соединяются друг с другом в пределах своей группы
Например
UPD
Мне нужно проверить двудольные графы, вот и все
Граф, который вы описываете, называется Двудольный граф .
Это является способ проверить, является ли данный граф двудольным или нет.