Darboğaz gezici satıcı sorunu - Bottleneck traveling salesman problem

Darboğaz gezici satıcı sorunu (darboğaz TSP) bir problemdir ayrık veya kombinatoryal optimizasyon. Sorun, Hamilton döngüsü içinde ağırlıklı grafik en yüksek ağırlığın ağırlığını en aza indiren kenar döngünün.[1] İlk formüle edildi Gilmore ve Gomory (1964) bazı ek kısıtlamalarla ve tam genelliği ile Garfinkel ve Gilbert (1978).[1][2][3]

Karmaşıklık

Sorunun olduğu biliniyor NP-zor. karar problemi bunun versiyonu "belirli bir uzunluk için x bir grafikte Hamilton döngüsü var mı G daha uzun kenarı olmayan x?", dır-dir NP tamamlandı. NP-tamlık, bir indirgeme bir Hamilton döngüsü bulma probleminden.[4]

Algoritmalar

Darboğaz TSP'den olağan TSP'ye (burada amaç kenar uzunluklarının toplamını en aza indirgemek) bir başka azalma, her zamanki TSP için herhangi bir algoritmanın darboğaz TSP'yi çözmek için de kullanılmasına izin verir. Aynı göreceli sıraya sahip diğer sayılarla değiştirilirse, darboğaz çözümü değişmeden kalır.Ek olarak, dizideki her sayı tüm küçük sayıların toplamını aşarsa, darboğaz çözümü de normal TSP çözümüne eşit olacaktır. Örneğin, böyle bir sonuç, her bir ağırlığın sıfırlanmasıyla elde edilebilir. nben nerede n grafikteki köşe sayısıdır ve ben , sıralı ağırlık dizisindeki kenarın orijinal ağırlığının derecesidir. Örneğin, bu dönüşümü takiben, Held – Karp algoritması TSP darboğazını zamanında çözmek için kullanılabilir Ö(n22n).[1]

Alternatif olarak, sorun bir işlem gerçekleştirilerek çözülebilir. Ikili arama veya sıralı arama en küçüğü için x öyle ki ağırlık kenarlarının alt grafiği en fazla x Hamilton döngüsüne sahiptir. Bu yöntem, çalışma süresinin yalnızca bir Hamilton döngüsü bulma süresinden daha büyük bir logaritmik faktör olan çözümlere götürür.[1]

Varyasyonlar

Bir asimetrik darboğaz TSP, düğümden gelen ağırlığın Bir -e B B'den A'ya olan ağırlıktan farklıdır (örneğin, bir yönde trafik sıkışıklığı olan iki şehir arasındaki seyahat süresi).

Öklid darboğazı TSPveya düzlemsel darboğaz TSP, mesafenin olağan olduğu darboğaz TSP'dir. Öklid mesafesi. Sorun hala NP-zor olmaya devam ediyor. Ancak, birçok buluşsal yöntem, diğer mesafe işlevlerinden daha iyi sonuç verir.

maksimum dağılım gezici satıcı problemi seyahat eden satıcı probleminin bir başka çeşididir, burada amaç maksimum uzunluğu en aza indirmek yerine minimum kenar uzunluğunu maksimize eden bir Hamilton döngüsü bulmaktır. Uygulamaları, tıbbi görüntülerin analizini ve hem zaman hem de uzayda yakındaki adımlardan ısı birikimini önlemek için uçak imalatındaki metal işleme adımlarının planlanmasını içerir. Tüm kenar uzunluklarını olumsuzlayarak (veya sonuçları pozitif tutmak için hepsini yeterince büyük bir sabitten çıkararak) darboğaz TSP probleminin bir örneğine dönüştürülebilir. Bununla birlikte, bu dönüşüm optimal çözümü korumasına rağmen, bu çözüme yönelik yaklaşımların kalitesini korumaz.[1]

Metrik yaklaşım algoritması

Grafik bir metrik uzay o zaman verimli bir yaklaşım algoritması maksimum kenar ağırlığının optimumun iki katından fazla olmadığı bir Hamilton döngüsü bulur. Fleischner teoremi, bu Meydan bir 2 köşe bağlantılı grafik her zaman bir Hamilton döngüsü içerir. Bir eşik değeri bulmak kolaydır θen küçük değer öyle ki ağırlık kenarları θ 2 bağlantılı bir grafik oluşturur. Sonra θ Darboğaz TSP ağırlığı üzerinde geçerli bir alt sınır sağlar, çünkü darboğaz TSP'nin kendisi 2 bağlantılı bir grafiktir ve zorunlu olarak en azından bir ağırlık kenarı içerir θ. Bununla birlikte, ağırlık kenarlarının alt grafiğinin karesi en fazla θ Hamiltoniyen. Tarafından üçgen eşitsizliği metrik uzaylar için, Hamilton döngüsü en fazla ağırlık kenarlarına sahiptir 2θ.[5][6]

Bu yaklaşım oranı mümkün olan en iyisidir. Çünkü, ağırlıksız herhangi bir grafik, kenar ağırlıkları şu şekilde ayarlanarak bir metrik alana dönüştürülebilir. 1 ve bitişik olmayan tüm köşe çiftleri arasındaki mesafeyi şu şekilde ayarlamak: 2. Orana göre daha iyi bir yaklaşım 2 Bu metrik uzayda, orijinal grafiğin bir NP-tam problemi olan bir Hamilton döngüsü içerip içermediğini belirlemek için kullanılabilir.[6]

Girdinin bir metrik uzay olduğu varsayımı olmadan, sonlu bir yaklaşım oranı mümkün değildir.[1]

Ayrıca bakınız

Referanslar

  1. ^ a b c d e f Kabadi, Santosh N .; Punnen, Abraham P. (2007), "Darboğaz TSP", Gutin, Gregory'de; Punnen, Abraham P. (editörler), Gezici Satıcı Problemi ve Çeşitleri, Kombinatoryal Optimizasyon, Springer, s. 697–735, doi:10.1007/0-306-48213-4_15.
  2. ^ Gilmore, P. C .; Gomory, R. E. (1964), "Tek durum değişkenli bir makineyi sıralamak: Gezici satıcı sorununun çözülebilir bir durumu", Oper. Res., 12 (5): 655–679, doi:10.1287 / opre.12.5.655, JSTOR  167772.
  3. ^ Garfinkel, R. S .; Gilbert, K. C. (1978), "Darboğaz gezici satıcı sorunu: Algoritmalar ve olasılık analizi", ACM Dergisi, 25 (3): 435–448, doi:10.1145/322077.322086, S2CID  12062434.
  4. ^ Garey, Michael R.; Johnson, David S. (1979), Bilgisayarlar ve İnatçılık: NP-Tamlık Teorisine Bir Kılavuz, W.H. Özgür adam, A2.3: ND24, s. 212, ISBN  0-7167-1045-5.
  5. ^ Parker, R. Garey; Rardin, Ronald L. (1984), "Darboğaz gezici satıcı sorunu için garantili performans buluşsal yöntemi", Yöneylem Araştırma Mektupları, 2 (6): 269–272, doi:10.1016/0167-6377(84)90077-4.
  6. ^ a b Hochbaum, Dorit S.; Shmoys, David B. (Mayıs 1986), "Darboğaz problemleri için yaklaşım algoritmalarına birleşik bir yaklaşım", ACM Dergisi, New York, NY, ABD: ACM, 33 (3): 533–550, doi:10.1145/5925.5933, S2CID  17975253.