Last, we also provided some unit tests for ensuring, to the best of our knowledge, the correctness of the implemented solution: https://github.com/gyankos/reducer/blob/main/tests.cpp (accessed on 28 May 2024). Appendix D.2. Convergence in PolyTime (|Φd|) We now prove the lemmas deal...