Відношення порядку і відношення еквівалентності на графі

Із зазначених вище властивостей очевидно, що граф дає зручне геометричне уявлення відношень на множині, тому теорія графів і теорія відношень на множині взаємно доповнюють одна одну.

Будемо вважати, що на графі G=(X, Г) введене відношення порядку, якщо для будь-яких 2-х вершин (х і у), що задовольняють умові х £ у, існує шлях із х в у. У цьому випадку говорять, що вершина х передує вершині у.

Покажемо, що дане визначення відбиває на графі усі властивості відношення порядку.

Рефлексивність. Умова х £ х означає еквівалентність вершини самої собі, тобто умова хºх. Проте при бажанні цю умову можна розглядати як наявність шляху з х в х, тобто як петлю у вершині х (рис. 2.9, а).

Транзитивність. Умова х£у, у£z ®х£z означає, що вершини x, y, z послідовно зустрічаються на тому самому шляху (рис. 2.9, б).

Рис.2.9. Властивості відношень на графах

Антисиметричність. Покажемо справедливість умови х£у, у£х ®хºу. Ліва частина цього виразу говорить про те, що існує шлях із х в у, а так само існує шлях з у в х. Але це означає, що в графі є контур, на якому лежать вершини х і у (рис.2.9, в).

З правої частини умови випливає, що вершини, які лежать на тому самому контурі, є еквівалентними. Будемо розглядати цей висновок як визначення еквівалентності на графі і покажемо, що таке визначення задовольняє всім умовам відношення еквівалентності. Умови рефлексивності хºх і симетрії хºу®уºх є очевидними і випливають із даного вище визначення еквівалентності. Умова транзитивності хºy, yºz®xºz також є очевидним, тому що говорить про те, що якщо в графі є контур з вершинами X і Y, а також контур з вершинами у і z, то є і контур, на якому лежать вершини х і z.

Таким чином, відношення порядку разом із відношенням еквівалентності визначає деякий граф.

На графі може бути також уведене відношення суворого порядку. У цьому випадку для будь-яких двох вершин (X і Y), що задовольняють умові X<Y, існує шлях, що йде з X у Y. Умова транзитивності X<Y<Z®X<Z означає, як і в попередньому випадку, що вершини X, Y і Z зустрічаються послідовно на тому самому шляху. Умова антирефлексивності (X<X хибно) говорить про відсутність петель на графі, а умова несиметричності (X<Y, у<d) - про відсутність контурів.

Таким чином, відношення суворого порядку визначає граф без контурів.

Зводимо всі дані по відношенню порядку в табл. 2.1.

Таблиця 2.1.

Визначення різноманітних видів порядку

Порядки	Відношення
Антисиметричне	Транзитивне	Рефлексивне	Антирефлексивне	Повне	Неповне
Строгий	+	+		+
Нестрогий	+	+	+
Повний	+	+			+
Неповний	+	+				+

Дата добавления: 2014-11-29