The Reqomp algorithm presented here, provides an automatized way to make sophisticated decision about whether a variable should be recomputed during uncomputation. As of now Qrisp provides the means to perform uncomputation via. recomputation if manually instructed by the programmer, but an automized version would surely be much better.
The Reqomp algorithm presented here, provides an automatized way to make sophisticated decision about whether a variable should be recomputed during uncomputation. As of now Qrisp provides the means to perform uncomputation via. recomputation if manually instructed by the programmer, but an automized version would surely be much better.