A New Approach to Efficient Enumeration by Push-out Amortization

TL;DR

This paper introduces Push-Out Amortization, a novel analysis method for enumeration algorithms that amortizes iteration costs over descendants, enabling constant-time enumeration for various combinatorial structures.

Contribution

It proposes a new amortized analysis framework for enumeration algorithms, providing simple algorithms with constant amortized time per solution.

Findings

Enumeration of elimination orderings, matchings, and spanning trees can be achieved in O(1) time per solution.

Push-Out Amortization clarifies conditions for effective amortized analysis in enumeration algorithms.

The approach simplifies proofs and broadens applicability of efficient enumeration methods.

Abstract

Enumeration algorithms have been one of recent hot topics in theoretical computer science. Different from other problems, enumeration has many interesting aspects, such as the computation time can be shorter than the total output size, by sophisticated ordering of output solutions. One more example is that the recursion of the enumeration algorithm is often structured well, thus we can have good amortized analysis, and interesting algorithms for reducing the amortized complexity. However, there is a lack of deep studies from these points of views; there are only few results on the fundamentals of enumeration, such as a basic design of an algorithm that is applicable to many problems. In this paper, we address new approaches on the complexity analysis, and propose a new way of amortized analysis Push-Out Amortization for enumeration algorithms, where the computation time of an iteration is amortized by using all its descendant iterations. We clarify sufficient conditions on the enumeration algorithm so that the amortized analysis works. By the amortization, we show that many elimination orderings, matchings in a graph, connected vertex induced subgraphs in a graph, and spanning trees can be enumerated in O(1) time for each solution by simple algorithms with simple proofs.