[논문 리뷰] New Acceleration of Nearly Optimal Univariate Polynomial Root-findERS

Victor Y. Pan|arXiv (Cornell University)|2018. 05. 30.

Polynomial and algebraic computation인용 수 2

한 줄 요약

이 논문은 기존의 잘 알려진 기법들과 새로운 기법들을 결합하여 단변수 다항식의 근을 찾는 알고리즘의 성능을 가속화한다. 특히 희박한 다항식에 대해 놀라운 성능 향상을 이룩하여 이전에 이론적으로만 존재하던 거의 최적의 알고리즘들을 실제로 사용 가능한 수준으로 끌어올린다. 기존의 MPSolve와 같은 도구들과 경쟁 가능한 성능을 달성한다.

ABSTRACT

Univariate polynomial root-finding has been studied for four millennia and is still the subject of intensive research. Hundreds of efficient algorithms for this task have been proposed. Two of them are nearly optimal. The first one, proposed in 1995, relies on recursive factorization of a polynomial, is quite involved, and has never been implemented. The second one, proposed in 2016, relies on subdivision iterations, was implemented in 2018, and promises to be practically competitive, although user's current choice for univariate polynomial root-finding is the package MPSolve, proposed in 2000, revised in 2014, and based on Ehrlich's functional iterations. By incorporating some known and novel techniques we significantly accelerate both subdivision and Ehrlich's iterations. Moreover our acceleration of the known subdivision root-finders is dramatic in the case of sparse input polynomials. Our techniques can be of some independent interest for the design and analysis of polynomial root-finders.

연구 동기 및 목표

• 기존에 이론적으로만 존재하던 거의 최적의 단변수 다항식 근 찾기 알고리즘을 실세계 적용에 적합하게 만들기 위한 장기적인 과제를 해결한다.
• 특히 분할 기반 및 에르리히의 기능적 반복 기반 알고리즘의 효율성을 향상시키기 위해 기존의 거의 최적의 알고리즘을 개선한다.
• 희박한 다항식에 대해 근 찾기 성능을 가속화하여 이전 방법들이 성능 향상에 한계를 보였던 영역을 개선한다.
• 이론적으로 최적의 알고리즘과 실질적 구현 간 격차를 좁히기 위해 구현 효율성을 향상시켜 실용적 구현 가능성을 확보한다.

제안 방법

• 2016년에 제안된 분할 기반 근 찾기 알고리즘에 기존의 기법들과 새로운 기법들을 통합한다.
• 이와 유사한 가속 전략을 널리 사용되는 MPSolve 패키지의 기초가 되는 에르리히의 기능적 반복 방법에 적용한다.
• 희박한 다항식의 구조적 특성을 활용하여 이 영역에서 성능을 극적으로 향상시킨다.
• 정확도를 해치지 않으면서 수렴 속도를 향상시키기 위해 고급 수치 기법을 통합한다.
• 반복적이고 재귀적인 근 찾기 과정의 모든 구성 요소를 최적화하여 계산 오버헤드를 줄인다.
• 이론적 통찰과 실질적 구현 고려사항을 융합하여 확장성과 견고성을 보장한다.

실험 결과

연구 질문

• RQ1 2016년에 제안된 분할 기반 거의 최적의 근 찾기 알고리즘을 실용적 구현에 있어 어떻게 크게 향상시킬 수 있는가?
• RQ2 에르리히의 기능적 반복 방법은 수렴 성질을 유지하면서 얼마나 빠르게 가속화될 수 있는가?
• RQ3 제안된 가속 기법을 사용할 경우 희박한 다항식에 대해 어떤 성능 향상을 기대할 수 있는가?
• RQ4 기존 기법들과 새로운 기법들을 통합하면 MPSolve 패키지와 경쟁 가능한 실용적인 대안이 될 수 있는가?

주요 결과

• 제안된 가속 기법은 특히 희박한 입력 다항식에 대해 놀라운 성능 향상을 이룬다.
• 개선된 분할 기반 근 찾기 알고리즘은 이전에 이론적 성격이 강하고 실제 구현이 없었음에도 불구하고 실용적으로 경쟁 가능한 성능을 확보하게 되었다.
• 에르리히의 기능적 반복 방법은 크게 가속화되어 실용적인 근 찾기 솔루션으로서의 가능성이 높아졌다.
• 기존 기법들과 새로운 기법들의 조합은 다양한 다항식 유형에 걸쳐 계산 시간을 상당히 줄이는 데 기여했다.