6-11. 엠프티 레탱글

엠프티 레탱글(Empty Rectangle, 빈 직사각형)은 하나의 박스 안에서 동일한 후보 숫자들의 그룹을 살펴보는 기술입니다.

이 비어 있는 직사각형 모양이 아마도 이 기술의 이름이 된 유래일 것입니다.

작동 원리 (How it works)

엠프티 레탱글 기술에는 다음 요소들이 필요합니다:

• 두 후보 숫자 사이의 강한 링크 (두 개의 [파란색 6] 중 하나가 거짓이면, 다른 하나는 참이 됩니다.)
• 가장 넓은 의미에서 빈 직사각형 형태를 포함하는 박스 ([주황색 6])
• 제거할 수 있는 후보 숫자 ([빨간색 6])

제거 대상 후보 숫자의 관점 (Elimination candidate's point of view)

만약 [초록색 6]이 정답이라면, 같은 선상(행 또는 열)에 있는 모든 [빨간색 6]을 제거하게 됩니다.

또한 그것은 연결된 [빨간색 6]을 제거하게 되고, 이는 강한 링크로 인해 다른 [초록색 6]을 참으로 만듭니다.

그러면 이 [초록색 6]은 같은 선상에 있는 모든 [빨간색 6]을 제거하게 됩니다.

이제 박스 안의 모든 6이 제거되었으므로, 유효하지 않은 상태(모순)가 됩니다.

이것은 우리의 초기 가정이 틀렸음을 보여주며, 따라서 우리는 왼쪽 상단의 6을 제거할 수 있습니다.

그룹 박스의 관점 (Group box's point of view)

그 제거가 어떻게 이루어지는지 보여주는 또 다른 방식이 있습니다: 이 [초록색 6] 중 하나가 참이 되어 직접적으로 [빨간색 6]을 제거하거나...

... 또는 이 [초록색 6] 중 하나가 참이 될 것입니다. 이 경우, 오른쪽 아래의 [파란색 6]은 거짓이 되고, 오른쪽 위의 [파란색 6]은 참이 됩니다. 그 결과는 역시 [빨간색 6]이 참이 될 수 없다는 것이며, 따라서 이를 확실하게 제거할 수 있습니다.

허용되지 않는 경우 (Not allowed)

이 예시처럼 관련된 다른 후보 숫자들과 일직선으로 정렬되지 않는 추가 후보 숫자가 박스 안에 있다면, 이 논리가 성립하지 않는다는 것을 쉽게 알 수 있습니다.

또한 강한 링크가 포함되어 있는지도 중요합니다. 만약 해당 열에 추가 후보 숫자가 있어서 약한 링크가 된다면, '한 6이 거짓이면 다른 6은 반드시 참이어야 한다'는 논리를 사용할 수 없게 됩니다.

허용되는 경우 (Allowed)

박스 안의 모든 후보 숫자 자리가 채워져 있어야 하는 것은 아닙니다. 직각(직교) 방향으로 향하는 두 그룹만 남아 있다면 충분합니다. 따라서 이 예시 또한 완전히 유효합니다.

두 그룹이 반드시 박스의 구석에서 만나야 할 필요도 없습니다. 이런 형태도 확실히 가능합니다.

예시 (Examples)

[파란색] 강하게 연결된 셀들

[주황색] 그룹화된 셀/후보 숫자들

[빨간색] 제거할 수 있는 후보 숫자

마무리 (Finished)

언제나 그렇듯, 즐겁게 풀어보시고 행운을 빕니다!