Исследование алгоритмов решения задач дискретной математики
Курсовая работа, 26 Января 2012, автор: пользователь скрыл имя
Краткое описание
Цель работы - выполнение расчетов для решения задач по разделам дисциплины «Дискретная математика».
Данная работа представляет решение следующих задач:
графическое представление операций над множествами;
доказательство равенства множеств с использованием диаграмм Эйлера-Венна и основных тождеств дискретной математики;
Содержание работы
Реферат…………………………………………………………………………..5
Введение…………………………………………………………………………6
Вариант 23. Задания………………….…………………………………………7
Решение. Множества и отношения..…………………………………………...8
Решение. Теория графов………………………………………………………..11
Заключение……………………………………………………………………...15
Список использованных источников……………
Содержимое работы - 1 файл
Нагельман И.Ю.Курсовая работа №1 дискретная математика.doc
— 391.00 Кб (Скачать файл)c) Cсимметрично, т.к. на пару <1.6> есть пара <6.1>
Рефлексивно, т.к. для найдется пара <x,x>. Например, <1,1>, <2,2>, <3,3> и т.д.;
Не транзитивно, т.к. для пар <6,1> ,<1,6> не существует пара <6,6>;
Не антисимметрично, т.к. есть симметричные пары
Задание 7
«Служить моделью» на множестве произвольных объектов;
не рефлексивно т.к. X не может быть моделью сам для себя.
Не симметрично т.к X является моделью для Y => Y не может являться моделью для X
транзитивно т.к X является модель для Y, а Y является моделью для Z следовательно X является моделью для Z
антисимметрично т.к есть только пары где X модель для Y.
Теория графов
Задание 1
- Ориентированный
псевдограф D=(V,X). V={v0,v1,v2,v3,v4,v5},
X={x0,x1,x2,x3,x4,x5,x6,x7,x8,
x9,x10}. x0=<v1,v4>, x1=<v0,v2>, x2=<v2,v4>, x3=<v2,v3>, x4=<v3,v5>, x5=<v5,v5>, x6=<v5,v4>, x7=<v5,v4>, x8=<v3,v1>, x9=<v1,v2>, x10=<v1,v0>.
- X5 – петля, x6,x7 – кратные ребра
- Полустепени вершин: d+(v0)=2, d-(v0)=1, d+(v1)=2, d-(v1)=1, d+(v2)=2, d-(v2)=2, d+(v3)=2, d-(v3)=1, d+(v4)=0, d-(v4)=4, d+(v5)=3, d-(v5)=2
4.Матрица смежности
| V0 | V1 | V2 | V3 | V4 | V5 | |
| V0 | 0 | 0 | 1 | 0 | 1 | 0 |
| V1 | 1 | 0 | 1 | 0 | 0 | 0 |
| V2 | 0 | 0 | 0 | 1 | 1 | 0 |
| V3 | 0 | 1 | 0 | 0 | 0 | 1 |
| V4 | 0 | 0 | 0 | 0 | 0 | 0 |
| V5 | 0 | 0 | 0 | 0 | 2 | 1 |
Матрица инцидентности
| x0 | x1 | x2 | x3 | х4 | х5 | х6 | х7 | x8 | x9 | x10 | |
| v0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 |
| v1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | -1 | 1 | 1 |
| v2 | 0 | -1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | -1 | 0 |
| v3 | 0 | 0 | 0 | -1 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| v4 | -1 | 0 | -1 | 0 | 0 | 0 | -1 | -1 | 0 | 0 | 0 |
| v5 | 0 | 0 | 0 | 0 | -1 | +-1 | 1 | 1 | 0 | 0 | 0 |
Матрица связности:
| v0 | v1 | v2 | v3 | v4 | v5 | |
| v0 | 1 | 1 | 1 | 1 | 0 | 0 |
| v1 | 1 | 1 | 1 | 1 | 0 | 0 |
| v2 | 1 | 1 | 1 | 1 | 0 | 0 |
| v3 | 1 | 1 | 1 | 1 | 0 | 0 |
| v4 | 0 | 0 | 0 | 0 | 1 | 0 |
| v5 | 0 | 0 | 0 | 0 | 0 | 1 |
Матрица достижимости:
| v0 | v1 | v2 | v3 | v4 | v5 | |
| v0 | 0 | 1 | 1 | 1 | 1 | 1 |
| v1 | 1 | 1 | 1 | 1 | 1 | 1 |
| v2 | 1 | 1 | 1 | 1 | 1 | 1 |
| v3 | 1 | 1 | 1 | 1 | 1 | 1 |
| v4 | 0 | 0 | 0 | 0 | 0 | 0 |
| v5 | 0 | 0 | 0 | 0 | 1 | 1 |
- Простой цикл: V0X1V2X3V3X8V1X10V0 V1X9V2X3V3X8V1
Цикл: нет циклов
Простая цепь : V0X1V2X2V4
Цепь: V0X1V2X3V3X4V5X5V5
Задание 2
- Неориентированный
граф G=(V,X). V={v0,v1,v2,v3,v4,v5,
v6}, X={x0,x1,x2,x3,x4,x5,x6,x7,x8}
. x0={v0,v0}, x1={v0,v2}, x2={v0,v3}, x3={v3,v1}, x4={v4,v1}, x5={v1,v5}, x6={v2,v4}, x7={v4,v6}, x8={v3,v3}.
- v5 и v6– висячие вершины.
- Степени вершины
d(v0)=3, d(v1)=3, d(v2)=2, d(v3)=3, d(v4)=3, d(v5)=1, d(v6)=1.
Матрица смежности
| v0 | v1 | v2 | v3 | v4 | v5 | V6 | |
| v0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
| v1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 |
| v2 | 1 | 0 | 0 | 0 | 1 | 0 | 0 |
| v3 | 1 | 1 | 0 | 1 | 0 | 0 | 0 |
| v4 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |
| v5 | 0 | 1 | 0 | 0 | 0 | 0 | 0 |
| V6 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
Матрица инцидентности
| x0 | x1 | x2 | x3 | х4 | х5 | х6 | х7 | x8 | |
| v0 | 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 |
| v1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 |
| v2 | 0 | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 0 |
| v3 | 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |
| v4 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
| v5 | 0 | 0 | 0 | 0 | 0 | 1 | 0 | 0 | 0 |
| v6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 1 | 0 |