Изменения
→Определение
== Определение ==
Пусть <tex> m = |E(G)| </tex>, <tex> n = |V(G)| </tex>, <tex> k </tex> {{---}} количество компонент связности <tex> G </tex>.
<tex> B^k </tex> {{---}} линейное пространство элементами которого являются <tex> k </tex>{{---}}мерные двоичные вектора и их сложение определено как сложение по модулю <tex> 2 </tex>.
=== Размерность линейного пространства обобщенных циклов ===
==Теорема о существовании простого пути в случае существования пути==
{{Теорема
