선‑표면 교차 알고리즘에 사용되는 다항식 기저의 특성

초록

Srijuntongsiri와 Vavasis가 제안한 “Kantorovich‑Test Subdivision”(KTS) 알고리즘은 평면의 제한된 영역 내에서 다항식 시스템의 모든 영점을 찾는 방법이다. 이 알고리즘은 다항식을 특정 조건을 만족하는 어떠한 기저로도 표현할 수 있으며, 실행 효율성은 문제의 조건수와 선택된 기저에만 의존하는 상한을 가진다. 본 논문은 KTS 알고리즘의 효율성이 기저 선택에 어떻게 달라지는지를 상세히 조사한다. 전력(power) 기저, Bernstein 기저, Chebyshev 기저 세 가지를 대상으로 하였으며, 이들 모두 KTS가 요구하는 기저 특성을 만족한다. 이론적으로는 Chebyshev 기저가 실행 시간 상한이 가장 작게 나타난다. 그러나 실험 결과는 Chebyshev 기저가 다른 두 기저보다 현저히 빠른 성능을 보이지 않음을 보여준다.

상세 요약

KTS 알고리즘은 두 단계, 즉 Kantorovich 테스트와 구간 분할을 결합해 다항식 시스템의 영점을 체계적으로 탐색한다. 핵심 아이디어는 각 서브 영역에 대해 Kantorovich 조건을 검증함으로써 해당 영역이 영점을 포함하지 않거나, 포함한다면 Newton‑like 방법으로 수렴을 보장한다는 점이다. 이 과정에서 다항식의 표현 방식, 즉 사용되는 기저가 알고리즘의 복잡도에 직접적인 영향을 미친다.

첫 번째 요구 조건은 “구간에 대한 값의 상한을 쉽게 구할 수 있는” 기저여야 한다는 것이다. 구체적으로, 어떤 구간 (