[권준우]

안녕하세요,
수강생 권준우입니다.

정답 열쇠 꾸러미가 은열쇠와 금열쇠를 모두 사용하는 경우가 가능한지 궁금합니다.

제가 문제를 이해한 바에 따르면 `(((안내판 x : (안내판 y : x)) | (안내판 z : (z | z))) | star)`의 경우, 이를 해결하는 최소 꾸러미는 {=, -}일 것 같습니다.

((Guide x. Guide y. x) (Guide z. z z)) Star
= (Guide y. Guide z. z(z)) Star
= Guide z. z(z)

-> z를 위해 =, Star를 위해 -가 필요하며
y는 -, x는 (=, =) -> =

다만 이런 경우가 문제 설명 및 예제에 나와있지 않아 여쭤봅니다. 또는, 혹시 제가 금열쇠에 대해 잘못 이해한 부분이 있을지 궁금합니다.

감사합니다.

[안중원]

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

만약 금열쇠와 은열쇠가 모두 필요한 경우가 있다면, 당연히 둘다 포함한 꾸러미를 출력하도록 해야합니다. 이때에도 "올림픽 메달 순서"에 따라 금열쇠를 최소한으로 쓰는 방법을 출력해야 할 것입니다.

다만 말씀하신 예제의 경우, y 안내판을 거쳐가는 길에 y 상자가 하나도 없으므로 고려하지 않아도 되는 경우입니다. 문제의 보충설명에 언급되어있듯, y 안내판 안쪽 길에는 y 상자가 항상 하나 이상 있는 경우만 가정하시면 됩니다.

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