Teoreetilibe informaatika kordamisküsimused
tipust ai leidub kaar tippu ai+1.
Tsükkel on tee, mille korral a1 = an.
Graaf on tugevalt sidus, kui iga kahe tipu vahel eksisteerib tee.
Tipu astak sisendite ja väljundite suhtes on vastavalt tipust sisenevate või tippu
väljuvate kaarte arv .
Puud + tsüklivabad orienteeritud graafid:
graafi baas tippude hulk, mille astak sisendi suhtes 0.
graafi lehed e lõpptipud mille astak väljundi suhtes 0.
Puu tsüklivaba graaf, mille baas sisaldab ühe tipu (juur), teiste tippude astak
sisendu järgi on 1 ja iga tipu jaoks leidub tee.
Tipu sügavus on juurest temani tuleva tee pikkus.
Tsüklivaba transitiivse orienteeritud graafi kaared määravad graafi hulgal osalise
järjestuse.
Järjestusega < graaf on paar G = (A,R), kus R = (R a,<)|a kuulub A
Ra kuuluvad tipust a väjuvad kaared.
Topoloogilise järjestuse ülesanne:
Leida tsüklivaba graafi G = (A,R) tippude selline märgendus f: A N, et aRb =>