[논문 리뷰] Improved complexity bounds for real root isolation using Continued Fractions

Elias Tsigaridas|arXiv (Cornell University)|2010. 10. 11.

Polynomial and algebraic computation참고 문헌 29인용 수 5

한 줄 요약

이 논문은 연분수를 사용하여 일변수 다항식의 양의 실근에 대한 하한을 계산하는 새로운 방법을 제안하며, 실근 격리에 대한 고전적 연분수(CF) 알고리즘의 최악의 경우 복잡도를 크게 향상시킨다. 저자들은 효율적인 근 하한 계산 기법을 도입하여 $\widetilde{\mathcal{O}}_{B}(d^{6}+d^{4}\tau^{2})$의 복잡도를 달성하였으며, 이는 Sharma의 이전 결과보다 $d^3$ 배 향상된 것으로, 분할 기반 해법기의 최고 수준의 복잡도와 일치한다.

ABSTRACT

We consider the problem of isolating the real roots of a square-free polynomial with integer coefficients using (variants of) the continued fraction algorithm (CF). We introduce a novel way to compute a lower bound on the positive real roots of univariate polynomials. This allows us to derive a worst case bound of $\sOB(d^6 + d^4τ^2 + d^3τ^2)$ for isolating the real roots of a polynomial with integer coefficients using the classic variant \cite{Akritas:implementation} of CF, where $d$ is the degree of the polynomial and $τ$ the maximum bitsize of its coefficients. This improves the previous bound of Sharma \cite{sharma-tcs-2008} by a factor of $d^3$ and matches the bound derived by Mehlhorn and Ray \cite{mr-jsc-2009} for another variant of CF; it also matches the worst case bound of the subdivision-based solvers.

연구 동기 및 목표

• 정수 계수를 가진 무제곱 다항식의 실근 격리에 대한 고전적 연분수(CF) 알고리즘의 최악의 경우 복잡도 상한을 향상시키는 것.
• 이전 CF 변형들이 양의 실근에 대한 최적하지 않은 하한에 의존함으로써 효율성이 떨어지는 문제를 다루는 것.
• 분할 기반 해법기의 최신 수준의 복잡도($\widetilde{\mathcal{O}}_{B}(d^6 + d^4\tau^2)$)를 연분수 기반 접근법으로 달성하는 것.
• 가장 작은 양의 실근의 정수부를 계산하는 새로운 방법을 도입하여, 더 엄밀한 복잡도 분석이 가능하도록 하는 것.

제안 방법

• 다항식의 가장 작은 양의 실근의 정수부를 결정하여, 양의 실근에 대한 하한을 계산하는 새로운 기법을 제안한다.
• 이 하한을 사용해 Vincent의 방법에서 반복적인 $x \mapsto x+1$ 변환을 하나의 $x \mapsto x + c$ 단계로 대체한다. 여기서 $c$는 계산된 하한이다.
• 각 연분수 전개 단계에서 다항식을 효율적으로 변환하기 위해 계산된 하한을 기반으로 타일러 이동(Taylor shift)을 적용한다.
• 부분 몫의 로그 크기와 몫의 곱을 유 bounds하기 위해 레마 5와 레마 6를 활용하여 정밀한 복잡도 분석을 가능하게 한다.
• 각 근 격리에 대해 단계 수, $\lg(q_0^\gamma)$, $\lg(\Delta_\gamma)$ 및 각 근당 단계 수에 대한 경계를 사용하여 총 복잡도를 유도한다.
• 정확성과 알고리즘의 종료를 보장하기 위해 기존의 Descartes의 부호 법칙 및 Vincent의 정리 결과를 활용한다.

실험 결과

연구 질문

• RQ1 실근 격리에 대한 고전적 연분수 알고리즘의 최악의 경우 복잡도를 이전의 상한 $\widetilde{\mathcal{O}}_{B}(d^8\tau^3)$을 초월하여 향상시킬 수 있는가?
• RQ2 더 엄밀한 양의 실근 하한을 사용할 경우 부분 몫의 수와 총 복잡도에 어떤 영향을 미치는가?
• RQ3 CF 기반 알고리즘이 분할 기반 해법기의 최고 수준의 복잡도를 달성할 수 있는가?
• RQ4 가장 작은 양의 실근의 정수부를 충분히 효율적으로 계산할 수 있는가에 따라 CF 알고리즘의 총 복잡도를 향상시킬 수 있는가?

주요 결과

• 제안된 방법은 실근 격리에 대한 고전적 연분수 알고리즘의 최악의 경우 복잡도를 $\widetilde{\mathcal{O}}_{B}(d^6 + d^4\tau^2)$로 감소시켰다.
• 이 복잡도 향상은 Sharma [30]가 이전에 확립한 상한보다 $d^3$ 배 향상된 것이다.
• 새로운 복잡도는 Sturm, Descartes, Bernstein 방법 등 분할 기반 해법기의 최고 수준의 알려진 최악의 경우 복잡도와 일치한다.
• 핵심 혁신은 가장 작은 양의 실근의 정수부를 계산하는 새로운 기법에 있다. 이는 부분 몫 성장에 대한 더 엄밀한 통제를 가능하게 한다.
• 분석 결과 총 비용은 $\lg(q_k^\gamma)$ 항과 그 곱의 합에 의해 지배되며, 이는 새로운 근 하한 기법을 통해 경계가 설정된다.
• 분석에 따르면 $\Delta_\gamma \geq 1$인 근들은 부분 몫을 계산하지 않아도 격리되므로 불필요한 계산을 줄일 수 있다.