논리 추리 퍼즐

논리 그리드 퍼즐이란?

논리 그리드 퍼즐은 몇 명의 인물과 그들의 특징(좋아하는 것, 소유한 것, 맡은 역할 등)이 주어지고, 문장으로 된 단서만으로 "누가 무엇에 해당하는지"를 모두 알아내는 추리 퍼즐입니다. 정답은 모든 단서를 동시에 만족하는 단 하나의 조합이며, 이 페이지의 4개 퍼즐은 가능한 모든 조합을 컴퓨터로 전수 검사해 해가 정확히 하나뿐임을 확인해 둔 것입니다. 찍어서 맞히는 게임이 아니라 단서를 하나씩 적용해 후보를 줄여 가는 연습용 게임이라 생각하시면 됩니다. 퍼즐 1·2·3은 3명이 각각 항목 2개를 갖는 형태이고, 퍼즐 4는 4명이 등장합니다.

이 게임의 사용법

• 화면 위쪽에 단서 목록이 있고, 아래에는 사람마다 드롭다운 두 개(예: 좋아하는 색, 반려동물)가 있습니다.
• 모든 사람에게 두 항목을 고른 뒤 "정답 확인하기"를 누르면 결과가 나옵니다.
• 같은 항목을 두 사람에게 고르거나 빈칸이 남아 있으면 판정 대신 어디가 문제인지 먼저 안내합니다.
• 정확하지 않을 때는 몇 명의 칸이 맞았는지만 알려 줍니다. 어느 사람이 맞았는지는 알려 주지 않으므로 단서로 다시 추리해야 합니다.
• "선택 초기화"는 현재 퍼즐의 선택만 지우고, "다른 퍼즐"은 방금 푼 퍼즐과 다른 퍼즐을 무작위로 불러옵니다.
• 진행 상황이나 기록은 어디에도 저장하지 않습니다. 페이지를 새로 고치면 선택은 모두 사라집니다.

풀이 원리: 후보를 소거하는 방법

한 속성(예: 색깔)에 대해 사람 수가 n명이면 배정 방법은 n!가지입니다. 속성이 두 개이므로 전체 후보 조합은 (n!)×(n!)개입니다. 단서는 이 후보 중 일부를 탈락시키는 필터라고 생각할 수 있습니다. 풀이 전략은 세 가지 규칙으로 요약됩니다.

1. 부정 단서는 칸을 지운다. "민수는 파랑이 아니다"는 민수와 파랑의 짝을 지웁니다. 3명 퍼즐에서 이런 단서 하나는 후보를 3분의 1 줄입니다.
2. 긍정 단서는 칸을 확정한다. "지은은 고양이를 키운다"처럼 짝이 확정되면 지은의 다른 동물과 다른 사람의 고양이가 한꺼번에 지워집니다. 후보 수가 가장 크게 줄어드는 단서입니다.
3. 한 줄에 하나만 남으면 확정한다. 어떤 사람에게 가능한 항목이 하나만 남거나, 어떤 항목이 들어갈 사람이 한 명뿐이면 그 짝이 확정되고 다시 다른 칸이 지워집니다.

"A를 키우는 사람은 B를 좋아한다"처럼 두 속성을 잇는 단서는 사람 이름이 직접 나오지 않지만, 이 사람이 누구인지 모른 채로도 "A와 B는 같은 사람"이라는 묶음 정보로 기억해 두면 나중에 한쪽이 확정되는 순간 다른 쪽도 함께 확정됩니다. 반대로 "A를 키우는 사람은 B를 좋아하지 않는다"는 묶을 수 없다는 정보이므로, A와 B가 같은 사람에게 모이는 경우를 후보에서 제거합니다.

단서를 적용할수록 후보가 줄어드는 과정 (빌드 시 전수 계산)

아래 표는 각 퍼즐의 단서를 위에서부터 한 개씩 적용했을 때 남는 후보 조합 수를 컴퓨터가 전부 세어 만든 것입니다. 마지막에 1이 되면 해가 하나로 정해졌다는 뜻입니다. 단서를 나열하는 순서에 따라 중간 숫자는 달라질 수 있지만, 모든 단서를 적용한 결과는 항상 같습니다.

표에서 눈에 띄는 점은 첫 단서의 위력입니다. 3명 퍼즐에서 36개이던 후보가 첫 단서(부정형)로 24개가 되었고, 4명 퍼즐은 576개에서 432개가 되었습니다. 한 사람이 가질 수 있는 항목이 n개에서 n-1개로 줄면 후보가 (n-1)/n배가 되기 때문입니다. 3명이면 2/3, 4명이면 3/4입니다. 반대로 마지막 구간에서는 숫자가 2에서 1로 줄어드는 단서 하나가 모든 것을 결정하기도 합니다. 그 마지막 단서를 놓치면 정답에 가까운 두 안을 두고 헤매게 됩니다.

인물 수에 따른 전체 후보 조합 수

