Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Властивості відношень




Означення 2.9. Нехай R – бінарне відношення у множині А (RÍA´A). Тоді відношення R є:

§ рефлексивним, якщо IÍR, тобто, іншими словами, воно завжди виконується між елементом і ним самим ("aÎA, aRa). Як приклад такого відношення можна навести відношення нестрогої нерівності на множині натуральних або дійсних чисел.

Матриця рефлексивного відношення характеризується тим, що всі елементи її головної діагоналі – одиниці. Граф рефлексивного відношення – тим, що петлі є у всіх вершинах.

§ антирефлексивним (іррефлексивним), якщо RÇI=Æ, тобто якщо співвідношення aiRaj виконується, то ai¹aj. Це, наприклад, відношення строгої нерівності на множинах натуральних або дійсних чисел, відношення “бути старшим” у множині людей.

Матриця антирефлексивного відношення характеризується тим, що всі елементи її головної діагоналі – нулі. Граф антирефлексивного відношення не має жодної петлі.

§ симетричним, якщо R = R-1, тобто при виконанні співвідношення aiRaj виконується співвідношення ajRai. Як приклад такого відношення можна навести відстань між двома точками на площині, відношення “бути братом” на множині людей.

Симетричність відношення спричиняє також симетричність матриці. Також для такого відношення вершини графа можуть бути пов’язані тільки парами протилежно спрямованих дуг (тобто ребрами).

§ асиметричним, якщо RÇR-1=Æ, тобто із двох співвідношень aiRaj та ajRai щонайменше одне не виконується. Як приклад такого відношення можна навести відношення “бути батьком” у множині людей, відношення строго включення в множині всіх підмножин деякого універсуму. Очевидно, якщо відношення асиметричне, то воно й антирефлексивне.

Матриця асиметричного відношення характеризується тим, що всі елементи її головної діагоналі – нулі й немає жодної пари одиниць на місцях, симетричних відносно головної діагоналі. У графа такого відношення петлі відсутні, а вершини можуть бути пов’язані тільки однією спрямованою дугою.

§ антисиметричним, якщо RÇR-1ÍI, тобто обидва співвідношення aiRaj та ajRai одночасно виконуються тоді й тільки тоді, коли aj=ai. Як приклад можна навести нестрогу нерівність.

Матриця антисиметричного відношення має ті самі властивості, що й асиметричного, за винятком вимоги рівності нулю елементів головної діагоналі. У графі такого відношення можуть бути петлі, але зв’язок між вершинами, якщо він є, також відбувається тільки однією спрямованою дугою.

§ транзитивним, якщо R°RÍR, тобто з виконання співвідношень aiRaj та ajRak випливає виконання співвідношення aiRak. Як приклад можна навести відношення “бути дільником” на множині цілих чисел, “бути старшим” на множині людей.

Матриця транзитивного відношення характеризується тим, що коли rij =1 й rjk =1, то rik =1, причому наявність одиничних елементів на головній діагоналі не порушує транзитивність матриці. Граф транзитивного відношення характеризується тим, що коли через деяку сукупність вершин графа проходить шлях, то існують дуги, які з’єднують будь-яку пару вершин з цією сукупністю в напрямку шляху. Як правило, на графі транзитивного відношення зображують тільки цей шлях, а зумовлені транзитивністю дуги опускають. Такий граф називають графом редукції (або кістяковим графом).

Означення 2.10. Нехай R – бінарне відношення на множині А. Рефлексивним замкненням R є найменше рефлексивне відношення на А, що містить R як підмножину. Симетричне замкнення R є найменше симетричне відношення на А, що містить R як підмножину. Транзитивне замкнення R є найменше транзитивне відношення на А, яке містить R як підмножину.

Теорема 2.2. Нехай R – бінарне відношення на множині А і I – тотожне відношення на А. Тоді:

а) RÈI є рефлексивним замкненням R.

б) RÈR-1 є симетричним замкненням R.

в) якщо А – кінцева множина, що містить n елементів, то відношення RÈR2ÈR3È…ÈRn є транзитивним замкненням R.

