Matroid kavşağı - Matroid intersection

İçinde kombinatoryal optimizasyon, matroid kesişimi sorun, ikide en büyük ortak bağımsız küme bulmaktır. matroidler aynı zemin seti üzerinde. Matroidin elemanlarına gerçek ağırlıklar atanırsa, ağırlıklı matroid kesişim problemi, mümkün olan maksimum ağırlığa sahip ortak bağımsız bir küme bulmaktır. Bu problemler, kombinatoryal optimizasyondaki birçok sorunu genelleştirir. maksimum eşleşme ve maksimum ağırlık eşleşmeleri içinde iki parçalı grafikler ve bulmak çardaklar içinde yönlendirilmiş grafikler.

matroid kesişim teoremi, Nedeniyle Jack Edmonds, her zaman basit bir üst sınır sertifikası olduğunu söyler; bu, değeri (ilgili toplamın toplamı) iki matroid arasında ayarlanan zeminin bölünmesinden oluşur rütbeler ) maksimum ortak bağımsız kümenin boyutuna eşittir. Bu teoreme dayanarak, iki matroid için matroid kesişme problemi, polinom zamanında kullanılarak çözülebilir. matroid bölümleme algoritmalar.

Misal

İzin Vermek G = (U,V,E) olmak iki parçalı grafik. Biri tanımlanabilir bölüm matroid MU yer setinde E, burada kenarlardan ikisi aynı uç noktaya sahip değilse bir kenar kümesinin bağımsız olduğu U. Benzer şekilde bir matroid tanımlanabilir MV burada kenarlardan ikisi aynı uç noktaya sahip değilse bir dizi kenarın bağımsız olduğu V. Her ikisinde de bağımsız olan herhangi bir kenar seti MU ve MV iki kenarının bir uç noktayı paylaşmaması özelliğine sahiptir; yani bu bir eşleştirme. Böylece, en büyük ortak bağımsız dizi MU ve MV bir maksimum eşleşme içinde G.

Uzantı

Matroid kesişim sorunu şu hale gelir: NP-zor sadece iki yerine üç matroid söz konusu olduğunda.

Bu sertlik sonucunun bir kanıtı, indirgeme -den Hamilton yolu sorun yönlendirilmiş grafikler. Yönlendirilmiş bir grafik verildiğinde G ile n köşeler ve belirtilen düğümler s ve tHamilton yolu problemi, basit bir uzunluk yolu olup olmadığını belirleme problemidir. n - 1'de başlayan s ve biter t. Genellik kaybı olmaksızın varsayılabilir ki s gelen kenarları yoktur ve t giden kenarları yoktur. O halde, bir Hamilton yolu vardır ancak ve ancak bir dizi n - Grafiğin kenar kümesindeki üç matroidin kesişimindeki 1 öğe: seçilen kenar kümesinin derece ve dış derecesinin en fazla bir olmasını sağlayan iki bölme matroidi ve grafik matroid of yönsüz grafik kenar yönlerini unutarak oluşur G, seçilen kenar setinde döngü olmadığından emin olun (Galce 2010 ).

Matroidlerde başka bir hesaplama problemi, matroid eşlik sorunu tarafından formüle edildi Lawler (1976) matroid kesişiminin ve iki parçalı olmayan grafik eşleştirmesinin ortak bir genellemesi olarak, ancak, polinom zamanında çözülebilmesine rağmen doğrusal matroidler, diğer matroidler için NP-zordur ve üstel zaman gerektirir. matroid oracle model (Jensen ve Korte 1982 ).

Referanslar

  • Brezovec, Carl; Cornuéjols, Gérard; Glover, Fred (1986), "Ağırlıklı matroid kesişimi için iki algoritma", Matematiksel Programlama, 36 (1): 39–53, doi:10.1007 / BF02591988.
  • Aigner, Martin; Dowling, Thomas (1971), "Kombinatoryal geometriler için eşleştirme teorisi", Amerikan Matematik Derneği İşlemleri, 158 (1): 231–245, doi:10.1090 / S0002-9947-1971-0286689-5.
  • Edmonds, Jack (1970), "Alt modüler fonksiyonlar, matroidler ve belirli çokyüzlüler", R. Guy; H. Hanam; N. Sauer; J. Schonheim (editörler), Kombinatoryal yapılar ve uygulamaları (Proc. 1969 Calgary Conference), Gordon ve Breach, New York, s. 69–87. M. Jünger ve ark. (Ed.): Combinatorial Optimization (Edmonds Festschrift), LNCS 2570, s. 1126, Springer-Verlag, 2003.
  • Frank, András (1981), "Ağırlıklı bir matroid kesişim algoritması", Algoritmalar Dergisi, 2 (4): 328–336, doi:10.1016/0196-6774(81)90032-8.
  • Frederickson, Greg N .; Srinivas, Mandayam A. (1989), "Genişletilmiş bir matroid kesişim problemleri ailesi için algoritmalar ve veri yapıları", Bilgi İşlem Üzerine SIAM Dergisi, 18 (1): 112–138, doi:10.1137/0218008.
  • Gabow, Harold N .; Tarjan, Robert E. (1984), "Bir matroid kesişim problemleri ailesi için verimli algoritmalar", Algoritmalar Dergisi, 5 (1): 80–131, doi:10.1016/0196-6774(84)90042-7.
  • Jensen, Per M .; Korte, Bernhard (1982), "Matroid özellik algoritmalarının karmaşıklığı", Bilgi İşlem Üzerine SIAM Dergisi, 11 (1): 184–190, doi:10.1137/0211014, BAY  0646772.
  • Lawler, Eugene L. (1975), "Matroid kesişim algoritmaları", Matematiksel Programlama, 9 (1): 31–56, doi:10.1007 / BF01681329.
  • Lawler, Eugene L. (1976), "Bölüm 9: Matroid Eşlik Sorunu", Kombinatoryal Optimizasyon: Ağlar ve Matroidler, New York: Holt, Rinehart ve Winston, s. 356–367, BAY  0439106.
  • Galce, D.J.A. (2010) [1976], Matroid Teorisi, Courier Dover Yayınları, s. 131, ISBN  9780486474397.