Теория сложности и сводимость по перечислимости

[пианист]

Имеется определенная параллель между теорией рекурсивных функций и теорией сложности вычислений.
Например, и там, и там есть сводимость по Тьюрингу (она же по Куку).
А вот другие сводимости теории рекурсивных функций в теории сложности вычислений юзают? в частности, особенно интересно про сводимость по перечислимости..

(индульгенция)

Извиняюсь, если что, за дурацкий вопрос - тему не знаю, но пытаюсь разобраться