Hoppa till innehållet

Slumpgraf

Från Wikipedia

En slumpgraf är inom matematik och sannolikhetsteori informellt uttryckt en "obestämd" graf, där hörnen är bestämda i förväg men där kanterna väljs slumpmässigt. Detta gör att grafen kan sägas ha vissa egenskaper, som att vara sammanhängande, med en viss "sannolikhet". Slumpgrafer studeras inom det förhållandevis moderna forskningsfältet probabilistisk grafteori. De studeras både för sin egen skull, och därför att de har viktiga tillämpningar, både inom ren kombinatorik och inom exempelvis epidemiologi.

Formella definitioner

[redigera | redigera wikitext]

Rent formellt kan det vara bättre att uppfatta "en" slumpgraf inte som en enda obestämd graf utan som antingen en hel (oftast ändlig) familj grafer tillsammans med ett positivt mått på familjen, med totalmåttet 1, eller som ett val av ett element i familjen, valt med den sannolikhet som ges av det tilldelade måttet.

Med andra ord kan en slumpgraf definieras som ett par , där I är en ändlig mängd ("indexmängden"), varje Gi är en enkel graf, och μ är en funktion från I till R+, mängden av positiva reella par, med den extra egenskapen att

Man tolkar här μ(i) som sannolikheten för att välja grafen Gi.

I det enklaste fallet har alla Gi samma ändliga hörnmängd V, med n element för något n, medan olika Gi har olika kantmängder Ei. Varje möjlig kantmängd skall förekomma en gång, så antalet element i I måste vara . Man tänker sig att varje tänkbar kant (det vill säga varje tvådelmängd av hörn) förekommer med samma oberoende sannolikhet p, som ligger strikt mellan 0 och 1. Det betyder att om Ei innehåller m kanter, så sätter man

Låt den fixa hörnmängden V vara {a,b,c,d} (så att alltså n = 4), och låt p = 0,4. Det betyder att "chansen" för att det finns en kant mellan två olika slumpvis valda hörn är 40%. Det finns totalt oordnade urval av två hörn ur V, och för varje sådant val kan det finnas eller inte finnas en kant mellan de två hörnen. Därför finns det enligt multiplikationsprincipen totalt olika möjliga grafer, som vi kan kalla för G1, G2, ..., G64. En av dem , säg G46, har de fyra kanterna ab, bc, cd och ad, men har inte kanter mellan a och c eller mellan b och d. "Sannolikheten" för att just dessa kanter kommer med är 0,44 = 0,0256, och eftersom sannolikheten för att en kant inte "råkar finnas" är 1-0,4 = 0,6, är sannolikheten för de två icke-kanterna 0,62 = 0,36. Alltså sätter man

Av dessa 64 grafer saknar 1 kanter, har 6 en kant var, 15 två kanter var, 20 tre kanter var 15 fyra kanter var, 6 fem kanter var, och slutligen 1 samtliga möjliga sex kanter. Detta samt binomialteoremet ger att mycket riktigt