대비자(x)는 ...
{
in. [넘김 규칙] : 선행자(x)가 아니면, 구분기호를 (x)로 넘긴다.
{
1. [여울 규칙] : 한정하는 여울(x)을 열어 짓는다.
{
2. [두울 규칙] : <두울한정조건>을 만족하면, 두울_자리(x)를 받을 수 없다. (두울 짓기)
1. [한울 규칙] : <한울한정조건>을 만족하면, 한울_자리(x)를 받을 수 없다. (한울 짓기)
0. [빈울 규칙] : <빈울한정조건>을 만족하면, 온울_자리(x)를 받을 수 없다. (온울 짓기)
:
... 이상의 경우가 아니면, 각 여울자리(x)를 버릴 수 있다. (여울 열기)
}
2. [낳음 규칙] : 섬돌(x)을 모두 낳아 버린다.
3. [놓음 규칙] : 하나의 선돌(x)을 빈_자리에 받아 놓는다.
}
out. [넘음 규칙] : 새밭이 없으면, <바둑의 진행 과정>을 넘는다.
}
[보조 규칙] : ~~~!
1. <두울한정조건> : <연장>이고, 두울군(x)n에 <포함>이고, 안섬 쌍의 크기에서 <수대칭>이며, <두울_자리>이다.
2. <한울한정조건> : 올 둘러섬에 섬인 돌둑(x)n이 존재하지 않으며, <한울_자리>이다.
3. <빈울한정조건> : <온울>이고, 모든 둘러섬을 하나로 연결하는 자리가 오직 하나가 아니며, <온울_자리>이다.
약식 설명 >>
1) [수행규칙]은 그 자체로 순환의 형태로 적용된다. (따라서 탈출 방법이 필수적이다)
2) [넘김 규칙]을 제외하고 해당 사항의 없으면 생략(zero 적용)한다.
-> 수넘김(허수, pass)은 없다. ([놓음 규칙]을 적용할 빈_자리가 없으면 종국이다)
3) [여울규칙]은 [두울->한울->빈울 규칙]을 순차적으로 적용한다.
4) 섬돌은 이음자리가 없는 돌둑에 포함된 돌이다.
5) 선돌은 표시기호와 구분기호의 결합체이다.
6) 새밭은 직/간접적으로 차지할 수 있는 상대적으로 새로운 밭이다.
7) [수행규칙]은 전체 진행 규칙의 일부일 뿐이다. ( [수행규칙] 위반, [보조 규칙], 시간 규칙, 대회 규칙, 규약 등 )
8) 일반적으로 생략하는 최초의 선행자를 백으로 한다.
9) [수행 규칙]은 순환 가능한 모든 경우를 배제한다. (단, 보조 규칙을 요청한다.)
10) [넘김 규칙] 적용으로 구분기호가 (x)가 아니면, 다음 [_규칙]을 적용할 수 없다.
11) ...
cf) 여울(두울/한울/빈울)에 대해서는 ...
아주 간단히 ->
두울(상호 순환 형태) : 가능한 상호 순환의 모든 경우 -> 패(동형 반복 금지)
한울(자기 순환 형태) : 가능한 자기 순환의 모든 경우 -> 자살(착수 금지)
온울(자체 순환 형태) : 순환에 기여하는 경우와 종국의 보장 -> 자충(눈에 놓는 경우 금지)
⊙ (12/06/23)
논리적으로 순환 가능한 모든 두울을 제약하는 것은 현실적으로 적용범위가 너무 넓습니다.
상식적으로 "돌의 수가 같아야 순환이 가능하다"는 점을 고려하여,
실제적인 두울의 발생과 연장의 조건을 다음과 같이 규정합니다.
[두울의 수_대칭 규정] : 두울 밖의 안섬_쌍(p)이 빈_자리를 포함하는 경우,
Tip-> [두울의 수_대칭 규정]은 실제적인 대안이므로, 변경 가능합니다.
이러한 조건을 충족하는 두온 프로그램입니다.
-> 두온의 [수행 규칙]입니다.
순환인 경우(0)를 알려주시면, 반영하겠습니다. (2010/03/27 시작) : <- 2010/03/30일 현재.
(단, 두온_바둑의 [수_대칭 규정]을 준수하는 조건입니다.)
θ