색칠
색칠
강한 링크란 무엇인가?
강한 링크(공액 쌍)는 어떤 숫자가 하우스 내 정확히 두 셀에 후보로 나타날 때 존재합니다. 하나는 그 숫자를 가져야 하고, 다른 하나는 가질 수 없습니다. 이 이진 관계가 모든 색칠의 기초입니다.
간단한 색상: 단일 숫자 색칠
한 번에 하나의 숫자를 다룹니다. BFS를 사용하여 공액 쌍을 통해 교대로 색을 할당합니다. 한 색 그룹은 전부 참이고, 다른 하나는 전부 거짓입니다. 레벨 5(어려움).
컬러 트랩과 컬러 랩
컬러 트랩: 두 색을 모두 보는 색칠되지 않은 셀는 그 숫자를 포함할 수 없습니다.
컬러 랩: 같은 하우스를 공유하는 같은 색의 두 셀은 모순입니다. 그 색 전체가 거짓이고, 다른 색이 참으로 확정됩니다.
3D 메두사 컬러링: 다중 숫자 색칠
이값 셀 링크를 사용하여 여러 숫자에 걸쳐 색칠을 확장합니다. 이값 셀의 두 후보는 반대 색을 갖습니다. 이는 함의의 3차원 그물을 만듭니다. 레벨 12(극한).
메두사 제거 규칙
규칙 1: 컬러 랩간단한 색상와 동일하지만 다중 숫자 범위).
규칙 2: 컬러 트랩간단한 색상와 동일하지만 다중 숫자 범위).
규칙 3: 같은 셀, 같은 색 -- 하나의 셀에서 색이 일치하는 두 숫자는 그 색이 모든 곳에서 거짓임을 의미합니다.
규칙 4: 셀의 두 색 -- 두 색을 모두 가진 셀는 모든 색칠되지 않은 후보를 제거합니다.
간단한 색상 대 메두사 컬러링
간단한 색상: 하나의 숫자, 더 빠름, 레벨 5. 메두사: 여러 숫자, 더 강력함, 레벨 12. 메두사는 간단한 색상를 포함하지만 수동으로 적용하기는 훨씬 어렵습니다. 간단한 색상를 먼저 배우세요.
색칠이 기법 계층에 어떻게 맞는가
색칠은 전체 그리드에 걸쳐 논리적 논증을 구축한다는 아이디어를 도입합니다. 간단한 색상는 X-체인과 관련이 있습니다. 메두사 컬러링는 AIC와 관련이 있습니다. 색칠을 배우면 모든 체인 기반 추론을 준비하게 됩니다.
요약
간단한 색상(레벨 5)는 단일 숫자에 공액 쌍을 사용하며 컬러 트랩과 컬러 랩 규칙을 갖습니다. 3D 메두사(레벨 12)는 이값 셀을 통해 여러 숫자로 확장되며 같은 셀 같은 색 및 셀의 두 색 규칙을 추가합니다.