Kombinatorik
Exempel: Mängden funktioner
Hur många surjektiva funktioner finns det?
Antalet funktioner till :
Antalet surjektiva funktioner till :
Generalisering
Hur många funktioner från till finns det om
Antalet funktioner :
Antalet surjektiva funktioner :
ä
Test
✔
✔
Misslyckad experimentering
❌
❌
Grafteori
Vad är en graf?
En graf består av en mängd noder och en mängd kanter mellan noder.
Formellt: En graf är
- mängden noder (vertices)
- mängden kanter (edges)
är en kant mellan noderna och
I denna kurs gäller:
- Det finns bara en möjlig kant mellan 2 noder
- En nod kan inte ha en kant med sig själv ()
Sammanhängande graf
En graf kallas sammanhängande om det finns en väg mellan alla par av noder
Vägar
En väg mellan två noder är en följd av noder där:
En cykel är en väg där ingen kant upprepas som börjar och slutar i samma nod, d.v.s. .
En enkel väg är en väg utan upprepande noder.
Isomorfa grafer
Graferna är "samma graf" om vi kan byta "namn" på noderna för att få samma mängd av kanter.
och är isomorfa om det finns en bijektion så att
inducerar en bijektion mellan och .
Metod för att se om två grafer är isomorfa
Vi har graferna som vi vill undersöka om de är isomorfa:
- Börja med en nod i med ett unikt antal kanter.
- Om det finns exakt en nod med lika många kanter i så måsta dessa vara samma nod. D.v.s.
Delgrafer
Låt vara två grafer.
- är en delgraf till om och
- är en inducerad delgraf till om är en delgraf och om gäller . D.v.s. att vi inte tar bort fler kanter än nödvändigt.