Hoy sabemos que la respuesta es negativa: no existe tal algoritmo general.