Kiejtés

  • IPA: [ ˈmɒtrojid]

Főnév

matroid

  1. (matematika, kombinatorika)

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

  1. Az üres halmaz független:  .
  2. Ha   és  , akkor  . (Monotonitás.)
  3. 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.


Fordítások

Etimológia

matrix +‎ oid