소거법 추론 게임: 부정 논리의 실전 적용
특히 만족감이 큰 사고 방식이 있습니다. 바로 소거법 추론입니다. 정답을 바로 찾기보다 불가능한 경우를 체계적으로 제거해 마지막 확실성에 도달하는 방식이죠. 탐정, 수학자, 고수 퍼즐 플레이어가 공통으로 쓰는 방법이며, 브라우저에서 무료로 충분히 연습할 수 있습니다.
정의: 소거법 추론이란?
소거법 추론은 가능한 해답 공간을 단계적으로 축소하는 방법입니다. 알려진 제약 하나가 여러 가설을 제거하고, 제거가 누적되면서 탐색 공간이 줄어듭니다. 모든 불가능을 지운 뒤 남는 해답은 “가능성이 높은” 수준이 아니라 논리적으로 필연적인 정답이 됩니다.
이 방식은 무작위 시도(찍기)나 직관 의존(그럴 것 같은 답 고르기)과 다릅니다. 소거법은 절차적이고 기록 가능하며 재현 가능합니다. 전제는 단 하나, 각 제약을 정확하게 적용하는 것입니다.
귀납 vs 연역: 핵심 차이
두 사고 방식은 자주 혼동됩니다. 귀납은 개별 사례에서 일반 규칙을 추정하므로 항상 불확실성이 남습니다. 연역은 이미 확정된 규칙에서 필연 결론을 도출합니다.
온라인 추론 게임은 기본적으로 연역으로 작동합니다. 규칙은 고정되어 있고 단서는 명시적이며, 올바른 추론 단계는 100% 확정 결론을 만듭니다. 그래서 운보다 논리로 이기는 감각이 강하게 느껴집니다.
소거법이 강력한 4개 분야
1. Cluedo — 사회적 단서 추론
범인, 장소, 도구를 추적하는 구조입니다. 상대가 보여준 카드 하나가 후보 하나를 제거하고, 턴이 쌓일수록 가능성 공간이 수축합니다. 상위권 플레이어는 대부분 제약 표를 직접 기록하며 진행합니다.
2. Mastermind / Décodeur — 이진 피드백 추론
1970년 Mordecai Meirowitz가 고안한 Mastermind는 두 피드백(자리·색 일치 / 색만 일치)을 해석해 비밀 코드를 찾습니다. 각 시도는 대량의 후보 코드를 일괄 제거합니다. Knuth(1977)의 최적 전략 기준으로 4색 코드는 최대 5수 내 해결이 가능합니다.
3. Minesweeper / Zone Piégée — 확정과 확률의 경계
지뢰찾기는 순수 연역과 확률 계산이 결합된 장르입니다. 열린 칸의 숫자는 주변 지뢰 수 제약을 제공하고, 이를 통해 클릭하지 않고도 안전 칸/지뢰 칸을 확정할 수 있습니다. 일반형은 NP-완전 문제로 알려져 있어, 후반 일부 배치는 확정 연역만으로는 해결되지 않고 확률 판단이 필요합니다.
4. Nonogram — 연쇄 제약 퍼즐
노노그램(픽크로스)은 행·열 단서 숫자로 채움 블록을 맞추는 퍼즐입니다. 한 칸의 확정이 인접 행·열 제약을 갱신하고, 이 갱신이 다시 다른 확정을 만드는 연쇄 구조가 핵심입니다.
"불가능한 것을 모두 제거하고 나면, 아무리 믿기 어렵더라도 남은 것이 진실이다."
— 아서 코난 도일, 셜록 홈즈 (네 개의 서명)소프트 제약 vs 하드 제약
모든 제약의 힘이 같지는 않습니다. 하드 제약은 절대적입니다. 예: “A3에는 지뢰가 없다”, “코드에 파랑이 반드시 포함된다”. 즉시 확정 소거가 가능합니다.
소프트 제약은 확률만 조정합니다. 예: “B2가 C4보다 지뢰일 가능성이 높다”. 확정 소거가 끝난 후 의사결정을 돕지만, 잔여 리스크가 존재합니다. Zone Piégée나 Nonogram 고난도에서 이 구분 인식이 실력 차이를 만듭니다.
로직 퍼즐의 제약 테이블 기법
로직 퍼즐(일명 zebra puzzle)은 사람·속성 매칭을 단서로 해결합니다. 가장 보편적인 방법은 이중 입력 제약 테이블입니다.
카테고리끼리 교차한 표를 만듭니다(예: 사람 × 동물, 사람 × 음료, 동물 × 음료). 각 칸은 O(확정), X(불가능), 빈칸(미확정)으로 관리합니다.
“앨리스는 개를 키운다” 같은 직접 단서부터 처리합니다. 앨리스/개에 O를 두고, 같은 행·열의 배타 조합은 X로 채웁니다.
O/X 하나가 다른 쌍의 가능성에 연쇄 영향을 줍니다. 예를 들어 “개는 빨간 집” 단서가 있으면 “앨리스=개”에서 “앨리스=빨간 집”으로 전파됩니다. 더 이상 새 결론이 없을 때까지 반복합니다.
직접 전파가 막히면 임시 가정을 두고 모순 여부를 확인합니다. 모순이 발생하면 가정은 거짓이고 반대 가정이 참이 됩니다. proof by contradiction 방식으로 80%에서 100%로 넘어가는 핵심 단계입니다.
80%에서 100%로 올라가는 법
대부분의 추론 퍼즐에서 가장 어려운 구간은 “쉬운 소거” 이후의 애매한 후반부입니다. 상급자들은 다음 전략을 씁니다.
- 남은 경우의 수 재계산: 노노그램 한 줄에 3개 배치만 남았다면, 공통으로 겹치는 칸부터 확정합니다.
- 행·열 제약 교차: 같은 칸에 대해 행 제약과 열 제약이 동시에 강제하면 확정입니다.
- 모든 단계를 기록: “맞아 보인다”는 이유로 채우지 않습니다. 모든 결정은 명시 제약으로 설명 가능해야 합니다.
- 독립 하위문제 분리: 퍼즐 내 독립 구역을 따로 해결하면 전체 복잡도가 크게 내려갑니다.
Kognify에서 플레이 가능한 추론 게임 6종
소거법으로 비밀 코드를 찾아내기
무료 논리 추론“누가 어디 사는가” 유형 퍼즐 해결
무료 Zone Piégée폭발 없이 지뢰 지대 해제하기
무료 Nonogram단서로 숨은 이미지를 완성하기
프리미엄 Circuit Logique논리 회로와 연산 흐름 마스터하기
프리미엄 Hidden Links16개 단어를 4개 카테고리로 분류
무료- 시작 전에 전체 표 구성: 가능성 공간을 한눈에 파악할 수 있습니다.
- 확실성 높은 단서부터 처리: 직접 단서 → 간접 관계 순으로 진행하세요.
- “아마도” 표시는 금지: 확신이 없으면 빈칸 유지가 원칙입니다.
- O 하나는 X 연쇄를 만든다: 같은 행·열의 배타 관계를 즉시 반영하세요.
- 80%에서 멈추면: 귀류법 가정(거짓 가정 → 모순 확인 → 참 확정)을 적용하세요.
| 게임 | 제약 유형 | 100% 확정 가능성 | 난이도 |
|---|---|---|---|
| Décodeur | 이진 피드백(자리/비자리) | 가능 | 중간 |
| 논리 추론 | 텍스트 단서 | 가능 | 중간~상 |
| Zone Piégée | 인접 숫자 제약 | 부분 가능 | 상 |
| Nonogram | 행/열 블록 제약 | 가능 | 중간~상 |
| Circuit Logique | 값 전파 제약 | 가능 | 상 |
| Hidden Links | 숨은 카테고리 | 부분 가능 | 하~중 |
자주 묻는 질문
게임에서 소거법 추론이란 무엇인가요?
소거법 추론은 가능한 해답에서 불가능한 선택지를 순차적으로 제거하는 방식입니다. 정답을 직접 맞히기보다 오답을 지워 마지막 하나의 확정 해답으로 수렴합니다. Cluedo, Mastermind(Décodeur), Minesweeper(Zone Piégée), 노노그램에서 핵심적으로 쓰이는 논리입니다.
연역과 귀납의 차이는 무엇인가요?
연역은 알려진 규칙에서 확실한 결론을 도출하고, 귀납은 사례에서 규칙을 추정하므로 불확실성이 남습니다. 소거법 추론 퍼즐은 연역 기반이며, 각 칸은 확실한 근거로만 채워야 합니다.
로직 퍼즐의 제약 테이블은 어떻게 써야 하나요?
카테고리를 교차한 표를 만들고 불가능 조합은 X, 확정 조합은 O로 표시하세요. 새 단서를 반영할 때마다 연쇄 파생 제약을 즉시 전파하는 것이 핵심입니다. 직관이 아닌 근거 기반 표기가 원칙입니다.
Kognify의 Décodeur는 Mastermind와 같은 게임인가요?
네, 기본 원리는 같습니다. 비밀 코드의 자리·색 일치 단서를 해석해 정답 코드를 찾습니다. Kognify 버전은 짧은 세션, 점수 시스템, 젠 모드 등 온라인 플레이 최적화를 제공합니다.
퍼즐에서 80%에서 100%로 가는 방법은?
쉬운 소거가 끝난 뒤에는 “가정 후 모순 검사”를 적용하세요. 임시 가정이 모순을 만들면 거짓으로 확정되고, 반대 가정이 참이 됩니다. 이 과정이 후반부 완성도를 크게 끌어올립니다.
