Kursen syftar till att ge en grundlig kännedom om grafteoretiska begrepp och förmåga att använda dem inom matematik, naturvetenskap och datavetenskap. Efter fullgjord kurs skall studenten
känna till viktiga klasser av grafteoretiska problem,
kunna formulera och använda centrala satser om träd, matchningar, konnektivitet, färgningar samt planära och hamiltonska grafer,
kunna beskriva och tillämpa några grundläggande algoritmer för grafer,
ha kännedom om elementär Ramseyteori,
kunna lösa enkla grafteoretiska problem och använda grafteori som verktyg vid modellering.
Kursinnehåll
Träd: Cayleys formel och uppspännande träd
Konnektivitet och Mengers sats
Matchningar och övertäckningar, Tuttes sats om perfekta matchningar, Egervarys algoritm
Hamiltoncykler och färgningar av grafer
Elementär Ramseyteori
Plana grafer: Eulers formel, femfärgssatsen
Några tillämpningar inom naturvetenskap, schemaläggningar och datavetenskap
Förutsättningar
Grundkurser i linjär algebra och diskret matematik.