Branching execution symmetry in Jeopardy by available implicit arguments analysis

Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen

When the inverse of an algorithm is well-defined -- that is, when its output can be deterministically transformed into the input producing it -- we say that the algorithm is invert…