Составление матрицы разрезов

Составление цикломатической матрицы

где

где

Замечание. Символ обозначает операцию сложения по модулю 2. Результат этой операции равен 0, если арифметическая сумма чисел есть четное число, и равен 1–в противном случае.

Цикломатическая матрица C и матрица разрезов S явля­ются ортогональными, что математически выражается матричным уравнением: C×S^T = q. Здесь S^T – транспони­рованная матрица S, а q – нулевая матрица.

Ортогональность матриц C и S обусловлена тем, что множество хорд, порождающих базисные циклы, и множество ветвей, порождающих базисные разрезающие множества, не пересекаются (рис. 3.30). Легко проверить ортогональность полученных матриц.