Universitetet i
Bergen : Doktorgrader : 2006
NY DOKTORGRAD Om det som datamaskiner finner vanskelig"Techniques in Parameterized Algorithm Design" Avhandlingen omhandler metoder for å gi algoritmer(løsningsmetoder) for en gruppe beregningsproblemer kalt de ”NP-harde” problemene. Felles for problemene i denne gruppen er at de er vanskelige for datamaskiner å løse innen rimelig tid, det vil si at man ikke kjenner noen effektiv algoritme for noen av dem. Mange av disse problemene er av stor praktisk interesse og det har blitt fremsatt en lang rekke metoder for å finne brukbare algoritmer også for problemer i denne gruppen. En av de nyeste metodene er parameteriserte algoritmer, hvor man har vist at en del av de NP-harde problemene kan løses effektivt gitt antagelser om problemet vi ønsker å løse, for eksempel at løsningen skal være av begrenset størrelse. Parameteriserte Algoritmer er et relativt nytt felt og det er gjort få helhetlige arbeider som dekker de forskjellige teknikkene som finnes for å lage algoritmer av denne typen. Gjennom Slopers avhandling får vi for første gang en kategorisering av de forskjellige teknikkene i feltet etter teknikkenes virkemåter. Dette har ledet til en bedre forståelse for hvilke problemer det lar seg utvikle parameteriserte algoritmer for og avhandlingen gjør også feltet mer oversiktlig for nye forskere. I tillegg blir teknikkene anvendt på en rekke beregningsproblemer hvor særlig metoden ”kronedekomposisjon” blir trukket frem og videreutviklet. Personalia: Tidspunkt og sted for disputasen: Kontaktpersoner: Avhandlingen kan lånes på Det matematisk-naturvitenskapelige fakultetsbibliotek. Avhandlingen finnes også elektronisk tilgjengelig her: For kjøp/bestilling av avhandlingen kontakt kandidaten direkte. |