Gammoid - Gammoid

İçinde matroid teorisi, matematik içinde bir alan, bir gammoid belirli bir matroid türü olup, köşeler vertex-disjoint ile ulaşılabilir yollar içinde Yönlendirilmiş grafik.

Bir gammoid kavramı tanıtıldı ve bir matroid olduğu gösterildi. Hazel Perfect (1968 ) ile ilgili hususlara göre Menger'in teoremi ayrık yol sistemlerinin varlığının önündeki engelleri karakterize etmek.^[1] Gammoidlere isimleri tarafından verildi Pym (1969)^[2] ve tarafından daha ayrıntılı olarak çalışıldı Mason (1972).^[3]

Tanım

İzin Vermek ${ displaystyle G}$ yönlendirilmiş bir grafik olmak, ${ displaystyle S}$ bir dizi başlangıç köşesi olmak ve ${ displaystyle T}$ bir dizi hedef köşesi olabilir (mutlaka ${ displaystyle S}$ ). Gammoid ${ displaystyle Gama}$ bu verilerden elde edilen ${ displaystyle T}$ öğeleri kümesi olarak. Bir alt küme ${ displaystyle I}$ nın-nin ${ displaystyle T}$ bağımsızdır ${ displaystyle Gama}$ başlangıç noktalarının tümü ait olan bir dizi köşe-ayrık yol varsa ${ displaystyle S}$ ve tam olarak kimin bitiş noktaları ${ displaystyle I}$ .^[4]

Bir katı gammoid setin olduğu bir gammoid ${ displaystyle T}$ Hedef köşelerin% 'si içindeki her köşeden oluşur ${ displaystyle G}$ . Bu nedenle, bir gammoid, katı bir gammoidin, öğelerinin bir alt kümesiyle sınırlandırılmasıdır.^[4]^[5]

Misal

Yi hesaba kat tek tip matroid ${ displaystyle U {} _ {n} ^ {r}}$ bir dizi ${ displaystyle n}$ her setin içinde ${ displaystyle r}$ veya daha az öğe bağımsızdır. Bu matroidi bir gammoid olarak temsil etmenin bir yolu, tam iki parçalı grafik ${ displaystyle K_ {r, n}}$ bir setle ${ displaystyle S}$ nın-nin ${ displaystyle r}$ bir set ile iki bölümün bir tarafındaki köşeler ${ displaystyle T}$ nın-nin ${ displaystyle n}$ iki bölümün diğer tarafındaki köşeler ve her kenarı ${ displaystyle S}$ -e ${ displaystyle T}$ . Bu grafikte, bir alt kümesi ${ displaystyle T}$ bir dizi ayrık yolun uç noktaları kümesidir. ${ displaystyle r}$ veya daha az köşe, aksi takdirde içinde yeterli köşe yok ${ displaystyle S}$ yolları başlatmak için. Bu grafiğin özel yapısı, tek tip matroidin bir enine matroid bir gammoid olmanın yanı sıra.^[6]

Alternatif olarak, aynı tek tip matroid ${ displaystyle U {} _ {n} ^ {r}}$ daha küçük bir grafikte gammoid olarak temsil edilebilir, yalnızca ${ displaystyle n}$ köşeler, bir alt küme seçerek ${ displaystyle S}$ nın-nin ${ displaystyle r}$ köşeler ve seçilen köşelerin her birini grafikteki diğer tüm köşelere bağlar. Yine, grafiğin köşelerinin bir alt kümesi ayrık yolların uç noktaları olabilir ancak ve ancak ${ displaystyle r}$ veya daha az köşe noktası, çünkü aksi takdirde yolların başlangıcı olabilecek yeterli köşe yoktur. Bu grafikte, her tepe noktası matroidin bir unsuruna karşılık gelir ve tek tip matroidin katı bir gammoid olduğunu gösterir.^[7]

Menger'in teoremi ve gammoid sıralaması

Bir kümenin sıralaması ${ displaystyle X alt küme T}$ bir grafikten tanımlanan bir gammoid içinde ${ displaystyle G}$ ve köşe alt kümeleri ${ displaystyle S}$ ve ${ displaystyle T}$ tanımı gereği, en fazla köşe ayrık yol sayısıdır. ${ displaystyle S}$ -e ${ displaystyle X}$ . Tarafından Menger'in teoremi aynı zamanda bir kümenin minimum önemine eşittir ${ displaystyle Y}$ her yolu kesişen ${ displaystyle S}$ -e ${ displaystyle X}$ .^[4]

Enine matroidlerle ilişki

