Linear-time Breadth First Tree Algorithms : An exercise in the arithmetic of folds and zips

Abstract

This paper is about an application of the mathematics of the zip, reduce (fold) and accumulate (scan) operations on lists. It gives an account of the derivation of a linear-time breadth-first tree traversal algorithm, and of a subtle and efficient breadth-first tree labelling algorithm.