17.36 미니맥스에서 알파-베타 가지치기로의 이론적 확장