[최현일]

pdf 문서에 나와있는 예시들 중에서 7번을 보면

지도 x|* 에는 {-,(-,-)} 열쇠 꾸러미가 필요하다고 나와 있습니다.

그리고 스펙을 참고하면
현재위치 : e1 |e2
위치의 뜻 : e1과 e2로 갈라 지는 갈림길
열쇠모양의 조건 : e1 의 시작점이 암시하는 열쇠모양은 (α, β) 이여야 하고 e2의 시작점이 암시하는 열쇠모양은 α이어야 한다. 이때, 현재 위치가 암시하는 열쇠모양은 β.

그럼 다음과 같은 논리로 {-,(-,-)} 가 나온다고 볼 수 있을거같은데요


1. e1의 시작점은 x
1-1 x가 암시하는 열쇠모양은 (α, β) 여야 한다
2. e2의 시작점은 *이므로, e2의 시작점이 암시하는 열쇠모양은 α=- 이다.
3. 따라서 x가 암시하는 열쇠모양은 (-,β)이다.
4. 이때 현재위치 x|*가 암시하는 열쇠모양은 β 이다.
5. 따라서 β가 -라고 할 때, x가 암시하는 열쇠 모양은 (-,-)이다.
6. 따라서 탐험에 필요한 최소한 열쇠꾸러미는 {-, (-,-)}이다.

이렇게 생각하고 있는데요
근데 위에서 5번 추론을 생각해보면, 굳이 β가 -일 필요가 없어도 될 것 같습니다.
가령 β=(-,-)라고 가정한다면,
x가 암시하는 열쇠 모양은 (-, (-,-))가 되고
x|*가 암시하는 열쇠 모양은 (-,-) 가 되면서
조건에 위배되는게 아무것도 없으며, 이때의 최소한의 열쇠 꾸러미는 {-, (-,(-,-)) } 가 됩니다.

어떻게 생각해야 하는건가요?

..............

아.. 이렇게 쓰다보니까 스펙에 있던 문장 하나가 눈에 들어오는데,
" 각 지도를 성공적으로 탐험할 최소의(열쇠들 크기의 합을 기준으로) 열쇠꾸러미"
여기서 열쇠들 크기의 합이라는건 정확히 어떤걸 의미하는건가요?

그리고 예를들어
((-,-),(-,-)), (-,(-,(-,-))) 이런 열쇠가 있다면, 이것들의 합은 어떻게 되는건가요?
그리고 제일 위에서 언급한, β=(-,-)인 경우와 β=- 인 경우에 합 비교는 어떻게 이루어지는건가요?

[김형모]

수강생이지만... 크기의 합이 모든 -의 합인 것으로 알고 있습니다. 그래서 (-, -) > -가 되는 것이고요,

[최재승]

안녕하세요,

위에 다른 분이 답변해 주신 대로, 열쇠의 크기는 그 열쇠 안에 들어 있는 - (Bar) 의 개수로 셉니다. 따라서 (-,-) 가 (-,(-,-)) 보다 작은 열쇠이므로, 예시에서 최소의 열쇠꾸러미는 {-, (-,-)}가 됩니다.

[최현일]

제가 질문을 헷갈리게 했나 보네요
제가 궁금했던건,
key1 = ((-,-),(-,-))
key2 = (-,(-,(-,-)))
라고 할 때, key1과 key2 중에서 '최소의 합'이라는 정의에 만족하는 key는 어떤건지 여쭤본거였어요

[최재승]

key1과 key2는 같은 크기의 "열쇠"이므로, 이러한 경우 최소의 합의 "열쇠꾸러미"를 만들기 위해서는 두 열쇠 중 어느 것을 선택하셔도 됩니다.

조교 드림