Forcing Net

레벨 12 · 검은 띠

전략:

강제

개요

Forcing Net은 단일 체인뿐만 아니라 각 후보의 모든 함의를 동시에 따라가면서 강제 체인를 확장합니다. 이는 더 깊은 모순과 공통 결과를 찾을 수 있는 분기형 함의 네트워크를 만듭니다.

작동 방식

  1. 후보가 여러 개인 셀를 찾습니다.
  2. 각 후보를 차례로 가정하고 그로 인해 발생하는 모든 함의를 따릅니다(하나의 연쇄만이 아님).
  3. 가정이 모순(불가능한 상태)으로 이어지면 그 후보를 제거합니다.
  4. 모든 가정이 같은 결론을 강제하면 그 결론은 유효합니다.

예시

시작 위치

Forcing Net을(를) 찾으세요.

1

r1c1의 각 후보에서 분기

셀 r1c1에는 3개의 후보가 있습니다: {1, 3, 9}.

2

r1c1이(가) 1라고 가정한다

r1c1 = 1 이라고 가정하고 네트 전체를 통해 모든 함의를 따라가세요.

3

이 분기는 모순을 초래한다

이 가정은 모순을 낳으므로 그 가지는 불가능합니다.

4

r1c1에서 1을(를) 제거한다

따라서 1 는 모순을 일으키므로 r1c1 에서 제거할 수 있습니다.

5

결과

기법을 적용한 결과.

팁과 패턴

  • Forcing Net은 하나의 경로만이 아니라 모든 함의를 따르기 때문에 강제 체인보다 더 강력합니다.
  • 계산 비용이 많이 들고 일반적으로 무차별 대입 전의 최후 수단입니다.
  • 분기하는 특성 때문에 손으로 추적하기 어렵습니다.