Итак, графы – это рисунки, которые состоят из точек и линий, соединяющих эти точки. Каждая пара точек в графе может быть соединена линиями. Линия указывает на связь между двумя точками. Точки называются вершинами графа, а линиями рёбрами. Ребро может иметь направление, которое указывается стрелочкой. У графа обязательно есть вершины. Граф без рёбер называется пустым. Направленная линия (со стрелкой) называется дуга. Линия ненаправленная (без стрелки) называется ребро. Линия, выходящая из некоторой вершины и входящая в неё же, называется петля...

Прежде всего давайте осмыслим — что мы имеем. Мы имеем произвольный ориентированный взвешенный мультиграф с петлями, веса дуг в котором строго больше нуля. Напомним, что мы имеем дело с графом D ≝ ⟨Ω, V, φ(V)⟩, где Ω — множество субъектов (вершины), а V ⊂ (Ω×Ω) — множество обязательств (дуги) и φ: V → Q, причём ∀v∈V ∃ε∈Q: ε = φ(v), а (Q ⊂ ℚ): (q ∈ Q) ∧ (q>0) — множество обязательств (дуги) весовая функция на множестве дуг. Введём ещё два обозначения: входящую степень вершины μ обозначим как in(μ), а внешнюю степень вершины μ как ех(μ)...