인물이 3명에서 4명으로 한 명 늘면 후보는 36개에서 576개로 16배가 됩니다. 5명이면 14,400개입니다. 사람이 표를 그려 푸는 퍼즐이 보통 4~5명을 넘기지 않는 것은 이 때문이며, 속성이 세 개 이상으로 늘면 후보가 더 빠르게 늘어납니다. 이 페이지는 속성이 두 개인 퍼즐만 다룹니다.

손으로 따라가 보는 예시 두 가지

예시 1: 세 사람과 과일 (속성 1개)

가온·나래·다솜이 사과·귤·포도를 하나씩 먹는다고 하고 단서를 순서대로 적용해 봅니다. 단서 ① 가온은 포도를 먹지 않는다 ② 나래는 사과를 먹지 않는다 ③ 가온은 귤을 먹지 않는다 ④ 다솜은 귤을 먹지 않는다. 모든 경우의 수 6가지에서 시작해 ①을 적용하면 4가지, ②를 적용하면 3가지, ③을 적용하면 2가지, ④를 적용하면 1가지가 남습니다. 사람의 눈으로는 ①과 ③에서 가온이 포도도 귤도 아니므로 사과로 확정됩니다. 그러면 나래와 다솜에게는 귤과 포도만 남고(②는 이때 이미 충족되는 단서입니다), ④에서 다솜이 귤이 아니므로 다솜은 포도, 나래는 귤이 됩니다. 이 순서가 "확정 → 다른 칸 지우기 → 또 확정"의 전형적인 흐름입니다. 단서 ②처럼 다른 단서로 이미 결론이 난 뒤에는 새 정보를 주지 않는 단서도 있다는 점도 알아 두세요.

예시 2: 후보 수 직접 세어 보기

4명 퍼즐에서 "하린은 사회를 맡지 않는다"만 알려졌다고 합시다. 역할 배정은 4! = 24가지이고, 하린이 사회인 경우는 나머지 3명이 3! = 6가지로 배정되므로 24 - 6 = 18가지가 남습니다. 간식 배정 24가지는 그대로이므로 전체 후보는 18 × 24 = 432개로, 위 표의 첫 단서 적용 값과 일치합니다. 이렇게 자기 손으로 한 번 세어 보면 부정 단서 하나의 위력이 후보의 1/n이라는 사실이 실감 납니다.

흔한 실수와 주의할 점

• "~이면서 ~이다"를 서로 다른 사람으로 읽는 실수: "강아지를 키우는 사람은 초록을 좋아한다"는 두 속성이 같은 사람에게 붙는다는 뜻입니다.
• 부정 단서를 긍정으로 착각하기: "~를 좋아하지 않는다"는 그 사람이 나머지 둘 중 하나라는 뜻일 뿐, 특정 항목으로 정해 주지 않습니다.
• 확정된 칸을 다른 사람에게 다시 쓰기: 각 항목은 한 사람에게만 해당합니다. 이 게임은 드롭다운에서 같은 항목을 중복 선택할 수 있지만 정답 판정에서는 중복을 허용하지 않습니다.
• 찍고 확인 버튼을 반복해서 누르기: 일치 개수만 알려 주는 방식이어서 시행착오로도 풀 수는 있지만, 단서를 쓰지 않으면 추리 연습이 되지 않습니다. 먼저 종이에 표를 그려 지워 나가는 방법을 권합니다.
• 단서 수가 곧 난이도라고 믿기: 위 표처럼 퍼즐 4는 단서가 8개지만, 퍼즐 1은 5개로 해가 정해집니다. 인물 수가 많고 부정 단서가 많을수록 후보를 줄이는 속도가 느려집니다.

한계와 사용상 유의점

이 게임에는 퍼즐이 네 개뿐이고 무작위로 하나를 고르는 방식이라 반복해서 풀면 정답을 기억하게 됩니다. 그래서 학습용으로는 "같은 퍼즐을 다시 풀 때 단서를 몇 개만 보고도 풀 수 있는지"를 스스로 시험해 보는 용도가 적당합니다. 인물 이름이나 항목은 모두 가상의 예시이며 실제 사람과 무관합니다. 힌트 기능이나 타이머, 기록 저장은 없습니다.

풀고 난 뒤 활용하기

논리 그리드 퍼즐에서 연습하는 습관은 일정 조율이나 자리 배정 같은 일상의 제약 문제에도 그대로 쓰입니다. 예를 들어 "A는 월요일 불가, B와 C는 같은 날 불가" 같은 조건을 후보표로 정리하면 가능한 일정이 몇 개인지 금방 보입니다. 퍼즐을 풀 때 처음 하는 일은 항상 확정 가능한 긍정 단서를 먼저 찾아 칸을 지우는 것이고, 그다음에 부정 단서로 남은 후보를 정리하면 됩니다.

다른 추리·퍼즐 게임도 즐겨보세요

색깔 조합을 추리하는 게임은 컬러 코드 추리 게임, 숫자를 추리하는 게임은 숫자 야구, 숫자 칸을 소거법으로 채우는 퍼즐은스도쿠, 그림을 추리해 채우는 퍼즐은노노그램에서 즐길 수 있습니다.

자주 묻는 질문