matroid
Kiejtés
- IPA: [ ˈmɒtrojid]
Főnév
matroid
A matroid egy absztrakt algebrai struktúra, amely a lineáris algebra, a gráfelmélet és a kombinatorika közötti kapcsolatokat modellezi. A matroid fogalma segítségével a függetlenség fogalma általánosítható különböző matematikai rendszerekre.
Definíció
Egy matroid egy rendezett pár , ahol:
- egy véges alaphalmaz (gyakran "élek" vagy "elemek" halmaza),
- az részhalmazainak egy családja, amelyet független halmazoknak nevezünk, és amely kielégíti az alábbi axiómákat:
Függetlenségi axiómák
- Az üres halmaz független: .
- Ha és , akkor . (Monotonitás.)
- Ha és , akkor létezik olyan , amelyre . (Cseretulajdonság.)
Példák
- Gráfokból származó matroid: Egy gráf esetén az az élek halmaza, és egy részhalmaz független, ha nem tartalmaz kört.
- Lineáris matroid: Az egy vektortér vektorainak halmaza, és egy részhalmaz független, ha lineárisan független.
Rangfüggvény
A matroidhoz tartozó rangfüggvény egy leképezés, amely egy részhalmaz maximális független részhalmazának méretét adja meg. A rangfüggvény kielégíti:
- minden esetén,
- Ha , akkor ,
- minden esetén. (Szubmodularitás.)
Alkalmazások
A matroidok alkalmazása széleskörű:
- Optimalizálás: Greedy algoritmusok alkalmazása matroidokkal garantáltan optimális megoldást adhat.
- Hálózatelemzés: Hálózatok függetlenségének vizsgálata gráfmatroidokon keresztül.
- Kombinatorikus struktúrák vizsgálata: Például készletgazdálkodás vagy tervezési problémák.