Код Прюфера

Построение диаграммы псевдографа, матрицы инцидентности и матрицы соседства вершин. Восстановление дерева по вектору с помощью алгоритма Прюфера. Построение таблицы истинности для функции и совершенной конъюнктивной и дизъюнктивной нормальной форм.

Рубрика Математика
Вид контрольная работа
Язык русский
Дата добавления 25.09.2013
Размер файла 181,9 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ

ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ

«МУРМАНСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ» (ФГБОУ ВПО МГГУ)

Факультет физико-математического образования, информатики и программирования

Кафедра прикладной математики и математических методов в экономике

Контрольная работа

По Дискретной математике

На тему: Код Прюфера

Выполнил студент: Ежов А.В.

Группы ББИ 1-го курса Заочной формы обучения

Преподаватель: Большакова Наталья Сергеевна

Ст. преподаватель кф. ПМ и ММэ

Мурманск

2012

Задание №1

Создать псевдоорграф с множеством вершин и 15 рёбрами, построить диаграмму графа, матрицу инцидентности и матрицу соседства вершин. Для соотнесенного псевдографа построить матрицу соседства вершин.

Список рёбер:

е1=(1, 2); е2=(2, 3); е3=(3, 3); е4=(3, 4); е5=(4, 5); е6=(5, 5); е7=(5, 6); е8=(6, 7); е9=(7, 1); е10=(1, 1); е11=(5, 4); е12=(1, 6); е13=(3, 6); е14=(6, 3); е15=(2, 7).

Матрица инцидентности:

е 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

Матрица соседства вершин:

1 2 3 4 5 6 7

Для соотнесенного псевдографа построить матрицу соседства вершин:

1 2 3 4 5 6 7

Задание № 2

С помощью алгоритма Прюфера восстановить по вектору дерево:

Код Прюфера:

(5,1,3,5,7,8,9,10).

