15.20 가중 A*(Weighted A*) 알고리즘의 정의와 근사 최적성 보장