해석적 수론에서의 다항식 시간 알고리즘 분석