Лабораторная работа 4 Исследование свойств отношений

Лабораторная работа 4
Исследование свойств отношений. Алгоритм вычисления транзитивного
замыкания отношения R на множестве М
(алгоритм Уоршалла)
Цель занятия: Изучение алгоритма вычисления транзитивного замыкания отношения
R на множестве М (алгоритм Уоршалла).
Теоретические сведения.
Пример 1. Дано отношение, заданное матрицей
Исследовать отношение на
1. симметрию,
2. антисимметрию,
3. асимметрию,
4. рефлексивность,
5. антирефлексивность.
Найти транзитивное замыкание отношения. Построить граф отношения ρ и
его транзитивного замыкания.
Решение
Исследуем свойства данного отношения.
1) Данное отношение не является симметричным, так как матрица несимметрична.
Например, пара (2,1) принадлежит ρ, а пара (1,2) ему не принадлежит.
2) Отношение антисимметрично, так как нет ни одной пары mij = mji = 1,i=j.
3) Отношение антисимметрично, но не асимметрично, так как на диагонали матрицы
имеются элементы равные 1.
4) Все диагональные элементы матрицы рефлексивного отношения
равны
1. Данное отношение не является рефлексивным.
5) Отношение не обладает свойством антирефлексивности, так как диагональ
матрицы ненулевая.
Найдем транзитивное замыкание ρ.
2
3. Элемент m43 = 1. Дизъюнкция четвертой и третьей строки не меняет вид
матрицы. Таким образом полученная матрица является матрицей транзитивного
замыкания отношения ρ.
Оба способа дают один и тот же результат.
На рис. 1 и рис. 2 представлены графы отношения ρ и его транзитивного
замыкания. Диагональные элементы матрицы соответствуют петлям на графе.
Матрица несимметричная, поэтому граф отношения ориентированный.
Пример 2. Пусть бинарное отношение R на M задано в виде диаграммы, состоящей из узлов
и стрелок так, что узлам взаимно однозначно соответствуют элементы множества М, а
стрелкам, соединяющим пару а и b в направлении от а к b, - наличие отношения a R b.
Определить графические особенности диаграммы в зависимости от характера свойств
3
отношения R.
1. Отношение R  M  M рефлексивно, если a R а для любых а М. Соответствующая
диаграмма рефлексивного отношения должна содержать петли во всех узлах (т.е. стрелки,
начинающиеся и заканчивающиеся в одном узле).
2. Отношение R антирефлексивно, если ни для каких а  М не выполняется a R а. Диаграмма
антирефлексивного отношения не должна содержать ни одной петли.
3. Отношение R симметрично, если из a R b следует b R а. В диаграмме симметричного
отношения для каждой стрелки, соединяющей два узла, существует также стрелка,
соединяющая эти узлы в обратном направлении.
4. Отношение R антисимметрично, если из aRb и bRa следует а = b. В диаграмме
антисимметричного отношения не существует двух различных узлов, связанных парой
(разнонаправленных) стрелок.
5. Отношение R транзитивно, если из aRb и bRc следует aRс. В диаграмме транзитивного
отношения для любых двух стрелок таких, что одна направлена от а к b, а другая – от b к с,
существует стрелка, соединяющая а и с в направлении от а к с.
Практические задания
1 Каковы свойства отношения, заданного на множестве натуральных чисел N:
R1 – "быть не больше  ".
2 Каковы свойства отношения, заданного на множестве натуральных чисел N:
R2 – "быть делителем".
3 Каковы свойства отношения, заданного на множестве натуральных чисел N:
R3 – "быть равным".
4 Каковы свойства отношения, заданного на множестве точек действительной плоскости
  :
R4 – "находиться на одинаковом расстоянии от начала координат".
5 Каковы свойства отношения, заданного на множестве точек действительной плоскости
  :
R5 – "быть симметричным относительно оси X"'.
6 Каковы свойства отношения, заданного на системе множеств 2М:
R6 – "пересекаться с" (иметь непустое пересечение).
7 Каковы свойства отношения, заданного на системе множеств 2М:
R7 – "являться строгим включением с …".
8 Каковы свойства отношения, заданного на множестве людей (рис. 3) :
R8 – "быть сыном".
9 Каковы свойства отношения, заданного на множестве людей (рис. 3) :
R9 – "жить в одном городе".
10 Каковы свойства отношения, заданного на множестве людей (рис. 3) :
R10 – "быть братом".
11 Каковы свойства отношения, заданного на множестве элементов структуры (рис. 3) :
R11 – "быть непосредственно связанным с …".
12 Каковы свойства отношения, заданного на множестве элементов структуры (рис. 3) :
4
R12 – "быть начальником".
Рис. 3.
Порядок выполнения лабораторной работы
1 Получить задание у преподавателя.
2 Решить задачу в соответствии с заданием.
3 Сделать выводы по результатам решения.
4 Составить отчет о проделанной работе.
Список использованных источников
1 Показеев, В.В. Элементы дискретной математики: Курс лекций / В.В. Показеев, В.И.
Матяш, Г.В. Черкесова. – М.: МГТУ МАМИ, 2003. – 239 с.
2. Кирсанов, М.М. Дискретная математика : Основные тезисы / М.М. Кирсанов, В.В.
Показеев. – М.: МГТУ МАМИ, 2003. – 26 с.
3. Москинова, Г.И. Дискретная математика. Математика для менеджера в примерах и
упражнениях : Учебное пособие / Г.И. Москинова. – М.: Логос, 2003. – 240 с.
5