Reducciones controladas por algoritmos