[최종욱]

안녕하세요. 이번 숙제는 왠지 힘들어 보이네요.
궁금한 것이 있습니다.

숙제 5-1 에서..

변수의 값을 assign 하지 않고 프로그램이 실행 되는 경우는 어떻게 되나요? 머신의 초기값을 0으로 가정해서 하면 되나요?

example input) X = X-1;
output) Exception? or [-1] ?


숙제 5-4 에서..

문제 설명이 이해하기 어렵습니다. 예제를 보고 열심히 생각해 보았는데, 도무지 이해가 가지 않네요.

편의상 안내판 x를 [x] 로 표기하겠습니다.

2번 에제에 보면 [x]x 의 답이 {-} 라고 되어 있습니다. 그런데 표에 있는 설명을 읽어보면 현재 지점이 암시하는 열쇠모양은 어떤 pair (alpha, beta) 인데 저렇게 될 수가 있나요?

마찬가지로 7번 예제도 제가 이해한 바에 따르면 표에 나타난 형식과 맞지 않는 듯 하여 매우 혼란스럽습니다.


제가 잘못 이해한건지, 다른분들도 잘 모르시는지 아니면 이해하셨는지 답변을 해주셨으면 감사하겠습니다~
_________________
Jongwook Choi
Seoul National University, School of Computer Science & Engineering

[윤용호]

보물섬이 원래 문제 정의부터 굉장히 난해합니다.

솔직히 아무런 추가 설명 없이 문제만 보고

원하는게 뭔지라도 이해할 수 있는 사람이

있긴 한것인지 의심스럽습니다 (...)




'지도에서 각 지역이 암시하는 열쇠의 모양' 이라는 것은,

map을 tree로 보면 map의 각 node가 어떤 열쇠모양에 대응된다는 뜻입니다.

다시말해서, map을 하나 받으면 그 지점에서의 열쇠를 유추해낼 수 있습니다.

예를 들어 [x]x 의 경우 규칙 3번째에 의해

현재 지점이 암시하는 열쇠 모양은 (a, b)가 됩니다.

(a와 b는 각각이 또다른 어떤 열쇠이겠지요)



7번 예제도 물론 x|* 의 경우 규칙 4번째에 의해

'현재 지점이 암시하는 열쇠 모양'은 b가 될 것이고

x가 암시하는 열쇠 모양은 (a, b), *가 암시하는 열쇠 모양은 규칙 1에 의해 - 가 될 것입니다.



그러나, 문제에서 요구하는 것은 'map의 현재 지점에서 암시하고 있는 열쇠 모양'이 아닙니다.

주어진 map에 대해 그 안을 탐사하는 동안

"만나는 모든 treasure에 대해 각 treasure가 암시하는 열쇠 모양을 모두 모은 set" 을 만들어내는 것이 getReady 함수입니다.

따라서 2번 예제의 경우 [x]x 는 현재 지점에서 암시하는 모양은 (a,b) 이고

x가 암시하는 모양은 a가 되어야 합니다.

또한 e1=x 이므로 b도 x를 암시해야 합니다. 따라서 a=b가 되며

[x]x가 현재 지점에서 암시하는 모양은 (a,a) , x가 암시하는 모양은 a가 됩니다.

이때, 이 map에서 treasura는 x 하나뿐이므로 탐사에 필요한 열쇠는 a이고

a로 표현될 수 있는 가장 작은 크기의 열쇠가 - 이므로 답이 {-}가 됩니다.


7번 예제의 경우 x|* 이므로 x가 암시하는 모양은 (a,b)여야 하고

*이 암시하는 모양은 a여야 하며, 결과적으로 그 map은 b를 암시하게 됩니다.

그러나 map이 b를 암시한다는 것은 결과에 포함되지 않습니다. treasure가 아니니까요.

이 map에서 treasure는 x와 *인데 x는 (a,b)여야 하고 *은 -만을 암시할 수 있으므로 곧 x는 (a,-) 여야 합니다.

이때 a가 암시할 수 있는 가장 작은 열쇠가 - 이므로

x : (-,-), * : - 가 되어 이런 열쇠 두개가 필요합니다.

따라서 필요한 열쇠 꾸러미는 {-, {-,-}} 이 됩니다.


비슷한 방식으로 다른 예제도 답을 유추할 수 있습니다.
_________________
TA

[최종욱]

답변 감사합니다. 좀 어렵지만 이해가 조금씩 되는 것 같군요.

1번 문제는 제가 문제 스펙에서 잠시 놓친 것이 있었습니다. 어차피 실행기 exeval 함수로 실행할 때 초기 state 를 지정해 주므로, 아무런 문제가 되지 않겠네요.
_________________
Jongwook Choi
Seoul National University, School of Computer Science & Engineering