18.2 알파-베타 가지치기의 형식적 정의와 핵심 원리