V={1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

Вершины {2, 4, 6} являются висячими.

(5, 2) - первое ребро; укоротим код на один элемент

(1,3,5,7,8,9,10).

V={1, 3, 4, 5, 6, 7, 8, 9, 10}

Вершины 1, 3 есть в коде, они отмечены красным. Поэтому вершину 1 соединяем с вершиной 4.

(1, 4)

(3,5,7,8,9,10).

V={1, 3, 5, 6, 7, 8, 9, 10}

(3, 1), (5, 3), (7, 5), (8, 6), (9, 7), (10, 8), (9, 10)

Проверка

Закодируем существующее дерево в код Прюфера. Если решение правильно, то коды должны совпасть.

1. Найти висячую вершину с минимальным номером i.

2. Записать в код Прюфера вершину, смежную с i.

3. Удалить вершину i из дерева. Если дерево не пустое, то перейти к п.1.

Находим висячую вершину с минимальным номером. Минимальный номер 2, удаляем ребро соединяющую вершины 2 и 5, записываем в код 5.

(5)

Теперь, висячая вершина с минимальным номером 4. Удаляем ребро между вершинами 4 и 1. Добавляем в код 1.

(5, 1)

1 убираем, 3 добавляем. Получается (5, 1, 3). Действие повторяем до тех пор, пока останется одно ребро с конечной вершиной. Результат кода сравним с первоначальным кодом.

(5, 1, 3)

(5, 1, 3, 5)

(5, 1, 3, 5, 7)

(5, 1, 3, 5, 7, 8)

(5, 1, 3, 5, 7, 8, 9)

(5, 1, 3, 5, 7, 8, 9, 10)

Сравним:

(5, 1, 3, 5, 7, 8, 9, 10) = (5,1,3,5,7,8,9,10)

Коды равны, следовательно, решение было правильным.

Задание № 3

псевдограф матрица диаграмма прюфер

Для функции построить таблицу истинности, СДНФ и СКНФ.

Таблица истинности:

x

y

z

¬x

x|y

(x|y)vz

f

0

0

0

1

1

1

1

0

0

1

1

1

1

1

0

1

0

1

1

1

1

0

1

1

1

1

1

1

1

0

0

0

1

1

1

1

0

1

0

1

1

1

1

1

0

0

0

0

0

1

1

1

0

0

1

1

Для построения СКНФ необходимо произвести следующие действия:

1. Выбрать все строки из таблицы истинности, в которых значение функции равняется 0.

2. Построить ЭД для каждой строки следующим образом: если значение переменной равно 1, то берется ее отрицание, иначе -- сама переменная.

3. Объединить получившиеся ЭД конъюнкцией.

Строим СКНФ:

1. Выбираем 7 строку таблицы истинности, т.к. значение функции в этой строке равно 0.

2. По правилам, получаем следующую ЭД: ¬x V ¬y V z

3. Т.к. ЭД всего одна, то она и будет СКНФ

Итак, для функции  получили следующую СКНФ: . ¬x V ¬y V z

Для построения СДНФ необходимо произвести следующие действия:

1. Выбрать все строки из таблицы истинности, в которых значение функции равняется 1.

2. Построить ЭК для каждой строки следующим образом: если значение переменной равно 0, то берется ее отрицание, иначе -- сама переменная.

3. Объединить получившиеся ЭК дизъюнкцией.

Строим СДНФ.

1. Выбираем 1, 2 , 3, 4, 5, 6 и 8 строки таблицы, т.к. значение функции в этих строках равно 1.

2. По правилам получаем следующие ЭК:

¬x & ¬y & ¬z - для первой строки;

¬x & ¬y & z - для второй строки;

¬x & y & ¬z - для третьей строки;

¬x & y & z - для четвёртой строки;

x & ¬y & ¬z - для пятой строки;

x & ¬y & z - для шестой строки;

x & y & z - для восьмой строки.

3. Объединяем получившиеся конъюнкции дизъюнкцией и получаем СДНФ:

Итак, для функции  получили следующую СДНФ: 

(¬x & ¬y & ¬z)V(¬x & ¬y & z)V(¬x & y & ¬z)V(¬x & y & z)V(x & ¬y & ¬z)

V(x & ¬y & z)V(x & y & z)

Размещено на Allbest.ru


Подобные документы

  • Восстановление графов по заданным матрицам смежности вершин. Построение для каждого графа матрицы смежности ребер, инцидентности, достижимости, контрдостижимости. Поиск композиции графов. Определение локальных степеней вершин графа. Поиск базы графов.

    лабораторная работа [85,5 K], добавлен 09.01.2009

  • Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.

    контрольная работа [463,0 K], добавлен 17.05.2015

  • Теоретико-множественная и геометрическая форма определения графов. Матрица смежностей вершин неориентированного и ориентированного графа. Элементы матрицы и их сумма. Свойства матрицы инцидентности и зависимость между ними. Подмножество столбцов.

    реферат [81,0 K], добавлен 23.11.2008

  • Определение констант нуля и установление эквивалентности линейных функций при помощи таблицы истинности. Нахождение минимальной дизъюнктивной нормальной формы функции с помощью метода неопределенных коэффициентов. Преобразование функции методом Квайна.

    контрольная работа [335,2 K], добавлен 05.07.2014

  • Понятие обратной матрицы. Пошаговое определение обратной матрицы: проверка существования квадратной и обратной матрицы, расчет определителя и алгебраического дополнения, получение единичной матрицы. Пример расчета обратной матрицы согласно алгоритма.

    презентация [54,8 K], добавлен 21.09.2013

  • Поиск собственных чисел и построение фундаментальной системы решений. Исследование зависимости жордановой формы матрицы А от свойств матрицы системы. Построение фундаментальной матрицы решений методом Эйлера, решение задачи Коши и построение графиков.

    курсовая работа [354,7 K], добавлен 14.10.2010

  • Вычисление и построение матрицы алгебраических дополнений. Решение системы линейных уравнений по формулам Крамера, с помощью обратной матрицы и методом Гаусса. Определение главной и проверка обратной матрицы. Аналитическая геометрия на плоскости.

    контрольная работа [126,9 K], добавлен 20.04.2016

  • Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.

    курсовая работа [50,7 K], добавлен 28.05.2015

  • Понятие матрицы, прямоугольная матрица размера m x n - совокупность mn чисел, расположенных в виде прямоугольной таблицы, содержащей m строк и n столбцов. Численная характеристика квадратной матрицы - ее определитель. Действия над матрицами, ранг матрицы.

    реферат [87,2 K], добавлен 01.08.2009

  • Определение количества способов, которыми можно выбрать трех дежурных из группы в 20 человек. Построение таблицы истинности без предварительного упрощения функции по данному логическому выражению. Упрощение логических выражений с помощью карты Карно.

    контрольная работа [81,1 K], добавлен 25.08.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.