고정밀 SDP 솔버

본 논문은 Maple 환경에서 고정밀 부동소수점 연산을 활용한 SDP(반정밀 프로그램) 솔버인 SDPTools를 설계·구현하고, 이를 통해 유리계수의 유리함수 전역 최적값을 정확히 인증하는 방법을 제시한다. 1. **배경 및 필요성** 기존 Matlab 기반 SDP 솔버(SeDuMi, SDPT3, DSDP 등)는 고정된 부동소수점 정밀도로 동작한다. 복잡한 수치 구조를 가진 문제, 특히 Rumps 모델과 같은 조건수 큰 문제에서는 수치 오차가 누적되어 하한과 상한 사이의 격차가 크게 벌어지는 현상이 발생한다. 이러한 한계를 극복하기 위해 고정밀 연산이 가능한 심볼릭 시스템인 Maple을 이용해 SDP를 해결하고자 한다. 2. **잠재함수 기반 알고리즘** 반정밀 프로그램 \