computational reducibility