22.3.3 Основни секции

Разрязването на недиграфаG(V,E) чрез разделяне на множеството от върховеVна две подмножестваV1 иV2 е множеството от ребра, свързващи върховете от подмножествотоV1 с върховете на подмножествотоV2. В свързана графика нито един разрез не е празен.

Непразно разрязванеKна недиграфGсе нарича просто или коциклизирано, ако множеството от ребраKне съдържа разрезиGот никакво разделение (всяко разрязване разделя графа на две части – увеличава броя на свързаните компоненти).

В свързан недиграф, скелетътTима поне едно общо ребро с който и да е разрез на графиката.

В свързан недиграф всеки цикъл има четен брой ръбове с всеки разрез, минаващ през ръбовете на цикъла.

Премахвайки произволен клонbiотT, получаваме гора с два компонента, т.е. всяко реброbiе разрезTот някакво разделение на върховеV1,V2.

Набор от ръбовеKi= bi,hi1, …,hij> образува разрезGпо отношение на клонаbi, който се нарича основен разрез по отношение наbiскелетT. По този начин фундаменталният разрез съдържа точно един клон от скелета на графиката.

Множеството K1,K2, …,Kn–1> на всички фундаментални разрези на графаGсе нарича фундаментален набор от разрези на графикаGпо отношение на скелетаT.

Мощността на този набор е

разрез
*(G) =n–1. (В общия случайn
разрез
, където
основни
е броят на свързаните компоненти на графиката.)

По аналогия с фундаменталните цикли, всеки фундаментален разрез може да бъде свързан с вектор

Където

Тези вектори могат да се използват за съставяне на матрица от фундаментални разрези.

Тъй като всеки фундаментален разрезсъдържа точно един клонT, тогава матрицатаKима формата