[이상규]

안녕하세요,

수강생 이상규입니다.

안내판x (x | (안내판y (x | y))) 와 같은 지도를 생각할 때,
이를 금열쇠로 열고자 하면
x는 ((금열쇠, 금열쇠), 금열쇠)가,
y는 (금열쇠, 금열쇠)가 필요합니다.

x를 ((금열쇠, 금열쇠), (금열쇠, 금열쇠))로 열려고 하면
(안내판y (x | y))가 암시하는 열쇠 모양이 ((금열쇠, 금열쇠), (금열쇠, 금열쇠))가 되어
x | (안내판y (x | y))에 암시하는 열쇠 모양이 없어지기 때문입니다.

이 경우에 x를 여는 데 필요한 ((금열쇠, 금열쇠), 금열쇠)도 하나의 금열쇠를 '반 꺼풀 펼쳐' 얻을 수 있나요?
아니라면, 이 보물상자를 여는 데 필요한 꾸러미는 {금열쇠, ((금열쇠, 금열쇠), 금열쇠)}인가요?
첫 번째 금열쇠는 한 꺼풀 펼쳐서 (금열쇠, 금열쇠)를 얻고, 두 번째 열쇠는 그대로 x에 사용합니다.

감사합니다.

이상규 올림

[이광근]

금열쇠 한 꺼풀 펼치기 = *모든 가지*가 한 번 펼쳐집니다(두 갈래로).

eg) = -> (=,=)
eg) (=, =) -> ((=,=), (=,=))

"반 꺼풀 펼치기"는 없습니다.
eg) (=, =) -X-> (=, (=,=))

-K

[안중원]

안녕하세요, 조교 안중원입니다.

두번째 질문에 관해서는, "반 꺼풀 펼치기"는 없으므로 말씀하신 것과 같이 풀이하시면 됩니다.

감사합니다.
_________________
TA 안중원
TA e-mail: ta310@ropas.snu.ac.kr
personal e-mail: jwahn@ropas.snu.ac.kr

[이상규]

안녕하세요,

다음과 같이 풀이하면 답이 금괴 하나가 되는 것 같습니다.

[x] (x | ([y] (x | y)))가
((=, =), (=, =))을 암시한다고 생각하면,
첫 번째 x에서는 (=, =)를 한 꺼풀 펼쳐 ((=, =), (=, =))로 상자를 열고,
두 번째 x에서는 (=, =)로 상자를 엽니다.
y는 =로 열면 ([y] (x | y))는 (=, =)를 암시하게 되고,
전체 지도가 ((=, =), (=, =))를 잘 암시합니다.

이때 금열쇠 하나를 여러 번 펼쳐 =, (=, =), ((=, =), (=, =))를 만들 수 있으므로
금괴 하나만 들고 가도 모든 상자를 열 수 있습니다.

기존 풀이는 두 개의 x상자를 동일하게 생긴 열쇠로 열어야 한다고 생각해서 얻어진 답인데,
과제 예시 8번에서 ([x](x|x))|([y]y)를 금괴 하나로 열 수 있다고 되어 있는 것을 보면
첫 번째 x상자는 ((=, =), (=, =)), 두 번째 x상자는 (=, =), y상자는 =로 열리기 때문에
안내판에서 x상자가 암시하는 모양은 (=, =)이지만 열 때는 몇 번 펼처서 열 수 있고, 더 나아가 전체 여정에 필요한 열쇠도 금괴 하나면 충분함을 알 수 있습니다.

감사합니다.

이상규 올림