Reducció d'espai logarítmic