Bir enine matroid bir set ailesi: elemanları setlerin unsurları ve bir set ${ displaystyle X}$ Bu öğelerin öğelerinin bire bir eşleştiği durumlarda bağımsızdır. ${ displaystyle X}$ onları içeren kümeleri ayırmak için farklı temsilciler sistemi. Eşdeğer bir şekilde, enine bir matroid, yönlendirilmiş olarak tanımlanan özel bir gammoid türü ile temsil edilebilir. iki parçalı grafik ${ displaystyle (S, T, E)}$ tepe noktası olan ${ displaystyle S}$ her set için bir tepe noktası ${ displaystyle T}$ her öğe için ve her kümeden içerdiği her öğeye bir kenar.

Daha az önemsiz bir şekilde, katı gammoidler tam olarak çift matroidler enine matroidlerin. Her katı gammoidin enine bir matroid ile ikili olduğunu görmek için izin verin ${ displaystyle gamma}$ Yönlendirilmiş bir grafikten tanımlanan katı bir gammoid olmak ${ displaystyle G}$ ve köşe kümesi başlatılıyor ${ displaystyle S}$ ve set ailesi için enine matroidi düşünün ${ displaystyle N_ {v}}$ her köşe için ${ displaystyle v in V (G) setminus S}$ nerede köşe ${ displaystyle u}$ ait olmak ${ displaystyle N_ {v}}$ eğer eşitse ${ displaystyle v}$ ya da bir kenarı var ${ displaystyle v}$ . Katı gammoidin herhangi bir temeli, bazı setlerin uç noktalarından oluşur. ${ displaystyle | S |}$ ayrık yollar ${ displaystyle S}$ , her biri ile eşleşen enine matroid temelinin tamamlayıcısıdır. ${ displaystyle N_ {v}}$ tepe noktasına ${ displaystyle u}$ öyle ki ${ displaystyle uv}$ bir yol kenarıdır (veya ${ displaystyle v}$ kendisi, eğer ${ displaystyle v}$ yollardan birine katılmaz). Tersine, bir temsilciden oluşan enine matroidin her temeli ${ displaystyle u_ {v}}$ her biri için ${ displaystyle N_ {v}}$ , bir dizi kenar tarafından oluşturulan yolların uç noktalarından oluşan katı gammoidin tamamlayıcı bir temeline yol açar ${ displaystyle u_ {v} v}$ .^[4]^[8]

Tersine, her enine matroidin katı bir gammoid ile ikili olduğunu görmek için, alt ailede farklı temsilcilerden oluşan bir sisteme sahip olacak ve aynı matroidi tanımlayacak şekilde matroidi tanımlayan kümelerin bir alt ailesini bulun. Kümelerin birleşimini köşeleri olarak içeren ve aynı kümenin diğer üyelerinden her kümenin temsili elemanına bir kenarı olan bir grafik oluşturun. Sonra setler ${ displaystyle N_ {v}}$ her bir temsili eleman için yukarıdaki gibi oluşturulmuştur ${ displaystyle v}$ tam olarak orijinal enine matroidi tanımlayan kümelerdir, bu nedenle bu grafik ve temsili elemanlar kümesi tarafından oluşturulan katı gammoid, verilen enine matroidin çiftidir.^[4]^[8]

Her gammoid bir kasılma enine bir matroidin. Gammoidler, enine matroidleri içeren ve dualite altında kapalı olan en küçük matroid sınıfıdır. küçükler.^[4]^[9]^[10]

Temsil edilebilirlik

Her gammoidin olduğu doğru değil düzenli yani temsil edilebilir her alanda. Özellikle, tek tip matroid ${ displaystyle U {} _ {4} ^ {2}}$ ikili bir matroid değildir ve daha genel olarak ${ displaystyle n}$ nokta çizgisi ${ displaystyle U {} _ {n} ^ {2}}$ sadece şu alanlar üzerinden temsil edilebilir: ${ displaystyle n-1}$ veya daha fazla öğe. Bununla birlikte, her gammoid hemen hemen her sonlu alan.^[3]^[4] Daha spesifik olarak, element setli bir gammoid ${ displaystyle S}$ her yerde temsil edilebilir alan en azından ${ displaystyle 2 ^ {| S |}}$ elementler.^[4]^[11]^[12]

Referanslar

