[javelinsman]

아이디가 실명이 아닌 점 죄송합니다.
13학번 최길웅입니다.

HW4-2의 스펙을 보면
"같은 이름의 보물 상자는 같은 열쇠로 열린다" 라고 쓰여 있는데 밑에는
"현재 위치에서 x를 열어줄 열쇠 모양", "e1 안에서 만날 보물상자 x의 열쇠가 alpha"
처럼 같은 이름의 보물상자라도 위치가 다르면 열쇠가 다른 것 처럼 쓰여있는데
단순히 어감의 문제로 생각하고 같은 이름이면 모두 같은 열쇠가 쓰인다고 이해하면 될까요?

즉, 다음과 같이 아래의 두 스펙을 이해하면 될까요?
"x의 열쇠의 모양"
"e1 안에는 반드시 보물상자 x가 있으며, x의 열쇠를 alpha라 하면 ..."

또 제가 올바르게 스펙을 이해했는지 궁금하여 여쭤봅니다.
지도 안에 (X|X)가 포함된 경우
X의 열쇠를 k라 하면 k = (k , ?) 인 ?가 존재하지 않으므로 모순이기 때문에
무조건 IMPOSSIBLE인 게 맞나요?

[강동옥]