Задача листоноші

Задача (китайського) листоноші (англ. Chinese postman problem або англ. Route inspection problem) — задача пошуку найкоротшого циклу в графі, що включає всі ребра. Існують варіанти задачі для орієнтованих та неорієнтованих графів та для графів, частина ребер яких орієнтована, а частина — ні.

Задача отримала назву завдяки Алану Голдману (англ. Alan Goldman) з NIST, оскільки першим дослідником цієї задачі був китайський математик Мей-Ку Кван (англ. Mei-Ku Kuan, 1962).[1]

Методи розв'язання задачі

Для орієнтованого графу: Необхідно розглянути окремо два випадки:

Випадок А. Граф симетричний.

Випадок Б. Граф несиметричний.

Випадок А. Якщо граф симетричний, то листоноша може пройти свій маршрут без повторного обходу якої-небудь із дуг, тобто оптимальне рішення задачі листоноші є Ейлерів маршрут.

Випадок Б. Нехай ,позначає число повторних обходів дуги . Листоноші необхідно обрати такі невід’ємні значення змінних , які мінімізують загальну довжину повторно обхідних дуг

(1)

При умові, що в кожну вершину він входить стільки разів, скільки виходить із неї, тобто

(2)

Перетворивши рівняння (2), отримуємо

(3)

Таким чином, листоноша бажає мінімізувати вираз (1) при умові, що для всіх вершин графу G задовольняється рівність (3). Ця задача представляє одну із модифікацій задачі про потік мінімальної вартості. Вершини, для яких , є стоками з граничним значенням сумарного вхідного потоку, рівним – . Вершини, де , являють собою джерело з граничним значенням сумарного вихідного потоку, рівне . Вершини, для яких , є проміжковими вершинами. Значення пропускних здібностей всіх дуг безлімітні. Сформульована задача про потік мінімальної вартості може бути вирішена шляхом введення в граф додаткового джерела і стоку. Додаткове джерело пов'язаний дугами зі усіма іншими джерелами, і всі стоки пов'язані дугами з додатковим стоком. Значення пропускної здатності кожної дуги, що виходить з додаткового джерела, рівно граничному значенню сумарного потоку джерела, яке інцидентне цій дузі. Так як праві частини всіх рівностей, (3) - цілі числа, то можна стверджувати, що за допомогою описаного алгоритму визначення потоку мінімальної вартості будуть отримані невід'ємні цілі значення . Визначивши цілочисельні оптимальні значення змінних побудуємо граф , В якому дуга , що з'єднує вершини і для всіх , повторюється раз. З рівністю (3) такий граф є симетричним. Тепер для графу за допомогою методу, описаного для випадку А, може бути знайдений Ейлером маршрут. Останній на графі відповідає маршруту листоноші па графі , в якому дуга обходиться разів. Так як оптимального значення мінімізують вираз (1), одержуваний на графі Ейлерів маршрут повинен відповідати оптимальному маршрутом листоноші на графі .

Для змішаного графу: Необхідно розглянути окремо два випадки: Випадок А. Граф симетричний.

Випадок Б. Граф несиметричний.

Випадок А.Нехай – будь-який парний змішаний граф. Оптимальний маршрут листоноші (якщо він існує) може бути знайдено наступним чином. Позначимо через множину всіх неорієнтованих дуг, а через – множину всіх орієнтованих дуг в графі . Для кожної дуги в U виберемо вихідний напрямок. Назвемо отриманий орієнтований граф графом . Для кожної вершини і графу обрахуємо

(4)

Якщо , то вершина і є стоком з граничною величиною сумарного вхідного потоку, рівному . Якщо , то вершина і є джерелом з граничною величиною сумарного виходить потоку - Якщо , то вершина є проміжною. Якщо в графі всі вершини є проміжними, то граф-парний симетричний орієнтований граф. Для отримання оптимального маршруту листоноші на такому графі треба знайти Ейлерів маршрут, який відповідає оптимальному маршруту листоноші на графі . В іншому випадку необхідно побудувати граф , в якому: (а) Кожна дуга заміщується дугою з необмеженою величиною пропускної здатності і вартістю, рівної довжині дуги (i, j). (б) Кожній дузі і відповідає пара дуг і в . Кожна з цих дуг має необмежену величину пропускної здатності і вартість, рівну довжині дуги . (в) Кожній дузі відповідає також орієнтована дуга , напрямок якої протилежно напрямку дуги, прийнятому в . Ця дуга називається фіктивною дугою. Припишемо фіктивної дузі вартість, рівну нулю, і величину пропускної здатності, рівну 2. З урахуванням визначених вище для графу граничних значень потоків, що виходять із джерел і входять до стоки, скористаємося алгоритмом побудови потоку мінімальної вартості для пошуку на графі потоку мінімальної вартості, що задовольняє потреби всіх стоків. Якщо такого потоку не існує, то не існує і маршруту листоноші. В іншому випадку нехай через позначається величина потоку, який протікає по дузі графу , отриманого в результаті рішення задачі про потік мінімальної вартості. Нагадаємо, що потік, отриманий за допомогою описаного вище алгоритму побудови потоку мінімальної вартості, є невід'ємним і цілочисловим. У ході докази того, що алгоритм забезпечує отримання рішення задачі листоноші, буде показано, що але кожної фіктивної дузі протікає потік, рівний 0 або 2. Побудуємо далі граф G*, В якому:

(a) Кожна не-фіктивного дуга графу замінюється дугами графу .

(б) Кожна не-фіктивна дуга графу замінюється дугами графу .

(в) Якщо потік у фіктивній дузі дорівнює двом одиницям, то в граф включається одна така дуга.

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

Граф є парним симетричним орієнтованим графом. Для отримання оптимального маршруту листоноші на такому графі треба знайти Ейлерів цикл.

Випадок Б. Алгоритму розв'язання даної задачі не існує

Див. також

Посилання

  1. "Chinese Postman Problem". Архів оригіналу за 17 жовтня 2008. Процитовано 13 січня 2010.

Література

  • Майника Э. (1981). Алгоритмы оптимизации на сетях и графах. М.: Мир. с. 323.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.