En blandad graf G = (V, E, A) är ett matematiskt objekt som består av en uppsättning hörn (eller noder) V, en uppsättning (oriktade) kanter E och en uppsättning riktade kanter (eller bågar) A. [ 1]
Ytterligare information: Graf (matematik)
Tänk på närliggande hörn . En orienterad kant kallas en båge , en kant med en orientering, som betecknas med eller (det är värt att notera att detta är svansen, och detta är huvudet på bågen). [2] En oriktad kant , eller helt enkelt en kant , kallas en kant utan orientering och betecknas med eller . [2]
Ytterligare information: Flera kanter
Ytterligare information: Loop (grafteori)
Som vårt applikationsexempel kommer vi inte att överväga cykler eller flera kanter av blandade grafer.
En bana i en blandad graf är en sekvensav hörn och kanter/bågar så att, för alla index,kant av grafen eller elementetär en båge av grafen. Denna bana är en bana om den inte har några upprepade kanter, bågar eller hörn, utom möjligen de första och sista hörnen. En bana är stängd om dess första och sista hörn är samma, och en stängd bana är en cykel om den inte har några upprepade hörn förutom den första och sista. En blandad graf är acyklisk om den inte innehåller en cykel.
Ytterligare information: Graffärgning
Att färglägga en blandad graf kan ses som att märka eller tilldela olika färger (där är ett positivt heltal) till hörnen på den blandade grafen. [3] Vertices förbundna med en kant måste tilldelas olika färger. Färger kan representeras av siffror från 1 till , och för en riktad båge måste svansen på bågen indikeras med en siffra som är mindre än bågens huvud. [3]
Tänk till exempel på figuren till höger. Tillgängliga k-färger för att färga vår blandade graf: . Eftersom och är förbundna med en kant måste de ha olika färger eller siffror ( och är märkta 1 respektive 2). Vi har även en båge från till . Eftersom vi har att göra med en båge där orienteringen dikterar siffrornas ordning, måste vi märka svansen ( ) med en mindre färg (eller ett heltal från vår uppsättning) än huvudet ( ) på vår båge.
Den ( starka) egen- färgningen av en blandad graf är en funktion
, där sådan att , om , och , om . [ett]
Vi kan slappna av tillståndet på våra bågar. Då kan vi betrakta den svaga korrekta k-färgningen av den blandade grafen som en funktion
, där sådan att , om , och , om . [1] Om vi går tillbaka till vårt exempel betyder det att vi kan märka huvudet och svansen med det positiva heltal 2.
För en blandad graf kan en färgning existera eller inte. För att en blandad graf ska vara -färgbar får den inte innehålla några riktade cykler. [2] Om en sådan -färgning existerar, betecknar vi det minsta som krävs för att korrekt färga vår graf som det kromatiska numret , betecknat med . [2] Vi kan räkna antalet korrekta färger som en polynomfunktion av . Detta kallas det kromatiska polynomet i vår graf (i analogi med det kromatiska polynomet för oriktade grafer) och kan betecknas som . [ett]
Formeln för borttagning och kontraktion kan användas för att beräkna svaga kromatiska polynom av blandade grafer. Denna metod innebär att man tar bort en kant eller båge och krymper (eller sammanfogar) de återstående hörnen på den kanten (eller bågen) för att bilda en enda vertex. [1] Efter att ha tagit bort en kant från en blandad graf får vi en blandad graf . [1] Vi kan beteckna denna kantborttagning som . På liknande sätt, genom att ta bort en båge från en blandad graf, får vi , där vi kan beteckna borttagningen som . [1] Dessutom kan vi beteckna förkortningen och som respektive . [1] Från ovanstående uttalanden [1] får vi följande ekvationer för att beräkna det kromatiska polynomet för en blandad graf:
Blandade grafer kan användas för att modellera arbetsschemaläggningsuppgifter där uppgifter måste samlas in, med vissa tidsbegränsningar. I denna typ av uppgift kan oriktade kanter användas för att modellera begränsningen att två uppgifter är inkompatibla (de kan inte köras samtidigt). Riktade kanter kan användas för att modellera prioritetsbegränsningar, där en uppgift måste slutföras före en annan. En graf som definieras på detta sätt från ett schemaläggningsproblem kallas en disjunktiv graf. Problemet med färgning av blandade grafer kan användas för att hitta minimilängden för att slutföra alla uppgifter. [2]
Blandade grafer används också som grafiska modeller för Bayesiansk slutledning . I detta sammanhang kallas en acyklisk blandad graf (utan cykler av riktade kanter) även en kedjegraf. De riktade kanterna på dessa grafer används för att indikera ett orsakssamband mellan två händelser, där utfallet av den första händelsen påverkar sannolikheten för den andra händelsen. Oriktade kanter indikerar en icke-kausal korrelation mellan två händelser. En sammankopplad komponent i en oriktad subgraf i en kedjegraf kallas en kedja. En kedjegraf kan konverteras till en oriktad graf genom att konstruera dess moraliska graf , en oriktad graf bildad från en kedjegraf genom att lägga till oriktade kanter mellan par av hörn som har utgående kanter i samma kedja, utan hänsyn till orienteringen av de riktade kanterna. [fyra]