Az irányított gráf (vagy röviden digráf ) olyan (többszörös) gráf , amelynek élei irányt rendelnek. Az irányított éleket ívnek is nevezik , egyes forrásokban pedig egyszerűen éleknek. Az olyan gráfot, amelyben nincs élhez rendelve irány, irányítatlan gráfnak vagy nem digráfnak nevezzük .
Formálisan a digráf egy halmazból áll, amelynek elemeit csúcsoknak nevezzük , és egy rendezett csúcspárok halmazából .
Az ív beesik a csúcsokra és . Ebben az esetben azt mondják, hogy ez az ív kezdeti csúcsa , és a végső csúcs .
Egy egyszerű gráfból az élek orientálásával kapott digráfot irányítottnak nevezzük . Ez utóbbival ellentétben egy tetszőleges egyszerű digráfban két csúcsot két különböző irányú ív köthet össze.
Az irányított teljes gráfot versenynek nevezzük .
A digráfban szereplő útvonal csúcsok és ívek váltakozó sorozata , amelynek alakja (a csúcsok megismételhetők). Az útvonal hossza a benne lévő ívek száma.
Az útvonal egy útvonal egy digráfban ismétlődő ívek nélkül, az egyszerű útvonal pedig ismétlődő csúcsok nélkül. Ha van egy út az egyik csúcsból a másikba, akkor a második csúcs elérhető az elsőből.
A körvonal egy zárt út .
Félútvonal esetén az ívek irányának korlátozása megszűnik, és egy félút és egy félkontúr hasonlóképpen kerül meghatározásra .
Egy digráf akkor erősen összefüggő , vagy egyszerűen erős , ha minden csúcsa kölcsönösen elérhető ; egyirányú kapcsolt , vagy egyszerűen egyirányú , ha bármelyik két csúcshoz legalább az egyik elérhető a másikból; gyengén kapcsolt , vagy egyszerűen gyenge , ha figyelmen kívül hagyjuk az ívek irányát, összefüggő (multi)gráfot kapunk;
A maximális erős részgráfot erős komponensnek nevezzük ; az egyoldalú és a gyenge komponenst hasonlóképpen határozzuk meg.
A digráf kondenzációja olyan digráf, amelynek csúcsai erős komponensek , és az in ív azt mutatja, hogy legalább egy ív van a megfelelő komponensekben lévő csúcsok között.
Az irányított aciklikus gráf vagy csomó egy kontúr nélküli digráf.
Inverznek nevezzük azt az irányított gráfot, amelyet egy adott gráfból kapunk, ha az élek irányát ellenkezőre változtatjuk .
Jelmagyarázat: S gyenge, OC egyoldalú, SS erős, H irányított gráf, G függőágy (aciklikus), T verseny
0 ív | 1 ív | 2 ív | 3 ív | 4 ív | 5 ív | 6 ív |
üres, N, G | N, G | OS | CC | CC | tele, CC | |
---|---|---|---|---|---|---|
OS, N, G | CC, H, T | CC | ||||
C, N, G | OS, N, G, T | OS | ||||
C, N, G | OS | OS |
A digráfokat széles körben használják a programozásban az összetett kapcsolatokkal rendelkező rendszerek leírására. Például a fordítóprogramok fejlesztésében és általában a számítógépes programok megjelenítésében használt egyik fő struktúra az adatfolyam-gráf.
Egy véges vivő feletti bináris relációt digráfként is ábrázolhatjuk . Az antireflexív relációk egyszerű digráfokkal ábrázolhatók, általános esetben hurkokkal ellátott digráfra van szükség. Ha a reláció szimmetrikus , akkor irányítatlan gráfgal , ha pedig antiszimmetrikus, akkor irányított gráfgal ábrázolható .
Suurballe algoritmusa egy olyan algoritmus, amely két nem metsző (közös élek nélküli) utat keres egy irányított gráfban, nem negatív súllyal úgy, hogy mindkét út ugyanazt a csúcspárt köti össze, és minimális közös hosszúságú legyen.
Adatstruktúrák | |
---|---|
Listák | |
fák | |
Számít | |
Egyéb |