Рыбалов А. Н.
Сложность вычислений в алгебраических системах
В работе [1] впервые были рассмотрены вычислимость и сложность вычислений
над полями вещественных и комплексных чисел. Этот подход был обобщен
для произвольной алгебраической системы в [2]. В данной статье предлагается
подход к теории сложности вычислений над произвольной алгебраической
системой, в котором в качестве вычислительной модели взята вычислимость
над списочной надстройкой, предложенная в [3]. Изучаются получающиеся
классы полиномиальной сложности. Приводятся некоторые NP-полные
проблемы.