Kapcsolatok készletek és grafikonok - studopediya
Minden irányított gráf G (X) meghatároz egy by-visel az X halmazon a csúcsok. Ez az összefüggés felírható xi G xj. Ez azt jelenti, hogy van egy arc a grafikonon, megy a XI xj.
Tekintettel a tulajdonság reflexivitás (x R x), együtt kell reagált a grafikonon a felső hurok. Ha ez a hozzáállás-figyelhető meg minden csúcsot x Î X, akkor a megfelelő G gráf (X) kell egy hurkot minden csúcs.
Ha antiref-leksivnogo kapcsolatot a forgatáson, az X halmaz, a megfelelő grafikon bármelyik csúcsok nincsenek zsanérok.
Szimmetrikus az X halmaz megfelel irányítatlan gráf élei és fordítva, a nem-orientált grafikonja bordák definiál egy szimmetrikus kapcsolat.
Abban az esetben, egy antiszimmetrikus viszony a grafikonon is lehetetlen, a jelenléte két ív (XI. Xj), (xj. Xi) a grafikonon, vagyis sushchest-borda-létezését irányítatlan. Ezen túlmenően, ezek a grafikonok nem hurkok, azaz, az arány a megfelelő antiszimmetrikus tükröződésmentesítő.
Kapcsolat az ingatlan identitását. korom-os állás grafikont, antiszimmetrikus arány a csúcshalmaza (orientált grafikon) és hozzáadunk egy hurkot minden csúcs. Ez a grafikon lehet hurkok.
Ábra. 3.18. Tranzitív tulajdonság-ság a grafikonon
A grafikon megfelelő tranzitív kapcsolatok (. Ábra 3.18) rendelkezik a következő tulajdonságokkal: minden egyes pár orientált élek (éleket) a grafikon (. Xi xj), (. Xj xk) áll rendelkezésre felfekvő ARC (XI xk.). Elmondhatjuk, hogy a grafikonon, amely megfelel tranzitív reláció egyes útvonal S (xi. Xk) van egy ív (XI. Xk) (ris.3.19).
Ábra. 3.19. A tranzitív (a) és intranzitiv (b) grafikonok
Hozzáállás, tulajdonsággal rendelkező teljesség. Leno-definiált a csúcsok halmaza egy teljes irányított gráf.
A null meghatározott arányt a csúcsok halmaza egy zéró-szám.
Univerzális meghatározott arányt a csúcsok halmaza teljes irányítatlan gráf hurkok. Kiegészítő a `R R arány halmazán megadott csúcsok további gráf Gd (X) a G (x).
Diagramoknak megfelelő diagramok ekvivalenciareláció szalagok-ség. pre-höz több összekapcsolt komponensek (az egyes ekvivalencia osztály saját komponens) diszjunkt grafikon. Mindegyik komponenst ki kell húzni gráf teljes fürdőszoba nem orientált gráf hurkok (ábra. 3.20).
Ábra. 3.20. A grafikon megfelelő ekvivalencia reláció