바둑에서 지지 않는 전략의 존재성에 대하여

On the Existance of a Strategy not losing in the Baduk Game

이 논문에서는 바둑에서 반면의 상태를 하나의 함수 f : N₁₉×N₁₉{0, 1, 2}로 표현하여 바둑의 수학적 취급의 토대를 마련하였으며 바둑의 규칙을 공리화하여 6개의 공리로부터 출발하여 흑의 전략, 백의 적략을 정의하고 흑과 백의 전략이 하나의 전장을 형성할 때, 이 전장에 대하여 하나의 차분방정식을 만족하는 기보가 유일하게 존재함을 보였고 특히 바둑에서 지지 않는 전략이 존재한다는 것을 증명하였다.

In this paper, we represent the state of baduk board as a function of the form f : N₁₉×N₁₉→{0, 1, 2} and give a foundation of mathematical treatment of baduk. We convert the rules of baduk into the series of six axioms and define, in section Ⅱ, the battlefield, the strategy of black, and the strategy of white. We prove that for a given battlefield, there exists a unique kibo(the record of a game of baduk) that satisfies a certain difference equation correspoinding to the battlefield. In particular, we prove that there exists a strategy in baduk game with which one never lose the game.