Citat:
Ursprungligen postat av
Sven-Dufva1
Lite grafteori:
1. Visa att i en graf där antalet noder och bågar är n respektive m gäller sambandet
m≤ (1/2)n(n-1) .
Antag att det är en kant från varje hörn till varje hörn (dvs grafen är komplett). Från det första hörnet går n-1 kanter. Från det andra går n-1 kanter, men ett av dessa har vi redan räknat så det blir n-2 distinkta kanter. På samma sätt blir det n-3 distinkta kanter från hörn nummer 3 och så vidare via induktion. Formeln för aritmetisk summa ger m = (1/2)n(n-1). Eftersom denna graf är komplett så kan ingen graf med n hörn ha fler kanter, och vi är klara.
Citat:
Ursprungligen postat av
Sven-Dufva1
2. Visa att det i en grupp med n ≥ 2 personer alltid finns minst två personer med lika många vänner inom gruppen.
Vvv: En graf med n >= 2 hörn har alltid minst två hörn med samma valens.
Basfall: n = 2. Antingen har båda hörnen valens 1 eller 0, check.
Induktionsantagande: Det stämmer för alla mindre grafer.
Induktionssteg: Antag en graf med n hörn, ryck bort ett hörn. Då stämmer det för den mindre grafen. Lägg tillbaka hörnet och identifiera två hörn som hade samma valens i den mindre grafen. Om det nya hörnet har kanter till båda eller inga av dessa två hörn så är vi klara (valensskillnaden ändras inte). Om det nya hörnet har en kant till exakt ett av dessa två hörn så ehm. Lämnas som övning.
Men det här är iaf metoden för att bevisa grafteoretiska påståenden: Gör induktion på hörnen och ryck loss ett hörn snarare än lägg till ett. Är det ett träd så är det ännu enklare, då är det bara att rycka loss ett löv, och slutsatsen blir ofta "men då stämmer det för den större grafen också, eftersom" följt av ett fåtal ord.