ASP可逆算法