В математике сумма радикала s определяется как конечная линейная комбинация корней n- й степени :
где — натуральные числа , а — действительные числа .
Частным частным случаем, возникающим в теории сложности вычислений , является проблема суммы квадратных корней , в которой спрашивается, можно ли определить знак суммы квадратных корней с целыми коэффициентами за полиномиальное время . Это важно для многих задач вычислительной геометрии , поскольку вычисление евклидова расстояния между двумя точками в общем случае включает вычисление квадратного корня , и, следовательно, периметр многоугольника или длина многоугольной цепи принимает форму суммы радикалов. [1]
В 1991 году Блёмер предложил полиномиальный алгоритм Монте-Карло для определения того, равна ли сумма радикалов нулю или, в более общем случае, представляет ли она рациональное число. [2] Результат Блёмера применим более широко, чем проблема суммы квадратного корня, к суммам радикалов, которые не обязательно являются квадратными корнями. Однако его алгоритм не решает проблему, поскольку он не определяет знак ненулевой суммы радикалов. [2]