Algebraic characterization of equivalence between oracle-based iterative algorithms

Laurent Lessard, Madeleine Udell

When are two algorithms the same? How can we be sure a recently proposed algorithm is novel, and not a minor variation on an existing method? In this paper, we present a framework…