Algorithmic Polynomial Freiman-Ruzsa TheoremsSrinivasan ArunachalamDavi Castro-silvaet al.2026ITCS 2026