Нахождение компонент связности полуалгебраического множества в субэкспоненциальное время

Пусть полуалгебраическое множество задано бескванторной формулой с атомарными подформулами вида $f_i>0$, $1\leqslant i\leqslant k$, где многочлены $f_i\in\mathbb{Z}[X_1,\dots,X_n]$ степени $\mathrm{deg}(f_i)<d$ имеют абсолютные величины коэффициентов не превосходящие $2^M$. Построен алгоритм, который находит компоненты связности полуалгебраического множества (т.е. задающие их формулы) за время полиномиальное от $M(kd)^{n^{O(1)}}$. Известный ранее метод Коллинза имеет оценку полиномиальную от $M(kd)^{2^{O(n)}}$. Библ. – 20 назв.