algorithmic reducedness

Мат. алгоритмическая сводимость