잡담을 위한 소박한 장소

MathJax.Hub.Config({ jax: ["input/TeX","output/HTML-CSS"], tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], processEscapes: true }, "HTML-CSS": { availableFonts: ["STIX", "TeX"], // Add "STIX" for Word style formula preferredFont: "STIX" }, TeX: { equationNumbers: { autoNumber: "AMS" } } }); 이번 포스팅에서는, 대다수의 고급 전략들의 공통분모라 할 수 있는 XY-날개에 대하여 알아보고, 또 이 전략을 바라보는 여러 관점을 소개함으로써 앞으로 등장할 색칠 전략, 연쇄 고리 전..

MathJax.Hub.Config({ jax: ["input/TeX","output/HTML-CSS"], tex2jax: { inlineMath: [['$','$'], ['\\(','\\)']], processEscapes: true }, "HTML-CSS": { availableFonts: ["STIX", "TeX"], // Add "STIX" for Word style formula preferredFont: "STIX" }, TeX: { equationNumbers: { autoNumber: "AMS" } } }); 이번 포스팅에서는 가두기 전략에 대하여 설명하고자 합니다. 교차로 가두기 Strategy : Intersection Lock스도쿠에는 주어진 영역 내에서 숫자들이 특정한 조건을 만족시켜..

이번 포스팅에서는 기본적인 전략 바로 다음에 등장하는 전략들을 살펴보고자 합니다. 1. 드러난 부분집합 이전 포스팅에서 우리는 드러난 하나 전략에 대하여 알아본 바 있습니다. 드러난 하나 전략을 후보 숫자들을 셈하는 접근할 경우, 전략의 논리 자체는 칸 한에는 하나의 숫자가 들어가야 한다는 규칙 자체에서 곧바로 따라나왔었지요. 그리고 이 논리는 여러 칸을 동시에 생각하는 경우에도 비슷하게 확장됩니다. 우선 전략부터 살펴보기로 합시다. 이를 위하여, 용어를 하나 정의하고 넘어가겠습니다. 정의. 스도쿠 퍼즐에서 유닛(unit)이란 각각의 행, 열, 혹은 상자를 가리킨다. 이때, 드러난 하나 전략을 일반화한 드러난 부분집합(naked subset) 전략은 다음과 같이 서술할 수 있습니다. 전략 (드러난 부분집..