Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
courses:a4m33au:semestralka_vlakove_nadrazi [2012/06/25 10:29] nardi |
courses:a4m33au:semestralka_vlakove_nadrazi [2025/01/03 18:28] (aktuální) |
||
---|---|---|---|
Řádek 7: | Řádek 7: | ||
Navrhnete ridici system nadrazi, formalizujte ho a dokazte jeho bezpecnost. | Navrhnete ridici system nadrazi, formalizujte ho a dokazte jeho bezpecnost. | ||
- | Nádraží je souvislý orientovaný graf, vstupní formát viz datové formáty. Uzly, z kterých nevedou šipky, nazveme výjezdy, uzly, do kterých nevedou vedou šipky, nazveme vjezdy. Omezujeme se na grafy, u kterých z každého vjezdu existuje cesta do každého výjezdu. Každý uzel a každá hrana mají zadaný unikátní název (začínající malým písmenem). | + | Nádraží je souvislý orientovaný graf, vstupní formát viz [[courses/a4m33au/semestralka_vlakove_nadrazi#datove_formaty|datové formáty]]. Uzly, z kterých nevedou šipky, nazveme výjezdy, uzly, do kterých nevedou vedou šipky, nazveme vjezdy. Omezujeme se na grafy, u kterých z každého vjezdu existuje cesta do každého výjezdu. Každý uzel a každá hrana mají zadaný unikátní název (začínající malým písmenem). |
==== Vlastnosti nádraží ==== | ==== Vlastnosti nádraží ==== |