Теоретико-множественное представление ориентированного графа
Определение. Ориентированным графом (или орграфом) называется пара множеств, первое из которых представляет собой конечное непустое множество V, называемое множе­ством вершин, второе – множество Е, представляющее собой совокупность упорядоченных пар элементов из множества V, называемое множеством ориентированных рёбер (или просто рёбер, если известно, что граф ориентирован). Определение. Элемент множества Е называется ориентированным ребром (или просто ребром, если известно, что граф ориентирован)...