Cтраница 1
Данный граф необходимо разрезать на два подграфа GI и d по 7 и 8 вершин в каждом. [1]
Данный граф связей не содержит дизъюнктов-тавтологий и чистых дизъюнктов, подлежащих удалению. Операции факторизации и поглощения дизъюнктов также являются неприменимыми к данному множеству дизъюнктов, поэтому переходим к шагу 4 алгоритма. [2]
![]() |
Механическая цепь ( а и ее граф, представленный в двух конфигурациях ( б и в. [3] |
Подграфом данного графа называют его часть, состоящую из некоторых его ребер. Дополнением подграфа называется вся остальная часть рассматриваемого графа. Связный граф или подграф, в котором каждая вершина инцидентна только двум ребрам, называют контуром. Следовательно, ребра контура образуют замкнутый путь. [4]
Для данного графа О без изолированных вершин встает вопрос о существовании такой предкарты на некотором множестве 5, что О и 0 ( Ь) изоморфны. Для каждого ребра А графа О определяем множество А ( X, 0Х, рХ, 0фX) из четырех элементов, называемых кроссами, таким образом, чтобы для любых двух различных ребер все восемь кроссов были различны. [5]
Для данного графа G его реберный граф L ( G) строится следующим образом. [6]
![]() |
Базис циклов Вр. [7] |
Следовательно, данный граф может быть уложен на плоскости без пересечений. [8]
Граф блоков данного графа G, обозначаемый В ( G), имеет своими вершинами блоки графа G и две вершины в нем смежны. [9]
Если в данном графе можно выбрать путь графа, который соединяет его любые две вершины, то этот граф является связанным; если нельзя - то несвязанным. Если ребра графа имеют фиксированные направления, то этот граф называется направленным. [10]
Таким образом, данный граф содержит множитель h / - ftL - 1, где мы использовали равенство (9.4), и разложение по числу петель является разложением по степеням ft в окрестности классической теории. Заметим, что по предположению наш произвольный граф не содержит пропагаторов, относящихся к внешним концам. Таким образом, правильнее сказать, что мы разлагаем вершинную функцию Г ( П), а не функцию Грина С. [11]
Множество всех автоморфизмов данного графа образует группу относительно операции композиции автоморфизмов. Автоморфизмы графа G порождают группу подстановок вершин Г ( С), наз. [12]
Когда смежностный граф данного графа имеет эйлеров цикл. [13]
Изучается разбиение ребер данного графа на остовные леса, что позволяет ввести некоторый инвариант, известный как дре-весность. [14]
Будем говорить, что данный граф является 1-неприводимым по вершинам, если он остается связным при удалении любой одной его вершины. [15]