Практикум по логике: краткое руководство к решению задач и упражнений. Саетгалиева Ф.Ф. - 97 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

97
В В В В
- + - +
А С А С А + С А - С
граф диграф s-граф s-диграф
Рис. 1
Путем графа называется множество линий графа вида АВ, ВС, …, DE, где
точки А, В, С, …, D, Е различны.
Цикл графа состоит из указанного пути вместе с линией ЕА (линией, объе-
диняющей первый и последний элементы пути). Длина цикла равна числу ли-
ний в нем.
Путем диграфа называется множество упорядоченных линий вида
АВ
,
ВС
, …,
DE
, где точки А, В, С, D, Е различны.
Цикл диграфа состоит из указанного пути вместе с линией
ЕА
.
Полуциклом диграфа называется множество линий, образованное взятием
точно одной линии из каждой пары
АВ
или
ВА
,
ВС
или
СВ
, …,
DE
или
ED
,
ЕА
или
АЕ
.
Каждый цикл необходимо является полуциклом. Полуцикл длиной 2 необ-
ходимо образует цикл.
Диграф, изображенный на рис. 2, имеет следующие полуциклы:
1.
AD
,
DA
(является циклом).
2.
AD
,
DВ
,
ВА
(не является циклом).
3.
АD
,
DВ
,
ВА
(не является циклом).
Назовем знаком цикла результат произведения знаков его линий.
А В
D С
Рис. 2
Определение:s-граф сбалансирован, если и только если все его циклы име-
ют позитивный знак.
Рассмотрим следующие четыре s-графа:

Страницы