Chapter 15. A* 탐색 알고리즘 증명과 시간/공간 복잡도 분석