10.13 탐색 문제의 형식적 정의와 상태 공간 모델