earticle

한국어

우리는 바둑 게임에서 전술적인 정리(定理)를 효율적으로 증명 할 수 있는 방법을 제시한다. 우리는 바둑게임중 다른 전술적인 하위게임들을 정리 증명하는 것을 실험해 왔다.
즉, 수상전, 연결 게임, 사활게임들이 그것들이다. 정리 증명은 전술적인 바둑 문제를 해결하는 데 매우 효과적이다. 찾아낸 수(手)들은 언제나 정확하고, 보통의 알고리즘보다도 더 빨리 수(手)를 찾아낸다. 이 논문에서 우리는 구체적인 예제들과 연관된 알고리즘을 제시하고 있으며, 대국자들에게 흥미를 불러일으킬 수 있는 실현가능한 응용문제들을 약술하고 있다. : 즉, 초보자들이 돌들을 사로잡고 연결하는 것을 배우는 교육프로그램들, 중급자들을 위한 문제 해결 프로그램들, 그리고 심지어는 완벽하게 바둑문제들을 맞추거나 만드는 능숙한 선수들에게조차도 흥미를 불러일으킬 수 있는 일부 응용문제들이 그것이다.