Wired uniform spanning forest (source code)

= Wired uniform spanning forest
{wiki}

The wired uniform spanning forest of an infinite graph is the weak limit of uniform spanning trees on finite exhaustions whose exterior vertices are identified to one wired boundary vertex.