A G = (V, E, A) vegyes gráf egy matematikai objektum, amely V csúcsokból (vagy csomópontokból), E (iránytalan) élek halmazából és A irányított élek (vagy ívek) halmazából áll. [ 1]
További információ: Grafikon (matematika)
Tekintsük a szomszédos csúcsokat . Az orientált élt ívnek nevezzük , egy tájolású élt, amelyet vagy jelöl (érdemes megjegyezni, hogy ez a farok, ez pedig az ív feje). [2] Az irányítatlan élt vagy egyszerűen egy élt orientáció nélküli élnek nevezzük, és vagy -vel jelöljük . [2]
További információ: Több él
További információ: Loop (gráfelmélet)
Alkalmazási példánkként nem vesszük figyelembe a kevert gráfok ciklusait vagy több élét.
A vegyes gráfban lévő útvonal csúcsok és élek/ívek sorozata, így minden indexeseténa gráf éle, vagy az elema gráf íve. Ez az útvonal egy útvonal , ha nincsenek ismétlődő élei, ívei vagy csúcsai, kivéve esetleg az első és az utolsó csúcsot. Egy útvonal akkor zárt , ha az első és az utolsó csúcsa megegyezik, a zárt út pedig ciklus , ha az első és az utolsó csúcson kívül nincs más ismétlődő csúcsa. A vegyes gráf aciklikus , ha nem tartalmaz ciklust.
További információ: Grafikonszínezés
A vegyes gráf színezése felfogható úgy, mint a vegyes gráf csúcsaihoz különböző színek (ahol pozitív egész szám) címkézése vagy hozzárendelése. [3] Az éllel összekötött csúcsokhoz különböző színeket kell hozzárendelni. A színek 1-től -ig számokkal ábrázolhatók, irányított ív esetén pedig az ív végét az ív fejénél kisebb számmal kell jelölni. [3]
Vegyük például a jobb oldali ábrát. Vegyes grafikonunk színezéséhez elérhető k-színek: . Mivel a és egy éllel vannak összekötve, különböző színekkel vagy számokkal kell rendelkezniük ( és 1-es, illetve 2-es jelöléssel). Van egy ívünk is től ig . Mivel olyan ívről van szó, ahol a tájolás határozza meg a számok sorrendjét, a farkát ( ) kisebb színnel (vagy egész számmal a halmazunkból) kell felcímkéznünk, mint az ívünk fejét ( ).
A vegyes gráf ( erős) sajátszíne egy függvény
, ahol olyan, hogy , ha , és , ha . [egy]
Lazíthatjuk az állapotot az íveinken. Ekkor a vegyes gráf gyenge megfelelő k-színezését tekinthetjük függvénynek
, ahol olyan, hogy , ha , és , ha . [1] Visszatérve a példánkra, ez azt jelenti, hogy a fejet és a farkát pozitív egész számmal 2 jelölhetjük.
Vegyes gráf esetén előfordulhat színezés, vagy nem. Ahhoz, hogy egy vegyes gráf színezhető legyen, nem tartalmazhat irányított ciklusokat. [2] Ha létezik ilyen színezés, akkor a gráfunk megfelelő színezéséhez szükséges legkisebb számot jelöljük kromatikus számként , amelyet -vel jelölünk . [2] Megszámolhatjuk a megfelelő színezések számát a polinom függvényeként . Ezt nevezzük gráfunk kromatikus polinomjának ( a nem irányított gráfok kromatikus polinomjának analógiájára), és így jelölhetjük . [egy]
A törlés-összehúzódás képlet használható vegyes gráfok gyenge kromatikus polinomjainak kiszámítására. Ez a módszer magában foglalja egy él vagy ív eltávolítását, és az adott élen (vagy íven) a fennmaradó csúcsok összezsugorítását (vagy összekapcsolását), hogy egyetlen csúcsot alkossanak. [1] Miután eltávolítottunk egy élt egy vegyes gráfból, egy kevert gráfot kapunk . [1] Ezt az éleltávolítást jelölhetjük . Hasonlóképpen, ha egy vegyes gráfból eltávolítunk egy ívet , azt kapjuk, ahol az eltávolítást jelölhetjük . [1] Ezen kívül jelölhetjük a rövidítést és as és , ill. [1] A fenti állításokból [1] a következő egyenleteket kapjuk egy vegyes gráf kromatikus polinomjának kiszámításához:
Vegyes grafikonok használhatók olyan munkaütemezési feladatok modellezésére, amelyekben a feladatokat össze kell gyűjteni, bizonyos időkorlátok függvényében. Az ilyen típusú feladatoknál az irányítatlan élek segítségével modellezhető az a kényszer, hogy két feladat nem kompatibilis (egyszerre nem hajthatók végre). Irányított élek használhatók prioritási kényszerek modellezésére, amelyekben az egyik feladatot a másik előtt kell befejezni. Az ütemezési feladatból így definiált gráfot diszjunktív gráfnak nevezzük. A vegyes grafikon színezési problémája felhasználható az összes feladat elvégzéséhez szükséges minimális hosszúságú ütemezés megkeresésére. [2]
A vegyes gráfokat grafikus modellként is használják a Bayes-i következtetésekhez . Ebben az összefüggésben az aciklikus vegyes gráfot (irányított élciklusok nélkül) láncgráfnak is nevezik. Ezen grafikonok irányított élei két esemény közötti ok-okozati összefüggést jeleznek, amelyben az első esemény kimenetele befolyásolja a második esemény valószínűségét. Az irányítatlan élek nem oksági összefüggést jeleznek két esemény között. Egy láncgráf irányítatlan részgráfjának összefüggő összetevőjét láncnak nevezzük. Egy láncgráf átalakítható irányítatlan gráfrá, ha megszerkeszti a morális gráfját , egy irányítatlan gráfot, amelyet láncgráfból úgy alakítunk ki, hogy irányítatlan éleket adunk olyan csúcspárok közé, amelyeknek ugyanabban a láncban vannak kimenő élei, figyelmen kívül hagyva az irányított élek orientációját. [négy]