Definujte acyklický orientovaný graf, zdroj a stok. Dále formulujte větu o existenci zdroje.
Orientovaný graf je takový graf, jehož hrany jsou uspořádané dvojice, hrany neorientovaného grafu jsou množiny.
Orientovaný graf G nazveme acyklický, pokud neobsahuje jako podgraf orientovanou kružnici
Tyto pojmy jsou zavedeny pro orientované grafy
Zdroj - takový vrchol orientovaného grafu, do kterého nevede žádná hrana
Stok - takový vrchol orientovaného grafu, ze kterého nevede žádna hrana
Modře - zdroj
Červeně - stok