KVAZIPRIREJANJA V DVODELNIH GRAFIHKren, Matej (Avtor) Brešar, Boštjan (Mentor) prirejanjedvodelen grafkvaziprirejanjemadžarska metodaHallov poročni izrek.V magistrskem delu obravnavamo posplošitve problema iskanja največjega prirejanja v dvodelnem grafu. Dan je dvodelen graf G=(A+B,E) in funkcija potreb, ki vsakemu vozlišču v množici B priredi t.i. potrebo vozlišča. V problemu kvaziprirejanja v dvodelnem grafu G iščemo takšno podmnožico F množice povezav E, da ima vsako vozlišče iz B vsaj toliko F-incidenčnih povezav kot ima potrebo, vozlišča iz množice A pa imajo kar se da uravnoteženo število pripadajočih F-incidenčnih povezav. Problem lahko variiramo tako, da vozliščem iz množice A omejimo število F-incidenčnih povezav s kapacitetno funkcijo in tedaj govorimo o f,g-kvaziprirejanju. V tem primeru nas zanima ali obstaja množica F, ki zadošča kapacitetni funkciji in funkciji potreb v danem dvodelnem grafu. V prvem poglavju so opisani osnovni pojmi in definicije, ki jih potrebujemo v nadaljevanju. V drugem poglavju posplošimo definicijo prirejanja in nekaterih pripadajočih pojmov, ki nam pomagajo dokazati lastnosti kvaziprirejanj. V tretjem poglavju poiščemo učinkovit algoritem za iskanje g-kvaziprirejanja, ki mu dokažemo pravilnost delovanja ter linearno časovno in prostorsko zahtevnost. Algoritem v nadaljevanju dopolnimo tako, da učinkovito poišče optimalno g-kvaziprirejanje ob dodajanju ali odvzemanju vozlišča. V zadnjem poglavju predstavimo odločitveni problem obstoja f,g-kvaziprirejanja. Kot rezultat navedemo široko posplošitev Hallovega poročnega izreka. [M. Kren]20142014-04-15 09:23:57Magistrsko delo/naloga44100sl