Задача комівояжера. Порівняння SWI-Prolog та Python. скачать в хорошем качестве

Задача комівояжера. Порівняння SWI-Prolog та Python.

Задача комівояжера. Порівняння SWI-Prolog та Python. (3) Визначення: Задача комівояжера (Traveling Salesman Problem, TSP) — класична оптимізаційна задача: знайти найкоротший маршрут, що проходить через всі задані міста рівно один раз і повертається до початкового міста. Математичні моделі TSP: зважений повний неорієнтований граф матриця відстаней перестановка вершин оптимізаційна задача з обмеженнями Формальна постановка задачі Дано: граф G = (V, E), де: V — множина вершин (міст) E — множина ребер (доріг між містами) w(i,j) — вага (відстань) між містами i та j Мета: знайти гамільтонів цикл мінімальної довжини Minimize: Σ w(i,j) для всіх ребер в циклі TSP належить до класу NP-повних задач Є багато різновидів постановки задачі. Деякі з них: геометрична задача комівояжера; трикутна задача комівояжера; симетрична та асиметрична задачі комівояжера. Дано зв'язний неорієнтований граф із зазначеною вартістю переходів з однієї вершину в іншу. Наша задача – знайти такий шлях, який проходить кожну вершину рівно один раз, але початкова вершина співпадає з кінцевою і вартість такого шляху найменша із можливих. Належить до класу NP-повних задач. Складність – О(n!) Варіанти розв'язку: генетичний алгоритм; метод гілок та меж; метод найближчого сусіда; метод включення найближчого міста; метод найдешевшого включення; метод мінімального кістяка дерева. Висновок: Задача комівояжера є ідеальним прикладом демонстрації переваг підходів логічного та функційного програмування над імперативним. Джерела: 1. Wiki Traveling Salesman Problem https://en.wikipedia.org/wiki/Travell... 2. Порівняння задачі комівояжера на С++, Haskell та Prolog.    • Порівняння задачі комівояжера на С++, Hask...   3. Порівняння розв'язку задачи "Комівояжера" на Java, Haskell, Prolog    • Порівняння розв'язку задачи "Комівояжера" ...   Репозиторій https://github.com/nikkkitosss/tsp-co... НаУКМА, ф-т Інформатики. © Загоруй Нікіта - студент © Ющенко Юрій Олексійович - доцент, к.ф.-м.н.