15.2 A* 알고리즘의 형식적 정의와 입력/출력 명세