Доведення. Доведення тверджень (а) та (б) залишаємо на самостійну роботу. Позначимо транзитивне замкнення R через RТ. Для доведення твердження (в) спочатку покажемо, що RÈR2ÈR3È…ÈRn Í RТ. Проведемо індукцію по n. Для n=1 маємо R Í RТ, що безумовно істинно. Нехай RÈR2ÈR3È…ÈRk Í RТ. Необхідно показати, що RÈR2ÈR3È…ÈRkÈRk+1 Í RТ або, що теж саме, Rk+1 Í RТ. Нехай (а,с)ÎRk+1. Тоді існує b таке, що (а,b)ÎRk і (b,c)ÎR. Але, згідно індуктивному припущенню, (а,b) і (b,c)ÎRТ. Оскільки RТ транзитивне, (а,c)ÎRТ. Тому RÈR2ÈR3È…ÈRk+1 Í RТ. Для того, щоб показати, що RТÍRÈR2ÈR3È…ÈRn, просто покажемо, що RÈR2ÈR3È…ÈRn транзитивне. Нехай (a,b)ÎRj і (b,c)ÎRk. Тоді (a,c)ÎRj+k. Якщо a=c, твердження доведено. Інакше існують b2, b3, b4,…,bj+k-1 ÎA такі, що (a,b2), (b2,b3), (b3,b4),…,(bj+k-2,bj+k-1), (bj+k-1,c)ÎR. Позначимо a через b1, а c через bj+k. Якщо деякі із bi рівні, наприклад, bp=bq, із вказаної вище послідовності впорядкованих пар, які знаходяться у відношення R, можна видалити (bp,bp+1), (bp+1, bp+2),…,(bq-1,bq) і після цього отримати послідовність a, b2, b3,…,bp-1,bq,…,bj+k-1,c, в якій кожний попередній елемент знаходиться у R-відношенні до наступного. Так можна продовжувати до тих пір, поки всі елементи не стануть відмінними, але при цьому кожний з них буде знаходитись у R-відношенні до наступного. Оскільки у множині А існує тільки n різних елементів, отримаємо, що (a,c)ÎRn і RÈR2ÈR3È…ÈRn транзитивне. ►

 

2.5. Алгоритм Уоршала Розглянемо алгоритм Уоршала побудови транзитивного замкнення відношення R на множині А, |A| = n. На вхід алгоритму подається матриця відношення R, а на виході буде матриця транзитивного замкнення T. 1. Поточне відношення S = R. 2. В якості поточного елементу (i) обирається перший елемент множини А. 3. Додати до відношення Т всі ті впорядковані пари з A´A (j,k), для яких виконується: a. ця впорядкована пара присутня у S (j S k) або b. в S присутні дві впорядковані пари виду j S i та i S k, тобто у S існує відношення між першою координатою впорядкованої пари та поточним елементом, а також між поточним елементом та другою координатою впорядкованої пари. 4. Поточне відношення S = Т. 5. Якщо є ще не вибрані елементи з А, то обрати наступний з них в якості поточного елементу (i) та перейти до п.3. Інакше перейти на п.6. 6. Кінець. У пункті 3 алгоритму до транзитивного замкнення додаються такі пари елементів з номерами j та k, для яких існує послідовність проміжних елементів з першого елементу А і до поточного елементу А. Дійсно, це вірно у двох можливих випадках: або вже існує послідовність проміжних елементів з номерами у діапазоні від першого до попереднього перед поточним для пари елементів з (j,k), або існує дві послідовності з номерами у діапазоні від першого до попереднього поточного – одна для пари елементів (j,i), а друга – для пари елементів (i,k). Перший випадок відповідає тому, що ми додаємо у транзитивне замкнення всі можливі “шляхи”, будь-якої довжини. Другий випадок на графі відношення буде відповідати тій ситуації, коли між вершинами j та k є зв’язок із декількох дуг і вони проходять через поточний елемент множини А.

 




Поделиться с друзьями:


Дата добавления: 2014-01-07; Просмотров: 866; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.012 сек.