Core Concepts
이 논문에서는 실수 공간에서 n개의 비선형 방정식 시스템을 효율적으로 해결하는 알고리즘을 제안한다. 이는 Smale의 17번째 문제에 대한 해결책으로, 기존에 복소수 공간에서 제안된 방법이 실수 공간에는 적용되지 않는 문제를 해결한다.
Abstract
이 논문은 실수 공간에서 n개의 비선형 방정식 시스템을 효율적으로 해결하는 알고리즘을 제안한다.
방정식의 차수에 따라 두 가지 경우로 나누어 접근한다:
차수가 중간 수준인 경우(pmax ≤ d^2): Hessian 하강 알고리즘을 사용하여 근사해를 찾는다.
차수가 매우 큰 경우(pmax > d^2): 무차별 탐색 알고리즘을 사용하여 근사해를 찾는다.
두 알고리즘 모두 일정 확률 이상으로 근사해를 찾을 수 있음을 보인다.
실수 공간에서의 Smale의 17번째 문제는 복소수 공간에 비해 더 어려운 문제로 알려져 있었는데, 이 논문은 이에 대한 중요한 진전을 이루었다.
Stats
차수가 중간 수준인 경우(pmax ≤ d^2)의 알고리즘 복잡도: O(Nd^9/2 p^4_max (1 + p_max/d) log(p_max)^2)
차수가 매우 큰 경우(pmax > d^2)의 알고리즘 복잡도: O(N^3 p^3_max (d!)^2 log(p_max)^d)
Quotes
"Can a zero of n complex polynomial equations in n unknowns be found approximately, on the average, in polynomial time with a uniform algorithm?" - Smale's 17th problem