최재승
가입: 2012년 9월 10일 올린 글: 211
|
올려짐: 2015년9월21일 0:41 주제: |
|
|
안녕하세요,
숙제 문서의
| 인용: |
metro가 "제대로 생겼다"는 것은(iff) 메트로 역 이름(id in STATION(id))들이 항상 자기 이름의 지역(m in AREA(id, m))에서만 나타나는 경우를 뜻한다.
|
에 따르면, 해당 경우는 자명한 base case로서 false가 return되어야 합니다. 자기 이름의 지역에서 나타나지 않기 때문입니다.
혹시 납득이 가지 않으신다면 왜 true가 return되어야 한다고 생각하셨는지 구체적으로 말씀해 주시면 상세한 답변이 가능할 것 같습니다.
조교 드림 |
|