^ Perfect, Hazel (1968), "Menger'in grafik teoreminin uygulamaları", Matematiksel Analiz ve Uygulamalar Dergisi, 22: 96–111, doi:10.1016 / 0022-247X (68) 90163-7, BAY 0224494.
^ Pym, J. S. (1969), "Kümelerin Grafiklerdeki Bağlantısı", Journal of the London Mathematical Society, s1-44 (1): 542–550, doi:10.1112 / jlms / s1-44.1.542.
^ ^a ^b Mason, J. H. (1972), "Grafiklerdeki yollardan ortaya çıkan bir matroid sınıfı üzerine", Londra Matematik Derneği BildirileriÜçüncü Seri, 25 (1): 55–74, doi:10.1112 / plms / s3-25.1.55, BAY 0311496.
^ ^a ^b ^c ^d ^e ^f ^g ^h Schrijver, İskender (2003), Kombinatoryal Optimizasyon: Polyhedra ve Verimlilik. Cilt B: Matroidler, Ağaçlar, Ahır Kümeleri Algoritmalar ve Kombinatorikler, 24, Berlin: Springer-Verlag, s. 659–661, ISBN 3-540-44389-4, BAY 1956925.
^ Oxley 2006, s. 100
^ Oxley, James G. (2006), Matroid Teorisi, Matematikte Oxford Lisansüstü Metinleri, 3Oxford University Press, s. 48–49, ISBN 9780199202508.
^ Oxley (2006), s. 100.
^ ^a ^b Ingleton, A. W .; Piff, M. J. (1973), "Gammoidler ve enine matroidler", Kombinatoryal Teori Dergisi, B Serisi, 15: 51–68, doi:10.1016/0095-8956(73)90031-2, BAY 0329936.
^ Oxley 2006, s. 115
^ Galce, D.J.A. (2010), Matroid Teorisi, Courier Dover Yayınları, s. 222–223, ISBN 9780486474397.
^ Atkin, A. O. L. (1972), "Piff ve Galce'nin bir makalesi üzerine açıklama", Kombinatoryal Teori Dergisi, B Serisi, 13: 179–182, doi:10.1016/0095-8956(72)90053-6, BAY 0316281.
^ Lindström, Bernt (1973), "İndüklenmiş matroidlerin vektör temsilleri üzerine", Londra Matematik Derneği Bülteni, 5: 85–90, doi:10.1112 / blms / 5.1.85, BAY 0335313.

[1] Perfect, Hazel (1968), "Menger'in grafik teoreminin uygulamaları", Matematiksel Analiz ve Uygulamalar Dergisi, 22: 96–111, doi:10.1016 / 0022-247X (68) 90163-7, BAY 0224494.

[pym69-2] Pym, J. S. (1969), "Kümelerin Grafiklerdeki Bağlantısı", Journal of the London Mathematical Society, s1-44 (1): 542–550, doi:10.1112 / jlms / s1-44.1.542.

[mason72-3] Mason, J. H. (1972), "Grafiklerdeki yollardan ortaya çıkan bir matroid sınıfı üzerine", Londra Matematik Derneği BildirileriÜçüncü Seri, 25 (1): 55–74, doi:10.1112 / plms / s3-25.1.55, BAY 0311496.

[schrijver-4] ^ ^a ^b ^c ^d ^e ^f ^g ^h Schrijver, İskender (2003), Kombinatoryal Optimizasyon: Polyhedra ve Verimlilik. Cilt B: Matroidler, Ağaçlar, Ahır Kümeleri Algoritmalar ve Kombinatorikler, 24, Berlin: Springer-Verlag, s. 659–661, ISBN 3-540-44389-4, BAY 1956925.

[Ox100-5] Oxley 2006, s. 100

[6] Oxley, James G. (2006), Matroid Teorisi, Matematikte Oxford Lisansüstü Metinleri, 3Oxford University Press, s. 48–49, ISBN 9780199202508.

[7] Oxley (2006), s. 100.

[pi-8] Ingleton, A. W .; Piff, M. J. (1973), "Gammoidler ve enine matroidler", Kombinatoryal Teori Dergisi, B Serisi, 15: 51–68, doi:10.1016/0095-8956(73)90031-2, BAY 0329936.

[Ox115-9] Oxley 2006, s. 115

[10] Galce, D.J.A. (2010), Matroid Teorisi, Courier Dover Yayınları, s. 222–223, ISBN 9780486474397.

[11] Atkin, A. O. L. (1972), "Piff ve Galce'nin bir makalesi üzerine açıklama", Kombinatoryal Teori Dergisi, B Serisi, 13: 179–182, doi:10.1016/0095-8956(72)90053-6, BAY 0316281.

[12] Lindström, Bernt (1973), "İndüklenmiş matroidlerin vektör temsilleri üzerine", Londra Matematik Derneği Bülteni, 5: 85–90, doi:10.1112 / blms / 5.1.85, BAY 0335313.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]