Minimaal opspannende boom

De minimaal opspannende boom van een verbonden, gewogen graaf is de verbonden subgraaf daarvan met het kleinste totale gewicht. Deze kleinste subgraaf is altijd een boom, dat wil zeggen een graaf zonder cycli.

De minimaal opspannende boom van een planaire graaf. Elke kant heeft een gewicht, in dit geval is het (vrijwel) gelijk aan de lengte van de kant.

Een algoritme om de minimaal opspannende boom te vinden is het algoritme van Prim:

  • kies een willekeurige knoop (1e bezochte knoop)
  • kies de kant met de laagste waarde verbonden met deze knoop
  • neem de knoop aan de andere zijde van de kant op in je verzameling met bezochte knopen
  • kies de kant met de laagste waarde vanuit je verzameling bezochte knopen naar een knoop die nog niet bezocht werd, en voeg deze kant aan de minimaal opspannende boom toe
  • neem de nieuwe bereikte knoop op in je verzameling
  • ga door tot alle knopen van de graaf bezocht zijn.

Andere algoritmes voor dit probleem zijn Kruskals algoritme, het Reverse-Delete-algoritme en Borůvka's algoritme.

Deze figuur illustreert dat een graaf meerdere minimaal opspannende bomen kan hebben. De twee bomen onder de graaf zijn beide minimaal.

In het algemeen kan een gegeven graaf meerdere minimaal opspannende bomen hebben. Enkel wanneer alle zijden van de graaf een verschillend gewicht hebben is er slechts één, unieke, minimaal opspannende boom.

Stelling van Frieze

In 1985 bewees Alan Frieze dat de verwachte waarde van het gewicht van de minimaal opspannende boom van een volledige graaf met n knopen, waarin het gewicht van elke kant een onafhankelijk willekeurig gekozen getal uit het eenheidsinterval [0,1] is (volgens een uniforme verdeling), naar een constante waarde neigt wanneer het aantal knopen n naar oneindig gaat. Deze constante is de waarde van de Riemann-zèta-functie van 3:[1][2]

Dit is een opmerkelijk resultaat aangezien elke opspannende boom van kanten heeft en de verwachte waarde van een willekeurige opspannende boom in dit geval gelijk is aan , die naar oneindig gaat als het aantal knopen naar oneindig gaat.

Zie ook
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.