Spanning-tree algorithm;