'A Logical Labyrinth (논리 미궁)'이란 제목으로 인터넷에 있는 문제입니다.
이 퍼즐은 1982년 Smullyan의 저서 'The Lady or the Tiger'에 실린 것으로, 12개 중 마지막, 가장 어려운 문제로 소개되어 있다고 합니다. 예전 올린 것과 같은 설정입니다. 죄수는 여성(lady)이 있는 방을 선택해야 결혼/해방입니다. (비슷한 motive의 소설이 있다고 하지요)
이 문제에는 방이 9개 등장합니다. 각 방의 문에는 문장이 아래와 같이 붙어 있습니다.
문 1 : 여성은 홀수 번호 방에 있습니다.
문 2 : 이 방은 비어 있습니다.
문 3 : 문장 5가 맞거나 문장 7이 틀립니다.
문 4 : 문장 1은 거짓입니다.
문 5 : 문장 2가 맞거나 문장 4가 맞습니다.
문 6 : 문장 3은 거짓입니다.
문 7 : 여성은 방 1에 들어 있지 않습니다.
문 8 : 이 방에 호랑이가 들어 있고 방 9는 비어 있습니다.
문 9 : 이 방에 호랑이가 들어 있고 문장 6은 거짓입니다.
덧붙여서, 아래의 전제가 있습니다.
- 여성은 오직 한 방에만 들어 있고, 다른 방은 호랑이가 있든가 비어 있음.
- 어느 방이든 여성이 들어 있으면 그 방의 문장은 참임.
- 어느 방이든 호랑이가 들어 있으면 그 방의 문장은 거짓임.
- 어느 방이든 비어 있으면 그 방의 문장은 참일 수도, 거짓일 수도 있음.
- 왕이 8번 방이 비어 있는지 어떤지를 알려 줌으로써 비로소 죄수는 유일해를 찾을 수 있었음.
문제 : 여성이 들어 있는 방은 몇 번입니까?
덧글 : 이 좋은 문제를, either A or B를 XOR로 해석하는 바람에 답이 안나오더라는...위 문제에서 or는 걍 OR 구문임. 그래야 풀리는 문제임 --+
(참고 - 원문은 아래와 같습니다)
A Logical Labyrinth
A prisoner is faced with a decision where he must open one of nine doors. The rooms behind each door may be empty or contain either a lady or a tiger.
If the prisoner opens a door to find a lady he will marry her and if he opens a door to find a tiger he will be eaten alive. The prisoner would prefer to be married than either be eaten alive or to face emptiness. Each door has a sign bearing a statement which may be either true or false.
The statements on the nine doors are:
1. The lady is an odd-numbered room
2. This room is empty
3. Either sign 5 is right or sign 7 is wrong
4. Sign 1 is wrong
5. Either sign 2 or sign 4 is right
6. Sign 3 is wrong
7. The lady is not in room 1
8. This room contains a tiger and room 9 is empty
9. This room contains a tiger and sign 6 is wrong
In addition, the prisoner is informed that only one room contains a lady; each of the others either contain a tiger or are empty. The sign on the door of the room containing the lady is true, the signs on all the doors containing tigers are false, and the signs on the doors of empty rooms can be either true or false.
The prisoner is told whether or not room eight is empty and this knowledge helps him find a unique solution.(Smullyan) - unquote