Изменения
Нет описания правки
Размерность циклического пространства равна m - n + k, где m - число ребер графа, n - число вершин, k - число компонент связности.
|proof =
Из теоремы о том, что множество [[Фундаментальные циклы|фундаментальных циклов ]] относительно любого каркаса T графа G образует базис циклического пространства G следует что размерность циклического пространства равна числу ребер не входящих в каркас. Каркас содержит n - k ребер, значит размерность циклического пространства равна m - n + k.
}}
