본 논문은 상위 수준 문제가 비볼록이고 하위 수준 문제가 강볼록인 경우, 1차 방법을 사용하여 $\epsilon$-정상점을 찾는 오라클 복잡성을 연구합니다. 기존 연구는 $\tilde{\mathcal{O}}(\kappa^4 \epsilon^{-2})$의 상한을 달성했지만, 조건수 $\kappa$에 대한 최적 의존성은 알려지지 않았습니다. 본 연구에서는 $\Omega(\kappa^2 \epsilon^{-2})$의 새로운 하한과 $\tilde{\mathcal{O}}(\kappa^{7/2} \epsilon^{-2})$의 상한을 설정하여, 이러한 설정에서 양방향 문제와 최소-최대 문제 간의 첫 번째 입증 가능한 격차를 보입니다. 또한 고차 스무스 함수, 확률적 오라클, 볼록 하이퍼 객체 등 다양한 설정에 대한 하한을 제시합니다.
