Die Antwort sollte positiv sein, wenn Ihr Diagramm mit begrenztem Grad sowohl die Eigenschaft einer konstanten Ausdehnung als auch des Umfangs von . Das Argument wäre: Beginne an einem Scheitelpunkt, dann mache für n ϵ Schritte einen Spaziergang, bei dem jeder Schritt nach dem Zufallsprinzip aus denjenigen ausgewählt wird, die uns nicht dorthin zurückbringen, wo wir vorher waren. (Wenn das Diagramm also d- regulär ist, haben wir bei jedem Schritt d - 1 zufällige Auswahlmöglichkeiten.)Ω ( logn )nϵdd- 1
Nun behaupte ich, dass für jedes und j , wenn ich die Schritte i und j des Laufs betrachte, die Wahrscheinlichkeit, dass es eine Kante zwischen dem Scheitelpunkt in Schritt i und dem Scheitelpunkt in Schritt gibt, . Wenn dann ausreichend klein gewählt wird, zeigt eine Vereinigungsgrenze, dass die Wanderung einen Pfad mit der Wahrscheinlichkeit induziert . ichjichjichn - Ω ( 1 ) ≤ 1 - o ( 1 )jn- Ω ( 1 )ϵ1 - o ( 1 )
Wenn ist kleiner als der Umfang, dann ist die Wahrscheinlichkeit einer Kante zwischen i und j gleich Null. Wenn j > i + Ω ( log n ) ist , sollte die Erweiterung des Graphen ausreichen, um zu argumentieren, dass die Existenz der Kante ( i , j ) mit der Wahrscheinlichkeit n - Ω ( 1 ) auftritt . Dies liegt daran, dass für einen festen Startscheitelpunkt v die Verteilung des Laufs nach einer Anzahl von Schritten, die gleich dem Umfang sind, über einen Satz von Größen gleichmäßig ist| i-j |ichjj > i + Ω ( logn )( i , j )n- Ω ( 1 )v und damit die Kollisionswahrscheinlichkeit n - Ω ( 1 ) ; Jeder nachfolgende Schritt sollte nur die Kollisionswahrscheinlichkeit verringern (dies gilt für einen tatsächlichen Zufallsrundgang, aber auch für diesen nicht rückverfolgenden Rundgang), und daher bleibt die Kollisionswahrscheinlichkeit und damit die Minientropie der Verteilung erhalten n - Ω ( 1 ) , und die Wahrscheinlichkeit, einen der O ( 1 ) -Nachbarn von v zu treffen,beträgt ebenfalls n - Ω ( 1 ) .nΩ ( 1 )n- Ω ( 1 )n- Ω ( 1 )O ( 1 )vn- Ω ( 1 )