Graafid
Graafid
Graaf koosneb tippudest(sõlmedest) ja neid ühendavatest kaartest. Kaarega võib
ühendada suvalisi graafi tippe, sealhulgas on võimalik kaar samale tipule (iseendale).
Iga kaar on määratud kahe tipuga. Orienteeritud graaf: kaared on järjestatud
tipupaarid.
Def: Graaf on paar (V,E), kus V on mittetühi hulk ning E hulk, mille
elementideks on hulga V kaheelemendilised alamhulgad.
Näide lk 47 (Palm)
Tipu aste tipust väljuvate servade arv.
Teoreem: Igas graafis on kõigi tippude astmete summa võrdne servade arvu
kahekordsega.
Järeldus: Igas graafis on paaritu astemga tippe paarisarv.
Ahel graafis tippude järjend, kus iga kaks järjestikust tippu on servaga
ühendatud (esimene ja viimane on otstipud vahepeal sisetipud).