Дискретна математика для програмістів

Ознайомлення з історією виникнення теорії множин. Способи опису характеристичних властивостей множин. Декартовий добуток та бінарні відношення. Ін’єктивні, сюр’єктивні та бієктивні відображення. Поняття та властивості бінарної алгебраїчної операції.

Рубрика Математика
Вид лекция
Язык украинский
Дата добавления 28.10.2014
Размер файла 2,5 M

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

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

Формулювання завдання. Надано орієнтований граф G = (X, A), кожній дузі (ребру) (u, w) цього графу відповідає невід'ємна вага C u w. Загальна задача знаходження найкоротших шляхів полягає в знаходженні для кожної впорядкованої пари вершин (u, w) будь-якого шляху від вершини u у вершину w, довжина якого є мінімальною серед всіх можливих шляхів від u до w.

Можна розв'язувати цю задачу, послідовно застосовуючи алгоритм Дейкстри для кожної вершини, що оголошується як джерело. Але для розв'язання поставленої задачі можна скористатися алгоритмом, запропонованим Флойдом.

Припустимо, що всі вершини орграфа послідовно пронумеровані від 1 до n. Алгоритм Флойда використовує матрицю A(n,n), в якій знаходяться довжини найкоротших шляхів:

Aij = Cij, якщо i ?j;

Aij = 0, якщо i = j;

Ai j = Ґ, якщо відсутній шлях з вершини i у вершину j.

Над матрицею A виконується n ітерацій. Після k-ої ітерації Aij містить значення найменшої довжини шляху з вершини i у вершину j, причому шлях не проходить через вершини з номерами великими k.

Обчислення на k -ій ітерації виконується за формулою:

Akij = min (A k-1ij, A k-1ik, A k-1kj) (5.5)

Верхній індекс k означає значення матриці A після k-ої ітерації.

Для обчислення Akij проводиться порівняння величини Ak-1ij (тобто вартість шляху від вершини i до вершини j без участі вершини k або іншої вершини з вищим номером) з величиною Ak-1ik + Ak-1kj (вартість шляху від вершини i до вершини k плюс вартість шляху від вершини k до вершини j). Якщо шлях через вершину k дешевше, ніж Ak-1ij, то величина Akij змінюється.

Розглянемо помічений орграф, наданий на рис. 2.6.

Рисунок 5.35 - Помічений орграф

Матриця A (3х3) на нульовій ітерації (k = 0):

Матриця A ( 3 х 3 ) після першої ітерації (k = 1):

Матриця A (3 х 3) після другої ітерації (k = 2):

Матриця A (3 х 3) після третьої ітерації (k = 3):

Кінець алгоритму.

Задача пошуку найкоротших шляхів виникає при проектуванні і удосконаленні маршрутних мереж транспорту загального користування у містах, розподілі пасажирських кореспонденцій за шляхами прямування, визначенні завантаження ділянок маршрутних мереж і пасажиропотоків.

Завдяки своєму широкому застосуванню, теорія про знаходження найкоротших шляхів останнім часом інтенсивно розвивається. Знаходження найкоротшого шляху - життєво необхідно і використовується практично скрізь, починаючи від знаходження оптимального маршруту між двома об'єктами на місцевості (наприклад, найкоротший шлях від будинку до університету), в системах автопілоту, для знаходження оптимального маршруту при перевезеннях, комутації інформаційного пакету в Internet і т.д.

Література

Основна

1. Новиков Ф.А. Дискретная математика для программистов. - С.-Пб.: Питер, 2001. - 304 с.

2. Бондаренко М.Ф. Комп'ютерна дискретна математика. - Харків: "Компанія СМІТ", 2004. - 480 с.

3. Нікольський Ю.В. Дискретна математика. - К.: Видавнича група BHV, 2007. - 368 с.

4. Новиков Ф.А. Дискретная математика для программистов. - С.-Пб.: Питер, 2006. - 364 с.

5. Донской В.И. Дискретная математика. - Симферополь: "СОНАТ", 2000. - 360 с.

6. Сигорский В.П. Математический аппарат инженера. Изд. 2-е, стереотип. "Texнiкa", 1977, 768 с.

7. Иванов Б.Н. Дискретная математика: Алгоритмы и программы: Учебное пособие. М.: Лаборатория базовых знаний, 2001. - 288 с.

Додаткова література

1. Акимов О.Е. Дискретная математика: логика, группы, графы. - М.: Лаборатория базових знаний, 2001. - 376 с.

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


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

  • Поняття множини. Операції над множинами. Об’єднання і переріз двох множин. Різниця і доповненя множин. Множини з відношеннями. Прямий (декартів) добуток множин. Бінарні відношення. Відношення еквівалентності. Відношення порядку. Предикати.

    курсовая работа [239,3 K], добавлен 10.06.2007

  • Означення теорії множин. Дії над множинами. Алгебра множин. Вектори і прямий добуток множин. Властивості відношень. Способи задання функції. Сукупність підстановок множини. Алгебраїчні операції та системи. Властивості рефлексивності та симетричності.

    конспект урока [263,1 K], добавлен 28.06.2012

  • Поняття про бінарні відношення, способи їх задання, існуючі операції, характерні властивості. Відношення еквівалентності, порядку, домінування й переваги. Поняття та значення R-оптимальності, найкращого, найгіршого, максимального й мінімального елементів.

    реферат [1,3 M], добавлен 04.10.2015

  • Теорія множин як абстрактно-теоретична наука про множини довільної природи, розгляд головних проблем. Загальна характеристика теореми Кантора-Берштейна. Знайомство з властивостями множин потужності континууму. Аналіз діяльності математика К. Геделя.

    курсовая работа [325,6 K], добавлен 27.04.2016

  • Основні засади комбінаторики та теорії множин на основі аксіоматики Цермело-Френкеля і використання правила суми й добутку. Знаходження кусково-постійних конфігурацій множин засобами мови програмування IDE C++ Builder з допомогою вбудованого GUI.

    контрольная работа [539,5 K], добавлен 27.11.2010

  • Множина як визначена сукупність елементів чи об’єктів. Списковий спосіб подання множини. Множина, кількість елементів якої скінченна (скінченна множина). Виведення декартового добутку з кожної заданої комбінації. Алгоритм рішення та реалізація програми.

    задача [112,0 K], добавлен 23.06.2010

  • Визначення та властивості упорядкованих множин, приклади діаграм. Дистрибутивні ґрати як один з основних алгебраїчних об'єктів. Поняття нижньої і точної грані, їх властивості та приклади, доказ лем. Застосування та суть топологічних стоунових просторів.

    курсовая работа [288,0 K], добавлен 24.03.2011

  • Виключення третього як фундаментальний принцип логіки, істинність і хибність як логічні значення пропозиції. Таблиці істинності, поняття тавтології і еквівалентності. Властивості функцій множин і запереченням гіпотези Гольдбаха в термінах квантифікаторів.

    реферат [82,7 K], добавлен 03.03.2011

  • Поняття сукупності предметів, об'єднаних за певною характеристичною ознакою. Основні загальноприйняті множини (геометрична фігура, ГМТ, область визначення та значень функції). Позначення множин, їх елементи, належність об'єктів та способи задання.

    презентация [517,1 K], добавлен 19.01.2011

  • Визначення метричного простору. Границя функції у точці. Властивості границь дійсних функцій. Властивості компактних множин. Розв’язок системи лiнiйних рівнянь. Теорема про існування i єдність розв’язку диференціального рівняння. Нумерація формул.

    методичка [461,1 K], добавлен 25.04.2014

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