русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Замикання відношень


Дата добавления: 2015-07-23; просмотров: 1252; Нарушение авторских прав


 

Рефлексивним замиканням бінарного відношення R, заданого на множині А (позначається Rr), називається відношення Rr=iAÈR.

Симетричним замиканням бінарного відношення R, заданого на множині А (позначається Rs), називається відношення Rs=RÈR-1.

Нехай, наприклад, на множині А={1,2,3,4} задано відношення R={<2,3>,<3,3>, <2,1>,<1,3>}. Рефлексивним замиканням R є відношення Rr={<1,1>,<2,2>,<3,3>, <4,4>,<2,3>,<2,1>,<1,3>}, симетричним замиканням R є відношення Rs={<2,3>, <3,3>,<2,1>,<1,3>,<3,2>,<1,2>, <3,1>}.

Транзитивним замиканням бінарного відношення R, заданого на множині А (позначається Rt або TC(R)), називається відношення Rt=RÈR2È…ÈRnÈ…, де Rn=R, якщо n=1, Rn=Rn-1*R, якщо n>1.

Для обчислення транзитивного замикання деякого відношення зручно використовувати таку властивість. Нехай R – бінарне відношення на множині А. Якщо для деякого n (n³1) RÈ…ÈRn = RÈ…ÈRnÈRn+1, то Rt=RÈ…ÈRn. Для обгрунтування цього твердження достатньо показати, що для усіх k>n+1 RÈ…ÈRn = RÈ…ÈRk за умови RÈ…ÈRn = RÈ…ÈRnÈRn+1. Очевидно, що RÈ…ÈRn Í RÈ…ÈRk. Покажемо, що RÈ…ÈRk Í RÈ…ÈRn. Дійсно, <x,yRÈ…ÈRk Þ існує число і (1£і£k) таке, що <x,yRi. Якщо і£n+1, то <x,yRÈ…ÈRn. Нехай і>n+1, тоді маємо: <x,yRi Þ <x,yRn*Ri-n Þ <x,yRn+1*Ri-n-1 Þ існує zÎА такий, що <x,zRn+1 та <z,yRi-n-1 Þ <x,zRÈ…ÈRn, <z,yRi-n-1 Þ існує число j<n+1 таке, що <x,zRj Þ <x,yRj+i-n-1. Якщо j+i-n-1£n+1, то включення доведено, інакше покладемо і1=j+i-n-1. Очевидно, що і1<і. Таким чином, можна побудувати скінченну послідовність чисел і, і1,…, іl, де іl – перше з чисел у послідовності, для якого il<n+1, <x,yRm, mÎ{і, і1,…, іl}. Отже, <x,yRÈ…ÈRn.



Обчислимо транзитивне замикання Rt відношення R={<2,3>,<3,3>, <2,1>,<1,3>,<3,4>}, заданого на множині А={1,2,3,4}. Маємо: R2={<2,3>,<2,4>, <3,3>,<3,4>,<1,3>,<1,4>}. RÈR2={<2,3>,<3,3>,<2,1>,<1,3>,<3,4>,<2,4>, <1,4>} ¹R, отже, обчислюємо R3=R2*R. Маємо: R3={<2,3>,<2,4>,<3,3>,<3,4>,<1,3>, <1,4>}. Оскільки

RÈR2ÈR3={<2,3>,<3,3>,<2,1>,<1,3>,<3,4>,<2,4>,<1,4>}=RÈR2,

то Rt=RÈR2.

З визначення транзитивного замикання відношення випливає, що для будь-якого бінарного відношення R на А xRty Û існує така скінченна послідовність x1,…,xn елементів множини А, що x1=x, xn=y, xiRxi+1, iÎ{1,…,n-1}.

Рефлексивно-симетрично-транзитивним замиканням відношення R, заданого на множині А, назвемо відношення Rrst=ТС(іАÈRÈR-1).

Теорема 8. Нехай R – деяке бінарне відношення на множині А, Rе – будь-яке відношення еквівалентності на А таке, що RÍRе, Rrst – рефлексивно-симетрично-транзитивне замикання відношення R. Тоді RrstÍRе.

Доведення. Нехай <x,yRrst. Тоді <x,yR або <x,yR. Якщо <x,yR, то, оскільки RÍRе, <x,yRе. Якщо <x,yR, то для деякого і³1 <x,y>Î(іАÈRÈR-1)i. Нехай i=1. Тоді <x,yіА або <x,yR-1. Якщо <x,yіА, то <x,yRе, оскільки Rе рефлексивне. Якщо <x,yR-1, то маємо: <x,yR-1 Þ <y,xR Þ <y,xRе Þ <x,yRе. Нехай і>1 й <x,y>Î(іАÈRÈR-1)i. Це означає, що існують такі елементи х1,…,хі+1 множини А, що х1=х, у=хі+1, х1(іАÈRÈR-1)х2,…,хі(іАÈRÈR-1)хі+1, але тоді х1Reх2,…,хіReхі+1. Оскільки Re транзитивне, то х1Reхі+1, отже, хReу.

 



<== предыдущая лекция | следующая лекция ==>
Відношення еквівалентності | Задачі та вправи


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

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