알고리즘 분석의 이론적 경계 조건 탐구