ДМ 2012 / +Лабораторные / ЛР_01_ДМ_РБ / ЛР_ДМ_РБ_(01)

ЛАБОРАТОРНАЯ РАБОТА 1.

Исследование свойств отношений. Алгоритм вычисления транзитивного замыкания отношения R на множестве М (алгоритм Уоршалла)

Цель работы: Изучение алгоритма вычисления транзитивного замыкания отношения R на множестве М (алгоритм Уоршалла).

Порядок выполнения работы.

1. Изучить теоретические сведения.

2. Получить задание у преподавателя.

3. Исследовать свойства заданных отношений.

4. Провести расчеты транзитивного замыкания.

5. Сделать выводы по результатам исследований.

6. Оформить отчет.

Требования к отчету.

1. Цель работы.

2. Постановка задачи.

3. Исследование матриц отношений для выявления их свойств.

4. Вычисления транзитивного замыкания отношения.

5. Выводы.

Теоретические сведения.

Пример 1. Дано отношение, заданное матрицей

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

1. симметрию,

2. антисимметрию,

3. асимметрию,

4. рефлексивность,

5. антирефлексивность.

Найти транзитивное замыкание отношения. Построить граф отношения ρ и его транзитивного замыкания.

Решение.

Исследуем свойства данного отношения.

1. Данное отношение не является симметричным, так как матрица несимметрична. Например, пара (2,1) принадлежит ρ, а пара (1,2) ему не принадлежит.

1. Отношение антисимметрично, так как нет ни одной пары m_ij = m_ji = 1,i=j.

2. Отношение антисимметрично, но не асимметрично, так как на диагонали матрицы имеются элементы равные 1.

4) Все диагональные элементы матрицы рефлексивного отношения равны 1. Данное отношение не является рефлексивным.

5) Отношение не обладает свойством антирефлексивности, так как диагональ матрицы ненулевая.

Найдем транзитивное замыкание ρ.

3. Элемент m₄₃ = 1. Дизъюнкция четвертой и третьей строки не меняет вид матрицы. Таким образом полученная матрица является матрицей транзитивного замыкания отношения ρ.

Оба способа дают один и тот же результат.

На рис. 1 и рис. 2 представлены графы отношения ρ и его транзитивного замыкания. Диагональные элементы матрицы соответствуют петлям на графе. Матрица несимметричная, поэтому граф отношения ориентированный.

Пример 2. Пусть бинарное отношение R на M задано в виде диаграммы, состоящей из узлов и стрелок так, что узлам взаимно однозначно соответствуют элементы множества М, а стрелкам, соединяющим пару а и b в направлении от а к b, - наличие отношения a R b. Определить графические особенности диаграммы в зависимости от характера свойств отношения R.

1. Отношение RMM рефлексивно, если 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 к с, существует стрелка, соединяющая а и с в направлении от а к с.

Пример 3. Каковы свойства отношений, заданных:

1. На множестве натуральных чисел N:

а) R₁ – "быть не больше ";

б) R₂ – "быть делителем";

в) R₃ – "быть равным".

2. На множестве точек действительной плоскости :

а) R₄ – "находиться на одинаковом расстоянии от начала координат";

б) R₅ – "быть симметричным относительно оси X"'.

3. На системе множеств 2^М:

a) R₆ - "пересекаться с" (иметь непустое пересечение);

b) R₇ – "являться строгим включением с".

4. На множестве людей:

а) R₈ – "быть сыном";

б) R₉ – "жить в одном городе";

в) R₁₀ – "быть братом".

5. На множестве элементов структуры (рис. 3):

а) R₁₁ – "быть непосредственно связанным с";

б) R₁₂ – "быть начальником".

Рис. 3.

Список использованных источников

1 Показеев, В.В. Элементы дискретной математики: Курс лекций / В.В. Показеев, В.И. Матяш, Г.В. Черкесова. – М.: МГТУ МАМИ, 2003. – 239 с.

2. Кирсанов, М.М. Дискретная математика : Основные тезисы / М.М. Кирсанов, В.В. Показеев. – М.: МГТУ МАМИ, 2003. – 26 с.

3. Москинова, Г.И. Дискретная математика. Математика для менеджера в примерах и упражнениях : Учебное пособие / Г.И. Москинова. – М.: Логос, 2003. – 240 с.