[논문 리뷰] Speeding up Cylindrical Algebraic Decomposition by Gröbner Bases

David J. D. Wilson, Russell Bradford외 1명|arXiv (Cornell University)|2012. 05. 29.

Polynomial and algebraic computation참고 문헌 11인용 수 14

한 줄 요약

이 논문은 다항식 시스템을 등식과 부등식에 대해 그로버 기저를 사용하여 사전 처리하여 원기둥 대칭 분해(Cylindrical Algebraic Decomposition, CAD)를 가속화하는 방법을 제안한다. 등식에 대한 그로버 기저 감소는 CAD의 복잡도와 시간을 크게 감소시키며, 등식에 기반하여 부등식을 감소시키는 것은 항상 유익하여 성능 저하 없이 더 빠르고 효율적인 분해를 가능하게 한다.

ABSTRACT

Gröbner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical Algebraic Decomposition, inequalities. However, even for a mixed system of equalities and inequalities, it is possible to apply Gröbner bases to the (conjoined) equalities before invoking CAD. We see that this is, quite often but not always, a beneficial preconditioning of the CAD problem. It is also possible to precondition the (conjoined) inequalities with respect to the equalities, and this can also be useful in many cases.

연구 동기 및 목표

• 등식 및 부등식으로 이루어진 다항식 시스템에 대해 그로버 기저 사전 처리가 원기둥 대칭 분해(CAD)를 가속화할 수 있는지 조사한다.
• CAD 문제의 등식 및 부등식 구성 요소에 대한 그로버 감소의 영향을 평가한다.
• 그로버 기저와 CAD를 조합할 경우 다양한 대수 문제에서 일관된 성능 향상이 이루어지는지 확인한다.
• CAD 실행 이전에 최적의 사전 처리 전략을 선택하기 위한 효과적인 히ュ리스틱을 규명한다.

제안 방법

• CAD 문제에 포함된 다항식 등식 집합에 그로버 기저 계산을 적용하여 분해 이전에 시스템을 단순화한다.
• 등식 제약 조건에 기반하여 변수 제거 또는 차수 감소를 통해 부등식을 그로버 감소를 통해 단순화한다.
• 다양한 벤치마크를 통해 TNoI(Total Number of Inconsistent cells)와 실행 시간을 측정하여 성능 향상을 평가한다.
• 기존 CAD와 다른 방법들(예: 부분 CAD를 통한 양자화 제거)과 비교하여 하이브리드 접근법(그로버 + CAD)을 평가한다.
• 모든 방법을 통제된 조건에서 Maple 16과 QEPCAD B를 사용하여 구현하고 벤치마크한다.
• 셀 수와 시간 지표를 통해 변수 순서와 분해 복잡도의 영향을 분석한다.

실험 결과

연구 질문

• RQ1 CAD 문제의 등식을 그로버 기저를 사용하여 사전 처리하면 실행 시간과 셀 수에 측정 가능한 감소가 발생하는가?
• RQ2 등식의 그로버 기저에 기반하여 부등식을 감소시키는 것이 CAD 효율성을 추가로 향상시킬 수 있는가?
• RQ3 그로버 사전 처리가 CAD 성능을 악화시키는 경우가 있는가, 아니면 항상 유익한가?
• RQ4 TNoI 지표는 실제 CAD 성능과 얼마나 관련이 있으며, 최적의 사전 처리 선택을 안내하는 데 유용한가?
• RQ5 그로버 계산의 상대적 비용과 CAD 향상 간의 트레이드오���은 언제 타당한가?

주요 결과

• 등식에 대한 그로버 기저 사전 처리는 CAD의 실행 시간과 셀 수를 일관되게 감소시키며, 일부 사례에서는 최대 70%까지 감소시켰다.
• 등식에 기반하여 부등식을 그로버 감소시키는 것은 성능을 악화시키지 않으며, 특히 복잡한 시스템에서 뚜렷한 속도 향상을 이끌어냈다.
• 두 개의 구와 실린더 예제에서는 TNoI가 8에서 4로 감소했고, 실행 시간은 8654ms에서 270ms로 감소하였다.
• [CMMXY09] 사이클릭-4 예제에서는 하이브리드 접근법으로 인해 시간이 1000초 이상에서 5877ms로 감소하여 상당한 향상이 이루어졌다.
• TNoI 지표는 이전 지표들(예: [DSS04]에서 제안된 지표들)보다 CAD 성능 예측에 더 우수한 성능을 보였으며, 특히 공식화 선택에 있어 유용하였다.
• 그로버 계산의 비용은 일반적으로 CAD 시간에 비해 낮아, 사전 처리가 매우 효과적인 최적화 전략이 되었다.