알고리즘 설계에서의 대수적 변환