지금까지 논의한 두울과 관련된 내용을 요약 정리하고자 합니다.
◎ [수행규칙] :
[ 0 ] : 여울을 열어 짓는다. ( 읽기 )
☆ 여울자리(p)에 돌(p)의 받아 놓음을 가정할 때,
[ 00 ] : 그 둘러섬(q)n이 모두 없으면, 여울자리(p)를 버릴 수 있다.
[ 01 ] : [ 그 두울에서 안섬쌍(p)과 크기가 다른 안섬쌍(q)n이 있으면,
여울자리(p)를 버릴 수 있다.] -[충분규칙]
[ 02 ] : 그 둘러섬이 모두 여울에 포함이면, 여울자리(p)를 받을 수 없다.
[ 1 ] : 섬인 돌둑(p)n의 돌(p)n을 모두 낳아 버린다.( 지우기 )
[ 따름 ] : 여울자리(p)를 버릴 수 있으면, 자리에서 버린다.
[ 2 ] : (오직) 하나의 돌(p)을 자리에 받아 놓는다.( 쓰기 )
◎ [충분규칙]의 적용...
0. [수행규칙]의 무효화를 시도하지 않는다(전제).
1. [ 그 두울에서 안섬쌍(p)과 크기가 다른 안섬쌍(q)n이 있으면,
여울자리(p)를 버릴 수 있다. ]
☞ 단, (단속)이음의 완료이면,
(단속)이음조건을 적용하고, [충분규칙]을 적용하지 않는다.
또한, 돌의 놓음이 두울구조를 벗어나면,
(연속)이음조건을 적용하고, [충분규칙]을 적용한다.
◎ 두울(안섬) 조건 :
0. 모든 안섬쌍을 돌둑으로 가정하면, 모두 다 섬이다(전제).
1. 내적(안)으로, 여울구조를 포함하지 않는다(돌둑).
2. 상대적(밖)으로, { 마주섬 or 안에섬 }이 하나 이하이다.
◎ 한울(연속)이음 : 두울안섬 조건을 전제,
1. 한울(연속)이음의 발생 : 돌둑(q)n의 맺음자리에 놓음이다.
2. 한울(연속)이음의 유지 : 이미 한울이음인 안섬쌍(p)n에 놓음이다.
◎ 두울(연속)이음 : 두울안섬 조건을 전제,
1. 두울(연속)이음의 발생 : 자리(x)에 이웃한 돌둑(q)n의 모든 이음자리가
모두 가능 올둑(p)에 포함인 그러한 자리(p)에 놓음이다.
2. 두울(연속)이음의 유지 : 이미 두울이음인 안섬쌍(p)n에 놓음이다.
◎ 한울/두울(단속)이음 : 두울안섬 조건을 전제,
{ 전제... 이미 발생한 안섬쌍(p)n에 포함된 자리(p)가 아니다.
가정q)... (p)의 올둑에 포함 or 이웃이고, 자리 x를 포함하지 않는 올둑(q)을
안섬쌍이 가능한 돌둑(백)으로 가정한다.
가정p)... 가정한 돌둑(백)에 이웃하고, 자리 x를 포함하는 올둑(p)을
안섬쌍이 가능한 올둑(흑)으로 가정한다. }
1. 가정한 돌둑(백)과 돌둑(흑)이 두울조건을 만족한다.
2. 이미 (단속)이음인 안섬쌍(p)n에 놓음이다.
※ 두울안섬 조건을 상대적인 입장에서 가능돌둑에 까지 확장해서 규정한 결과이다.
그러므로 두울안섬 조건과 그 규정된 내용은 동일하다.
단, 그 표현 방법이 상대적으로 받음의 입장이고, 가능돌둑을 포함해서 규정하고 있다.
※ 먼저 상대방(백)의 안섬 가능성을 확인하여 가능한 경우 가능돌둑(백)으로하고-옫둑(백)n,
그 다음에 상대방-올둑(백)n-에 대한 자신의 안섬 가능성을 2차적으로 확인한다-올둑(흑).
이처럼 여울짓기은 그 규정방식이 거꾸로이다-입장 바꿔 생각을 해봐~~요...
거꾸로 규정하기에 여울짓기 조건을 만족하는 자리는 두울을 끝내지 못한다.
오히려 여울짓기 조건을 위반하는 자리에 놓을 때, 두울의 연속이 끝난다.
1. 한울(연속)이음의 완료 : 안섬쌍(q)n을 낳음하고, 안섬쌍(p)이 맺음이다.
2. (단속)이음의 완료 : 두울 안에서 안섬쌍이 두번째 맺음이다.