DM817: Netværksprogrammering: Teori og anvendelser

Det Naturvidenskabelige Studienævn

Undervisningssprog: Dansk, men engelsk ved internationale studerende
EKA: N340083102
Censur: Ekstern prøve
Bedømmelse: 7-trinsskala
Udbudssteder: Odense
Udbudsterminer: Efterår
Niveau: Kandidatkursus forhåndsgodkendt som Ph.d.-kursus

STADS ID (UVA): N340083101
ECTS-point: 10

Godkendelsesdato: 12-03-2025


Varighed: 1 semester

Version: Godkendt - aktiv

Kommentar

Kurset udbydes efter behov og udbydes ikke nødvendigvis hvert år. Eksamensforsøg for DM817 udbydes efter følgende plan, når kurset udbydes (afhængig af om det udbydes i efteråret eller foråret): Ordinær eksamen (januar/juni, første reeksamen (marts/august ) og 2. reeksamen i (juni/januar).


Indgangskrav

Ingen

Faglige forudsætninger

Studerende, der følger kurset, forventes at:
  • Have kendskab basale algoritmer, som dem der undervises i DM578
  • Have kendskab til basal matematisk argumentation, herunder bevis ved induktion og bevis ved modstrid.
  • Have kendskab til kompleksitet af algoritmer
  • Have kendskab til basale datastrukturer som dem der undervises i DM578

Kurset bygger oven på den viden, der er erhvervet i kurserne DM578 Algoritmer og datastrukturer og DM553 Kompleksitet og Beregnelighed. 

Formål

Kurset har til formål at sætte den studerende i stand til at:
  • Anvende strømningsalgoritmer som et vigtigt værktøj til at løse praktiske optimeringsproblemer. Eksempler på disse er, udover egentlige strømningsproblemer, f.eks. matchingproblemer, orienteringsproblemer og simple skeduleringsproblemer
  • Modellere diverse optimeringsproblemer som strømningsproblemer 
  • Anvende teorien for strømning i netværk til at vise at et givet problem kan løses effektivt.
  • Bruge teorien for strømning i netværk til at udlede strukturelle beskrivelser af optimale løsninger til visse optimeringsproblemer.
  • Redegøre for de i kurset gennemgåede algoritmer, samt anvende disse på problemer som ligner dem fra kurset.
  • Opstille en (generaliseret) strømningsmodel ud fra en problembeskrivelse i ord.
  • Redegøre for algoritmer fra kurset, hvori strømningsalgoritmer indgår som en delkomponent, f.eks udvidelse af kantsammenhængen i digrafer, pardannelse i 2-delte grafer og skeduleringsalgoritmer.

Kurset giver fagligt grundlag for valgfrie kandidatkurser indenfor kombinatorisk optimering og grafteoretiske emner. Desuden giver kurset et fagligt grundlag for at lave et speciale indenfor grafalgoritmer, samt naturligvis alle strømningsrelaterede emner.

Målbeskrivelse

For at opnå kursets formål er det læringsmålet for kurset, at den studerende demonstrerer evnen til at:
  • Kunne anvende teorien for strømning i netværk som et redskab til at løse problemer som i natur ligner dem fra kurset.
  • Kunne anvende strømningsalgoritmer som delkomponenter i mere komplekse algoritmer.
  • Kunne vurdere om man kan modellere et givet problem, som i natur ligner dem fra kurset, som et strømningsproblem.
  • Argumentere for kompleksiteten af algoritmer som baserer sig på strømningsalgoritmer.
  • Kunne redegøre for generalisationer af strømning i netværk og forklare med eksempler, hvorledes disse udvider anvendelsesområdet for teorien.
  • Kunne anvende teori og algoritmer fra kurset til at løse praktiske optimeringsproblemer, som for eksempel strømningsproblemer, transportproblemer, matching problemer, simple skeduleringsproblemer og problemer vedrørende orienteringer af (vej) netværk.

Indhold

Kurset indeholder følgende faglige hovedområder:
  • Korteste veje 
  • Strømning og minimum omkostnings strømning
  • Polynomielle algoritmer til strømningsproblemer
  • Skedulering, herunder projektplanlægning
  • Strømninger med konvekse omkostningsfunktioner
  • Submodulære strømme
  • Grafsammenhæng
  • Pardannelse i grafer
  • Primal dual algoritmer

Litteratur

Se itslearning for pensumlister og yderligere litteraturhenvisninger.

Eksamensbestemmelser

Eksamenselement a)

Tidsmæssig placering

Januar

Udprøvninger

Mundtlig eksamen

EKA

N340083102

Censur

Ekstern prøve

Bedømmelse

7-trinsskala

Identifikation

Studiekort - Navn

Sprog

Følger, som udgangspunkt, undervisningssprog

Varighed

30 minutter forberedelse og 30 minutter eksamination

Hjælpemidler

Oplyses på kurset.

ECTS-point

10

Vejledende antal undervisningstimer

45 timer per semester

Undervisningsform

Skemalagte undervisningstimer:
Antal undervisningstimer i alt: 45
Heraf:
Fællestimer i klasselokale/auditorium: 45

Forelæsning vil for en stor dels vedkommende bestå af videoer, som deltagerne ser og senere diskuterer med underviser ved ugentlige møder. Der vil være fysisk gennemgang af udvalgte emner.

Opgaveregning: Disse opgaver gennemgås dels via videoer, dels ved de ugentlige møder.

Andre planlagte undervisningsaktiviteter:
  • Løsning af ugentlige opgaver med henblik på diskussion af disse ved eksaminatorierne.
  • Selvstudium af visse emner fra lærebogen.
  • Selvstændig opsamling på intro- og træningsfasen. Introfasen består af (video)forelæsninger ved underviser. Her gennemgås teori og metoder, og disse illustreres med eksempler. Introfasen suppleres af træningsfasen, hvor de studerende ugentligt arbejder med nye opgaver, der belyser de emner, som aktuelt studeres. Endeligt består studiefasen af yderligere selvstændig læsning af og refleksion over kursusmaterialerne.

Ansvarlig underviser

Navn E-mail Institut
Jørgen Bang-Jensen jbj@imada.sdu.dk Algoritmer

Skemaoplysninger

Administrationsenhed

Institut for Matematik og Datalogi (matematik)

Team hos Registratur

NAT

Udbudssteder

Odense

Anbefalede studieforløb

Profil Uddannelse Semester Udbuds periode

Overgangsordninger

Overgangsordninger beskriver, hvordan et kursus erstatter et andet kursus, når der ændres i et studieforløb.
Hvis der er lavet en overgangsordning for et kursus vil den fremgå af oversigten.
Se overgangsordninger for alle kurser på Det Naturvidenskabelige Fakultet.