
- •Лабораторная работа №1 Решение уравнений в алгебре множеств Цель работы: изучение методов решения уравнений и систем уравнений в алгебре множеств.
- •1.Теоретическая часть
- •1.1. Основные понятия теории множеств
- •1.2 Операции над множествами
- •1.3 Правила решения уравнений и систем уравнений с одним неизвестным в алгебре множеств.
- •2. Задания к выполнению работы
- •3. Порядок выполнения работы
- •4. Контрольные вопросы и задачи
- •5. Варианты заданий к выполнению работы
- •Лабораторная работа №2 Определение компонент сильной связности произвольного орграфа
- •1. Теоретическая часть
- •1.1. Основные сведения о графах
- •1.2 Способы задания графов
- •Связность в графах
- •Алгоритм нахождения компонент сильной связности (алгоритм Мальгранжа-Томеску)
- •Алгоритм заполнения столбца .
- •Раскраска графа
- •Задания к выполнению работы
- •Порядок выполнения работы
- •Контрольные вопросы
- •Варианты заданий к выполнению работы
- •Лабораторная работа n3 Определение чисел внутренней и внешней устойчивости графа
- •1 Теоретическая часть
- •1.1. Устойчивые множества вершин графа
- •1.2. Определение чисел устойчивости графа
- •1.3. Фундаментальные циклы графа
- •2. Задания к выполнению работы
- •Определение графа по № варианта
- •3. Контрольные вопросы
- •4. Варианты заданий к выполнению работы
- •Аналитическое представление логических функций. Дизъюнктивная и конъюнктивная нормальные формы
- •Практическая работа №2 Методы минимизации логических функций Логические функции небольшого числа переменных (n 3) можно минимизировать, используя тождества алгебры логики и законы алгебры логики.
- •2. Требования безопасности перед началом работы
- •Требования безопасности во время работы
- •Решение уравнений в алгебре множеств.
Алгоритм заполнения столбца .
В клетке столбца , являющейся продолжением строки Vi матрицы смежности, ставится нуль. Переход к п.2.
Если в клетках матрицы смежности на пересечении i-ой строки и столбцов Vj,…,Vk стоят единицы, то в клетках столбца , являющихся продолжением строк Vj,…,Vk ставятся единицы. Переход к п.3.
Если в клетках матрицы смежности на пересечении строк Vj,…,Vk со столбцами Vp,…,Vm стоят единицы , то в клетках столбца
являющихся продолжением строк Vj,…,Vk ставится цифра 2. Переход к п.4.
Процесс заполнения столбца продолжается до тех пор, пока возможно. Переход к п.5.
5) Если заполнение столбца окончено (не все клетки столбца могут содержать цифры), то выписываются множество вершин графа, соответствующих заполненным клеткам столбца .Это и будет прямое транзитивное замыкание.
Пример
Задана матрица смежности графа. Найти разложение графа на компоненты сильной связности.
На
рис.4 показана матрица смежности графа
и заполнение столбца
и
строки
,
которым соответствует прямое и обратное
транзитивное замыкание:
={1,2,3,4,5},
={1,2,3}
и компонента сильной связности
={1,2,3}.
После вычеркивания столбцов и строк
матрицы смежности с номерами 1,2,3,
вошедшими в
,
рассматривается остаток матрицы, столбец
и строка
заполняются.
В результате получается прямое и обратное
транзитивное замыкание и компонента
сильной связности:
={4,5},
={4,5},
={4,5}.
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
|
|
|
|
|
|
1 |
|
1 |
|
1 |
|
|
|
|
0 |
|
|
|
|
2 |
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
3 |
1 |
1 |
|
|
|
|
|
|
2 |
|
|
|
|
4 |
|
|
|
|
1 |
|
|
|
1 |
|
0 |
|
|
5 |
|
|
|
1 |
|
|
|
|
2 |
|
1 |
|
|
6 |
|
|
|
|
|
|
1 |
|
x |
|
x |
|
0 |
7 |
|
|
|
|
|
1 |
|
|
x |
|
x |
|
1 |
|
0 |
2 |
1 |
x |
X |
x |
x |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1 |
x |
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
1 |
Рис.4
Рассмотрение
элементов матрицы, оставшихся после
вычеркивания столбцов и строк с номерами
4 и 5 дает такие результаты:
={6,7},
={6,7},
={6,7}.
Таким
образом, представленный граф имеет 3
компоненты сильной связности:
,
,
.