Изменения
Нет описания правки
'''Циклический вектор''' — 1-цепь с границей 0.
}}
{{Определение
|definition =
'''Циклическое пространство графа''' — пространство образованное множеством всех циклических векторов над полем <tex>F_2</tex> = {0,1}.
{{Теорема
|statement =
Размерность циклического пространства равна <tex>m - n + k</tex>, где <tex>m </tex> - число ребер графа, <tex>n </tex> - число вершин, <tex>k </tex> - число компонент связности.
|proof =
Из теоремы о том, что множество [[Фундаментальные циклы графа|фундаментальных циклов]] относительно любого каркаса <tex>T </tex> графа <tex>G </tex> образует базис циклического пространства <tex>G </tex> следует что размерность циклического пространства равна числу ребер не входящих в каркас. Каркас содержит <tex>n - k </tex> ребер, значит размерность циклического пространства равна <tex>m - n + k</tex>.
}}
== Литература ==
Харари Ф. Теория графов / пер. с англ. — изд. 4-е — М.: Книжный дом «ЛИБРОКОМ», 2009. — с.54. — ISBN 978-5-397-00622-4.
