얼룩말 퍼즐은 집 다섯 채가 나오는 유명한 논리 퍼즐이에요. 집은 각각 다른 색으로 칠해져 있고, 사는 주민도 서로 달라요. 주민들은 국적도 다르고, 키우는 반려동물도 다르고, 마시는 음료도 다르고, 즐기는 취미도 달라요.
퍼즐을 풀 수 있도록, 정답을 설명하는 15개의 명제가 주어져요. 하지만 모든 명제의 정보를 조합해야만 퍼즐의 정답을 찾을 수 있어요.
얼룩말 퍼즐은 제약 충족 문제(CSP)예요. 이런 문제에는 가능한 값의 집합과, 어떤 값이 유효한지 제한하는 제약 조건의 집합이 있어요. 잘 알려진 또 다른 CSP로는 스도쿠가 있어요.
이번 과제는 얼룩말 퍼즐을 풀어서 다음 두 가지 질문의 답을 찾는 거예요:
다음 15가지 문장은 모두 참이라고 알려져 있어요:
게다가 다섯 채의 집은 각각 다른 색으로 칠해져 있고, 그곳에 사는 사람들은 각각 다른 국적이고, 다른 반려동물을 키우고, 다른 음료를 마시고, 다른 취미를 가져요.
가능한 해답은 240억 가지(5!⁵ = 24,883,200,000)나 되니, 최대한 많은 해답을 걸러 내봐요.