Reductie (berekenbaarheid)