17.2 미니맥스 알고리즘의 형식적 정의와 최적 전략 개념