Refinamiento del problema de decisión