Исследование алгоритмов решения задач дискретной математики

  

Министерство  образования и науки РФ

ФГБОУ ВПО «Сибирский государственный технологический университет»

      Факультет автоматизации и информационных технологий

     Кафедра информационных технологий

 
 
 
 
 
 
 
 

ИССЛЕДОВАНИЕ  АЛГОРИТМОВ

РЕШЕНИЯ ЗАДАЧ ДИСКРЕТНОЙ МАТЕМАТИКИ 

  Пояснительная записка

  (СТ. 000000. 035 ПЗ) 
 
 
 

                                                 Руководитель 

                                                 Иванилова Т.Н.

                                                 ___________________

                                                 дата               оценка          роспись 

                                                 Выполнил

                                                 студент группы 230100

                                                 Нагельман И. Ю.

                                                 ___________________

                                                 дата сдачи                    роспись 
 
 
 
 
 
 
 
 
 
 
 

  Красноярск, 2011

 

  Сибирский государственный  технологический университет

  Кафедра системотехники  

  ЗАДАНИЕ

  НА  КУРСОВУЮ РАБОТУ ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ 

  Студент    Нагельман Илья Юрьевич

  Факультет ЗХТ_ Группа 230100

  Тема  КР: Исследование алгоритмов решения задач дискретной математики

     Множества и отношения

     Задание 1

    1.  
    2.  

     Задание 2

     

     Задание 3

     

     Задание 4

    Схематично  изобразить геометрическое место точек  прямого 

    произведения  .

     Задание 5

  ρ1-"x и y кратны 4";    ρ2-"x и y кратны 20"

     Задание 6

 

       ,

     Задание 7

 
    1. «Служить  моделью» на множестве произвольных объектов;
 

     Теория  графов 

   Задание 1

4 ¥ 1 3 ¥ ¥ ¥
¥ ¥ ¥ 9 5 7 ¥
1 ¥ ¥ ¥ 1 ¥ ¥
3 9 ¥ 6 ¥ ¥ ¥
¥ 5 1 ¥ ¥ ¥ 2
¥ 7 ¥ ¥ ¥ ¥ ¥
¥ ¥ ¥ ¥ 2 ¥ ¥

     
     
     
     

 

 

Календарный план выполнения работы 

  1 – 5.10.11 -          формализация задачи

  6 – 10.10.11 -             уточнение входной и выходной информации

  11 – 18.10.11 –          решение заданий 1,2,3,4,5,6,7 по множествам и отношениям

  19 – 30.10.11 –            решение заданий по ориентированному графу

  1 - 10.12.11 –            решение заданий по неориентированному графу

  11 - 20.12.11 -             работа с обучающими программами

  23.12.11 – защита КР

                         Задание выдано 01.10.11

                         Руководитель___________Иванилова Т.Н.

 

   Содержание

    
 

       Реферат…………………………………………………………………………..5 

       Введение…………………………………………………………………………6 

       Вариант 23. Задания………………….…………………………………………7 

       Решение. Множества и отношения..…………………………………………...8 

       Решение. Теория графов………………………………………………………..11 

       Заключение……………………………………………………………………...15 

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

 

Реферат 

        Курсовая  работа представляет собой решение  задач по темам «Множества и отношения», «Теория графов».

              Пояснительная записка  включает в себя __ страниц текста, __ использованных литературных источника, 1 приложение.

              Ключевые слова: ДИСКРЕТНАЯ МАТЕМАТИКА, МНОЖЕСТВО, БИНАРНЫЕ ОТНОШЕНИЯ, ГРАФ (до 10 ключевых слов).

              Цель работы - выполнение расчетов для решения задач по разделам дисциплины «Дискретная математика».

        Данная  работа представляет решение следующих  задач:

  1. графическое представление операций над множествами;
  2. доказательство равенства множеств с использованием диаграмм Эйлера-Венна и основных тождеств дискретной математики;
  3. нахождение геометрического места точек прямого произведения множеств;
  4.  графическое представление бинарного отношения;
  5. определение свойств бинарного отношения;
  6. определение степеней и полустепеней вершин графа;
  7. расчет матричных представлений графа;
  8. нахождение путей и маршрутов в графе;
  9. определение остовных деревьев графа.

 

Введение

     Дискретная  математика заявила о себе уже  адвно, более 200 лет назад. Тем не менее высокая востребованность в дискретной математике, как в  самостоятельном , существенно важном разделе математики, проявилась лишь в послевоенные годы.  И связано это было с появлением первых вычислительных машин.

       Поскольку работа и функционирование  компьютера это дискретный процесс,  роль дискретной математики, как самостоятельной дисциплины очень велика. 
ВАРИАНТ 23

     Множества и отношения

     Задание 1

     Задание 2

     

     Задание 4

    Схематично  изобразить геометрическое место точек  прямого 

    произведения  .

     Задание 6

 

       ,

     Задание 7

 
    1. «Служить  моделью» на множестве произвольных объектов;
 

     Теория  графов

   Задание 1

4 ¥ 1 3 ¥ ¥ ¥
¥ ¥ ¥ 9 5 7 ¥
1 ¥ ¥ ¥ 1 ¥ ¥
3 9 ¥ 6 ¥ ¥ ¥
¥ 5 1 ¥ ¥ ¥ 2
¥ 7 ¥ ¥ ¥ ¥ ¥
¥ ¥ ¥ ¥ 2 ¥ ¥

   Задание 2

 
 
 
 

 

Решение

       Множества и отношения

     Задание 1

     №1

 
 

1)

2)  

      №2  

1) С\B\A    3)

2)  

 

 

Задание 2

   Покажем выполнение равенства на диаграммах Эйлера-Венна. 

По закону дистрибутивности   

1) Левая часть  равенства.

В+С       

2) Правая часть

             

Задание 2

 

   Покажем выполнение равенства на диаграммах Эйлера-Венна.

   1) Левая часть равенства: 
 
 
 

   

   

   2) Правая часть равенства: 
 
 
 
 
 
 
 
 

 

  Задание 4

Схематично изобразить геометрическое место точек прямого 

произведения .

{1.4}{2.6}{2.4}={122}{124}{162}{164}{422}{424}{462}{464} 

   Задание 6

,

a) p= {<1,1><1.2><1.3><1.4><1.5><1.6><<2.1><2.2><2.3><2.4><2.5><3.1><3.2><3.3><3.4><4.1><4.2><4.3><5.1><5.2><6.1>}|

b)

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

  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>.
 
  1. X5 – петля, x6,x7 – кратные ребра
 
  1. Полустепени вершин: 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
 
 
  1. Простой цикл: V0X1V2X3V3X8V1X10V0   V1X9V2X3V3X8V1

    Цикл: нет циклов

   Простая цепь : V0X1V2X2V4

   Цепь: V0X1V2X3V3X4V5X5V5

   Задание 2

 

  1. Неориентированный граф 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}.
 
  1. v5 и v6– висячие вершины.
 
  1. Степени вершины 

    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
Исследование алгоритмов решения задач дискретной математики