OAI/Probability/CriticalPercolation/Exploration/

Files

• AdaptiveReveal.lean 17 declarations
• AncestryForest.lean 25 declarations
• BallIncidence.lean 8 declarations
• BitWeight.lean 5 declarations
• ClosedFresh.lean 15 declarations
• ClosedPivotWeight.lean 6 declarations
• ClusterUsers.lean 15 declarations
• CompileContactPrefixCongr.lean 2 declarations
• CompileContactScoreErase.lean 3 declarations
• CompileEmptyReads.lean 5 declarations
• CompileStop.lean 3 declarations
• DecisionHistory.lean 19 declarations
• Exhaustive.lean 11 declarations
• FrontierDivergence.lean 2 declarations
• GlobalNode.lean 6 declarations
• GrowthHistoryGeometry.lean 10 declarations
• IncidenceDegree.lean 3 declarations
• IncidenceIdentity.lean 8 declarations
• IncidenceSearch.lean 11 declarations
• Initial.lean 8 declarations
• Initial2.lean 13 declarations
• LayerExposure.lean 14 declarations
• ListScore.lean 4 declarations
• LocalNode.lean 19 declarations
• Node.lean 17 declarations
• OpenFrontierDivergence.lean 4 declarations
• PhaseFrontier.lean 7 declarations
• PivotalComparison.lean 3 declarations
• PrefixScoreNonneg.lean 6 declarations
• PrefixState.lean 7 declarations
• QueryBand.lean 6 declarations
• QueryDelta.lean 7 declarations
• QueryGeometry.lean 3 declarations
• QueryNormalized.lean 1 declarations
• QueryTree.lean 18 declarations
• ReachableIncidenceImp.lean 3 declarations
• ReachableMemPhaseClosed.lean 4 declarations
• Score.lean 9 declarations
• ScoreCongrSupport.lean 1 declarations
• ScoreMeanStep.lean 4 declarations
• SearchContactMoments.lean 1 declarations
• SearchMarkedContactBound.lean 1 declarations
• SearchTree.lean 19 declarations
• Select.lean 13 declarations
• SequentialExposure.lean 34 declarations
• SliceExploration.lean 8 declarations
• State.lean 17 declarations
• Tagged.lean 9 declarations
• TargetSearch.lean 11 declarations
• TraceTagged.lean 5 declarations
• TranscriptWeight.lean 7 declarations
• Users.lean 10 declarations
• Visits.lean 29 declarations