Sei ein einfacher ungerichteter Graph auf n Eckpunkten und m Kanten.
Ich versuche, die erwartete Laufzeit von Wilsons Algorithmus zum Erzeugen eines zufälligen Spannbaums von zu bestimmen . Dort wird gezeigt, dass es O ( τ ) ist , wobei τ die mittlere Schlagzeit ist : τ = ∑ v ∈ V π ( v ) ⋅ H ( u , v ) , wobei:
- ist diestationäre Verteilung π ( v ) = d ( v ) ,
- ist ein beliebiger Scheitelpunkt und
- ist dieSchlagzeit(AKA-Zugriffszeit), dh die erwartete Anzahl von Schritten, bevor der Scheitelpunkt v besucht wird, beginnend mit dem Scheitelpunkt u .
Was ist die allgemeine Obergrenze für die mittlere Schlagzeit? Und was ist der Worst-Case-Graph , der die mittlere Schlagzeit maximiert?
Um meine Frage klar zu stellen, benötige ich keine Berechnungen oder detaillierten Beweise (obwohl sie für andere Personen, die in Zukunft auf diese Frage stoßen, nützlich sein können). Für mich persönlich wäre ein Zitat ausreichend.
Es gibt zwei öffentlich verfügbare Implementierungen von Wilsons Algorithmus, die mir bekannt sind. Eine befindet sich in der Boost Graph Library , die zweite im Graph-Tool . In der Dokumentation des ersteren wird die Laufzeit nicht erwähnt, während im letzteren Folgendes angegeben ist:
Was die Frage nicht beantwortet und tatsächlich mit Wilsons Artikel unvereinbar zu sein scheint. Ich melde dies jedoch nur für den Fall, um Zeit für alle zu sparen, die die gleiche Idee haben, die Implementierungsdokumentation zu konsultieren.
Antworten:
Ich habe beschlossen, David Wilson selbst zu fragen, bekam bald darauf eine Antwort:
Es gibt sogar einen Beweis für diese Tatsache in dem oben genannten Buch, der so lautet:
Zugegeben, ich bin an dem Punkt verloren, an dem sie sagen:
Kommentare zum informellen Beweis sind jedoch weiterhin willkommen.
quelle
In einem kürzlich erschienenen Artikel haben wir eine mn-Obergrenze (kein großes O) für die erwartete Anzahl von "Zyklen" gefunden, die von Wilsons Algorithmus geknallt wurden, und sie ist eng an Konstanten. Die Frage nach der Laufzeit der Wilson-Algorithmen wird nicht direkt beantwortet, da die durchschnittliche Größe der gepoppten Zyklen nicht offensichtlich erscheint. Andererseits habe ich nicht genug "Ruf", um einen Kommentar zu hinterlassen ...
quelle